Mathias Vorreiter Pedersen
|
07dd6d5c8d
|
C++: Align 'break' statements.
|
2024-04-30 16:40:23 +01:00 |
|
Mathias Vorreiter Pedersen
|
cf025e1924
|
C++: Accept test changes.
|
2024-04-30 15:47:53 +01:00 |
|
Mathias Vorreiter Pedersen
|
a200ced2d6
|
C++: Fix IR generation for jump statements.
|
2024-04-30 15:46:46 +01:00 |
|
Mathias Vorreiter Pedersen
|
c5a87c95d8
|
C++: Add tests that incorrectly call destructors twice.
|
2024-04-30 15:39:00 +01:00 |
|
Geoffrey White
|
7d9f78b2de
|
Merge pull request #16328 from geoffw0/pathinj
C++: Reduce duplication from cpp/path-injection
|
2024-04-30 10:06:40 +01:00 |
|
Erik Krogh Kristensen
|
7e839792da
|
Merge pull request #16330 from erik-krogh/del-deps-apr-2024
All: delete outdated deprecations
|
2024-04-30 10:43:39 +02:00 |
|
Mathias Vorreiter Pedersen
|
3c2206728d
|
Merge pull request #16333 from MathiasVP/fix-guards-on-pointers
|
2024-04-26 21:33:08 +01:00 |
|
Jeroen Ketema
|
8c87cb83bb
|
Merge pull request #16342 from jketema/destructors-cleanup
C++: Don't emit destructor calls as part of 'TranslatedResultCopy' as this has already been done in some other 'TranslatedExpr'.
|
2024-04-26 22:05:00 +02:00 |
|
Mathias Vorreiter Pedersen
|
d18cdee0bc
|
C++: Accept test changes.
|
2024-04-26 16:19:33 +01:00 |
|
Mathias Vorreiter Pedersen
|
b78537dd74
|
C++: Allow comparisons with pointer types in IRGuards.
|
2024-04-26 16:19:24 +01:00 |
|
Mathias Vorreiter Pedersen
|
e78091e9d0
|
C++: Sync identical files.
|
2024-04-26 16:19:02 +01:00 |
|
Mathias Vorreiter Pedersen
|
c10e00d389
|
C++: Add a subclass for constant instructions with pointer type.
|
2024-04-26 16:18:52 +01:00 |
|
Mathias Vorreiter Pedersen
|
bf61114284
|
C++: Add a test with pointer comparisons and float comparisons.
|
2024-04-26 16:17:45 +01:00 |
|
erik-krogh
|
800d7546fa
|
change all the change-notes to breaking
|
2024-04-26 17:17:23 +02:00 |
|
Mathias Vorreiter Pedersen
|
d6c57de650
|
C++: Convert one of the tests to also test the 'absolute' versions of the GuardCondition predicates.
|
2024-04-26 16:11:19 +01:00 |
|
Jeroen Ketema
|
67fb866efa
|
C++: Update test results
|
2024-04-26 16:38:39 +02:00 |
|
Mathias Vorreiter Pedersen
|
4b0a217420
|
C++: Don't emit destructor calls as part of 'TranslatedResultCopy' as this has already been done in some other 'TranslatedExpr'.
|
2024-04-26 16:25:05 +02:00 |
|
Mathias Vorreiter Pedersen
|
70e9c48a47
|
C++: Also implement the predicate in the raw stage.
|
2024-04-26 13:48:13 +01:00 |
|
Mathias Vorreiter Pedersen
|
dcc4ad2550
|
C++: Sync identical files.
|
2024-04-26 13:45:15 +01:00 |
|
Mathias Vorreiter Pedersen
|
54cadcfe9b
|
C++: Forward to a cached predicate in a cached module instead of caching the predicate in 'Instruction.qll' to include it in the cached stage of the other predicates.
|
2024-04-26 13:44:45 +01:00 |
|
erik-krogh
|
14d88eb3ce
|
add change-notes
|
2024-04-26 12:56:28 +02:00 |
|
erik-krogh
|
0468c5d0bf
|
delete some tests of the old GVN library
|
2024-04-26 07:58:35 +02:00 |
|
erik-krogh
|
e55f2c5309
|
reinroduce GLobalValueNumbering.qll, that one was supposed to stay
|
2024-04-26 06:52:57 +02:00 |
|
erik-krogh
|
baa31e1469
|
delete outdated deprecations
|
2024-04-25 22:19:28 +02:00 |
|
Jeroen Ketema
|
389df35fb7
|
Merge branch 'main' into child-stmt
|
2024-04-25 21:47:06 +02:00 |
|
Geoffrey White
|
553871678a
|
C++: Change note.
|
2024-04-25 16:52:01 +01:00 |
|
Geoffrey White
|
15123a7b40
|
C++: Reduce duplication.
|
2024-04-25 16:49:22 +01:00 |
|
Geoffrey White
|
bbd80ec7a4
|
C++: Add some more test cases.
|
2024-04-25 16:44:52 +01:00 |
|
Geoffrey White
|
0fb71e24cb
|
C++: Fix typo.
|
2024-04-25 14:52:56 +01:00 |
|
Jeroen Ketema
|
05819a52ef
|
C++: Print destructors for children of statements that are again statements
|
2024-04-25 13:25:42 +02:00 |
|
Jeroen Ketema
|
95ec4e8d26
|
C++: Fix comment in IR test
|
2024-04-24 21:47:47 +02:00 |
|
Mathias Vorreiter Pedersen
|
037114b336
|
Merge pull request #16309 from geoffw0/newtests
C++: Add test cases
|
2024-04-24 10:06:51 +01:00 |
|
Geoffrey White
|
57a53891e9
|
C++: Effect of recent QL changes.
|
2024-04-23 18:12:05 +01:00 |
|
Geoffrey White
|
b6703bc25c
|
C++: Add test cases inspired by QA results differences.
|
2024-04-23 18:06:12 +01:00 |
|
Mathias Vorreiter Pedersen
|
a39d8b7c7c
|
C++: Ensure that each node type gets mapped to an instruction by 'getAnInstruction'.
|
2024-04-23 09:44:30 +01:00 |
|
Mathias Vorreiter Pedersen
|
553c09ada3
|
Merge pull request #16301 from MathiasVP/proper-coroutine-cfg-support-2
C++: Implement proper coroutine support in IR
|
2024-04-23 09:19:15 +01:00 |
|
Anders Schack-Mulligen
|
b2f09949df
|
Merge pull request #15599 from aschackmull/dataflow/fieldflowbranchlimit-v2
Dataflow: update fieldFlowBranchLimit semantics
|
2024-04-23 10:08:05 +02:00 |
|
Mathias Vorreiter Pedersen
|
c1755603a8
|
Update TranslatedExpr.qll
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2024-04-23 07:25:25 +01:00 |
|
Mathias Vorreiter Pedersen
|
24cf75a37c
|
C++: Accept test changes.
|
2024-04-22 21:38:13 +01:00 |
|
Mathias Vorreiter Pedersen
|
8169e7ce68
|
C++: Add proper translation of 'co_await' and 'co_yield'.
|
2024-04-22 21:38:13 +01:00 |
|
Mathias Vorreiter Pedersen
|
8383bc1629
|
C++: Add getters for the other children of 'co_return' and 'co_yield'.
|
2024-04-22 21:38:13 +01:00 |
|
Jeroen Ketema
|
35d1a9202b
|
Merge pull request #16298 from jketema/reuse-val
C++: Update expected test results after extractor changes
|
2024-04-22 21:14:42 +02:00 |
|
Jeroen Ketema
|
76637b0d03
|
C++: Update expected test results
|
2024-04-22 13:01:10 +02:00 |
|
Mathias Vorreiter Pedersen
|
77a7e007e3
|
Merge branch 'main' into fix-more-fps-in-iterator-to-expired-container
|
2024-04-22 10:42:06 +01:00 |
|
Jeroen Ketema
|
19d0d7bbc0
|
C++: Fix aliased IR test
|
2024-04-22 11:08:01 +02:00 |
|
Jeroen Ketema
|
c5bdd5bbd7
|
Merge pull request #16289 from jketema/reuse-improve
C++: Improve handling of re-use expressions
|
2024-04-22 10:34:35 +02:00 |
|
Jeroen Ketema
|
bcde7151e8
|
C++: Address review comment
|
2024-04-22 10:23:03 +02:00 |
|
Jeroen Ketema
|
2c76b13451
|
C++: Improve handling of re-used qualifier in delete expressions
|
2024-04-21 16:16:24 +02:00 |
|
Mathias Vorreiter Pedersen
|
bcedf687ff
|
Merge pull request #16246 from MathiasVP/parameter-nodes-for-functions-without-bodies
C++: Add Parameter nodes for functions without bodies
|
2024-04-19 15:54:38 +01:00 |
|
Mathias Vorreiter Pedersen
|
ba99d49b61
|
Merge pull request #16187 from MathiasVP/cfg-for-coroutines
C++: Placeholder CFG for coroutines
|
2024-04-19 11:31:55 +01:00 |
|