Tom Hvitved
|
5539b7ffed
|
Shared SSA: Improved dominance frontier calculation
|
2021-11-03 14:21:39 +01:00 |
|
Tom Hvitved
|
51f4f57617
|
C#: Use cs/ prefix in all query IDs
|
2021-11-03 10:25:21 +01:00 |
|
Mathias Vorreiter Pedersen
|
4a2894a707
|
Merge pull request #7025 from MathiasVP/nomagic-parameterCand
Dataflow: Replace a 'noinline' pragma with a 'nomagic' pragma
|
2021-11-02 20:40:44 +00:00 |
|
Anders Schack-Mulligen
|
7d0152f3c0
|
Merge pull request #6932 from aschackmull/dataflow/flow-features
Dataflow: Add support for call context restrictions on sources/sinks.
|
2021-11-02 13:24:17 +01:00 |
|
Mathias Vorreiter Pedersen
|
6f4107ff23
|
Dataflow: Replace a 'noinline' pragma with a 'nomagic' pragma.
|
2021-11-02 11:37:40 +00:00 |
|
CodeQL CI
|
5d62aa5b29
|
Merge pull request #6994 from erik-krogh/redundant-cast
Approved by RasmusWL, aschackmull, esbena, geoffw0, hvitved, nickrolfe
|
2021-11-02 03:45:48 -07:00 |
|
Erik Krogh Kristensen
|
d36c66cfca
|
remove redundant inline casts in arguments where the type is inferred by the call target
|
2021-10-29 14:37:56 +02:00 |
|
Anders Schack-Mulligen
|
5951ae79b9
|
Dataflow: Add language specific predicates.
|
2021-10-29 11:11:35 +02:00 |
|
Anders Schack-Mulligen
|
00df6798b1
|
Dataflow: Sync
|
2021-10-29 11:00:23 +02:00 |
|
Erik Krogh Kristensen
|
e75448ebb0
|
remove redundant inline casts
|
2021-10-28 16:35:53 +02:00 |
|
Anders Schack-Mulligen
|
699630af54
|
Dataflow: Sync.
|
2021-10-27 13:57:44 +02:00 |
|
Anders Schack-Mulligen
|
034c7f3538
|
Dataflow: Sync.
|
2021-10-27 13:57:44 +02:00 |
|
Mathias Vorreiter Pedersen
|
67fd38f328
|
C#/Ruby: Use a 'noinline' instead of a 'only_bind_into'.
|
2021-10-26 09:41:52 +01:00 |
|
Mathias Vorreiter Pedersen
|
9145382660
|
C#: Sync identical files.
|
2021-10-25 21:55:28 +01:00 |
|
Mathias Vorreiter Pedersen
|
ff35100d52
|
C#: Fix join order in 'inDefDominanceFrontier'.
|
2021-10-25 21:55:09 +01:00 |
|
Tom Hvitved
|
4e40337d02
|
C#: Improve join-order in defaultDelegateConversion
|
2021-10-22 10:12:18 +02:00 |
|
Tom Hvitved
|
0bf5238f39
|
Update QL doc for allowParameterReturnInSelf
|
2021-10-20 12:08:58 +02:00 |
|
Tom Hvitved
|
53d4d72fe5
|
C#: Simplify SummarizedCallableDefaultClearsContent
|
2021-10-20 12:08:58 +02:00 |
|
Tom Hvitved
|
dd138b0429
|
Address review comments
|
2021-10-20 12:08:58 +02:00 |
|
Tom Hvitved
|
a1511e13d8
|
Data flow: Sync files
|
2021-10-20 12:08:57 +02:00 |
|
Tom Hvitved
|
1196d0c624
|
C#: Rework SummarizedCallable::clearsContent/2
|
2021-10-20 12:08:57 +02:00 |
|
Geoffrey White
|
3f3c79f48f
|
Merge pull request #6884 from geoffw0/setliterals
Replace or chains with set literals.
|
2021-10-18 16:46:55 +01:00 |
|
Anders Schack-Mulligen
|
b67032d1cc
|
Merge pull request #6891 from erik-krogh/fix-java-this
add explicit this qualifier on all of java
|
2021-10-18 17:13:37 +02:00 |
|
Tom Hvitved
|
a10bde5795
|
Merge pull request #6872 from hvitved/dataflow/path-into-callable0-join
Data flow: Performance tweaks
|
2021-10-18 16:25:10 +02:00 |
|
Tom Hvitved
|
e6954292aa
|
Address review comments
|
2021-10-18 14:09:44 +02:00 |
|
Anders Schack-Mulligen
|
91ea064980
|
Sync
|
2021-10-18 14:04:50 +02:00 |
|
Tom Hvitved
|
86b1305e35
|
Merge pull request #6883 from hvitved/csharp/inline-expectations
C#: Adopt inline test expectations framework
|
2021-10-15 09:33:22 +02:00 |
|
Geoffrey White
|
8f30b8b586
|
Autoformat.
|
2021-10-14 16:00:23 +01:00 |
|
Geoffrey White
|
f08d2ee759
|
Merge branch 'main' into setliterals
|
2021-10-14 14:39:39 +01:00 |
|
Geoffrey White
|
3983587682
|
C#: Set literals.
|
2021-10-14 14:22:39 +01:00 |
|
Tom Hvitved
|
ed6a182cd1
|
C#: Adopt inline test expectations framework
|
2021-10-14 15:22:21 +02:00 |
|
Anders Schack-Mulligen
|
8b6baa250c
|
Merge pull request #6878 from aschackmull/remove-singleton-setliteral
C++/C#/Java/JavaScript/Python: Remove singleton set literals.
|
2021-10-14 14:53:05 +02:00 |
|
Tom Hvitved
|
f5420333e2
|
Sync shared files
|
2021-10-14 11:49:02 +02:00 |
|
Anders Schack-Mulligen
|
57cb300759
|
C++/C#/Java/JavaScript/Python: Remove singleton set literals.
|
2021-10-14 11:34:22 +02:00 |
|
Erik Krogh Kristensen
|
a358a192c4
|
add explicit this to all calls to class predicates
|
2021-10-14 10:11:55 +02:00 |
|
Tom Hvitved
|
c14dcfbfe4
|
Data flow: Sync
|
2021-10-13 20:13:28 +02:00 |
|
Tom Hvitved
|
5be7a97a16
|
Data flow: Avoid unnecessary non-linear recursion via getConfiguration()
|
2021-10-13 20:10:26 +02:00 |
|
Tom Hvitved
|
ee44e742f6
|
Data flow: Avoid bad join-order in pathIntoCallable0
|
2021-10-13 20:09:43 +02:00 |
|
Philip Ginsbach
|
c9c0c7f24f
|
fix formatting
|
2021-10-13 13:10:37 +01:00 |
|
Philip Ginsbach
|
6b9ddf1f65
|
Guard non-extending subtype of G::Guard
|
2021-10-13 11:44:22 +01:00 |
|
Philip Ginsbach
|
e3e741251f
|
ParameterNode non-extending subtype of ParameterNodeImpl
|
2021-10-13 11:42:41 +01:00 |
|
Philip Ginsbach
|
aa656f7542
|
ArgumentNode non-extending subtype of ArgumentNodeImpl
|
2021-10-13 11:41:40 +01:00 |
|
Tom Hvitved
|
296e268339
|
Apply suggestions from code review
Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>
|
2021-10-12 14:28:32 +02:00 |
|
Tom Hvitved
|
68ea3e7b49
|
Data flow: Add debugging predicates for rendering data flow graphs for summarized callables
|
2021-10-11 11:29:08 +02:00 |
|
Tom Hvitved
|
b05d76a131
|
C#: Avoid bad magic in interpretElement0
|
2021-10-11 09:30:52 +02:00 |
|
Anders Schack-Mulligen
|
446c738f20
|
Merge pull request #6790 from aschackmull/dataflow/force-precision
Dataflow: Force high precision of certain Contents.
|
2021-10-08 11:44:26 +02:00 |
|
Anders Schack-Mulligen
|
1bec58dee5
|
Dataflow: Fix more qldoc: s/accesspath/access path/.
|
2021-10-08 09:41:26 +02:00 |
|
Anders Schack-Mulligen
|
2b88a2aa0c
|
Dataflow: Fix qldoc: s/accesspath/access path/.
|
2021-10-07 14:46:24 +02:00 |
|
Tom Hvitved
|
764a987b09
|
C#: Speedup GVN string concats by pulling ranges into separate predicates
|
2021-10-07 13:51:05 +02:00 |
|
Anders Schack-Mulligen
|
65a4f36cf8
|
Merge pull request #6767 from aschackmull/dataflow/callback-postupdate
Dataflow: Support side-effects for callbacks in summaries.
|
2021-10-04 11:13:18 +02:00 |
|