Robert Marsh
971456c725
C++: add a test for self-valued iterators
2023-06-20 12:59:27 +01:00
Mathias Vorreiter Pedersen
74ed9f535c
Merge pull request #13406 from MathiasVP/fix-++-problem
...
C++: Fix the `++` problem
2023-06-09 11:20:00 +01:00
Mathias Vorreiter Pedersen
57ae1e9ff7
C++: Add a testcase that started to fail in #13326 .
2023-06-08 12:49:08 +01:00
erik-krogh
a4ef8619c6
delete old deprecations
2023-06-08 10:10:21 +02:00
Mathias Vorreiter Pedersen
9828af45a1
C++: Change separator from ':' to '|'.
2023-05-26 15:23:48 -07:00
Mathias Vorreiter Pedersen
0d1d20c75b
C++: Change range-analysis test to not use 'getAst'. This was creating confusing test expectation annotations.
2023-05-25 15:50:29 -07:00
Robert Marsh
7404bd9c4b
Merge branch 'main' into rdmarsh2/cpp/cobo-neq-refinement
2023-05-24 14:13:38 -04:00
Jeroen Ketema
2276890cec
C++: Rewrite inline expectation tests to use the parameterized module
2023-05-24 11:10:05 +02:00
Mathias Vorreiter Pedersen
8daa8d78ff
Merge pull request #13246 from MathiasVP/fix-pointer-pointee-conflation-2
...
C++: Fix more pointer/pointee conflation
2023-05-23 12:03:29 -07:00
Jeroen Ketema
aeb6293757
C++: Rewrite flow test common to use inline expectation test module
...
This also rewrites all uses of flow test common to use `DataFlow::ConfigSig`.
Note that the removed deprecated aliases are 14 months old by now and, hence,
can be safely removed.
2023-05-23 16:34:41 +02:00
Jeroen Ketema
3efc78ed49
Add default for hasOptionalResult
2023-05-23 12:32:11 +02:00
Jeroen Ketema
adbf66a365
C++: Rewrite inline expectation test to demonstrate MergeTests
2023-05-23 12:29:06 +02:00
Jeroen Ketema
9228e0deed
C++: Rewrite local flow test to use TestSig
2023-05-23 12:29:06 +02:00
Mathias Vorreiter Pedersen
b32d55a21d
C++: Accept test changes.
2023-05-22 18:26:29 -07:00
Robert Marsh
681cc4c755
C++: add neq refinement test for range analysis
2023-05-22 11:49:37 -04:00
Mathias Vorreiter Pedersen
c93a051243
C++: Accept test changes.
2023-05-16 17:41:41 +01:00
Mathias Vorreiter Pedersen
35e91bafa7
C++: Introduce 'indirect_sink' in dataflow tests.
2023-05-16 17:39:53 +01:00
Mathias Vorreiter Pedersen
c45032844e
C++: Add example with conflation in dataflow.
2023-05-16 16:34:20 +01:00
Jeroen Ketema
eb493a1981
C++: Add FP test case for cpp/invalid-pointer-deref
...
Also add reduced range analysis test case that seems to expose the underlying
reason for the FP.
2023-05-12 16:25:34 +02:00
Mathias Vorreiter Pedersen
720586c437
Merge pull request #13059 from MathiasVP/remove-self-edges
...
C++: Remove self edges
2023-05-10 09:04:08 +01:00
Kasper Svendsen
c46898cb75
C++: Make implicit this receivers explicit
2023-05-09 15:35:54 +02:00
Mathias Vorreiter Pedersen
89bf335900
C++: Accept test changes.
2023-05-05 16:44:41 +01:00
Mathias Vorreiter Pedersen
b43702451f
C++: Remove self edges from post-update SSA.
2023-05-05 15:47:00 +01:00
Mathias Vorreiter Pedersen
4048915c8c
C++: Remove self edges from non-post-update SSA.
2023-05-05 15:45:44 +01:00
Mathias Vorreiter Pedersen
c0b3a1896b
C++: No phi self-edges.
2023-05-05 12:16:52 +01:00
Mathias Vorreiter Pedersen
09ba9a74ce
Merge pull request #12959 from MathiasVP/identity-consistency-check
...
DataFlow: Add an "identity-step" consistency check
2023-05-05 10:03:20 +01:00
Jeroen Ketema
0b2f5609d6
Merge pull request #12982 from rdmarsh2/rdmarsh2/ir-guards-unreached
...
C++: Handle nonreturning functions in IR generation
2023-05-03 23:20:46 +02:00
Mathias Vorreiter Pedersen
2a4b17608f
C++: Accept test changes.
2023-05-03 22:04:11 +01:00
Mathias Vorreiter Pedersen
77001a070b
Merge branch 'main' into identity-consistency-check
2023-05-03 22:01:06 +01:00
Mathias Vorreiter Pedersen
5dc9d9a10f
C++: Accept consistency changes.
2023-05-03 20:29:17 +01:00
Mathias Vorreiter Pedersen
2af48e2536
Merge pull request #12970 from MathiasVP/barrier-guards-for-indirect-expressions
...
C++: Barrier guards API for indirect expressions
2023-05-03 18:14:01 +01:00
Robert Marsh
c6e0ee2695
C++: fix duplicated UnreachedInstruction in raw IR
2023-05-01 22:54:37 -04:00
Robert Marsh
c01ee597fa
C++: handle calls to noreturn functions
2023-05-01 22:25:12 -04:00
Mathias Vorreiter Pedersen
a7d238f4c4
C++: Accept consistency changes.
2023-04-28 22:41:58 +01:00
Mathias Vorreiter Pedersen
8c8b919dfb
C++: Add an API for indirect barrier guards and use it in tests.
2023-04-28 14:09:08 +01:00
Mathias Vorreiter Pedersen
a6adf825bc
C++: Add a test that needs indirect barrier guards.
2023-04-28 13:56:31 +01:00
Mathias Vorreiter Pedersen
0f0384cff6
C++: Rewrite the barrier guard tests to be expression based. This is really what we expect people to write in queries.
2023-04-28 13:49:01 +01:00
Mathias Vorreiter Pedersen
c35cb70c9f
C++: Fix inconsistencies.
2023-04-28 10:40:18 +01:00
Mathias Vorreiter Pedersen
24d1cac9d7
C++: Accept test changes.
2023-04-28 10:25:07 +01:00
Mathias Vorreiter Pedersen
3eca60cc40
C++: Add static local testcases.
2023-04-28 10:23:36 +01:00
Mathias Vorreiter Pedersen
b18e096f7f
C++: Fix missing result for 'getFunction' and accept test changes.
2023-04-26 18:01:39 +01:00
Mathias Vorreiter Pedersen
1dcac76992
C++: Add a weird testcase demonstrating invalid IR.
2023-04-26 17:48:02 +01:00
Mathias Vorreiter Pedersen
3d381331e1
C++: Add a test with global variable templates.
2023-04-26 15:00:32 +01:00
Mathias Vorreiter Pedersen
3f03cc27cd
C++: Accept test changes.
2023-04-25 17:51:04 +01:00
Mathias Vorreiter Pedersen
9cc4bfec2a
C++: Accept test changes.
2023-04-25 17:51:04 +01:00
Mathias Vorreiter Pedersen
d14ee931e1
C++: IR translation for non-runtime-initialized static local variables.
2023-04-25 17:51:04 +01:00
Jeroen Ketema
1a876f7762
C++: Update test expectations after extractor changes
2023-04-19 14:12:00 +02:00
Mathias Vorreiter Pedersen
bb8c3de6b2
Merge pull request #12599 from rdmarsh2/rdmarsh2/range-analysis-overflow
...
C++: add overflow detection to new range analysis
2023-04-17 20:18:44 +01:00
Mathias Vorreiter Pedersen
d833850850
C++: another 'fix test after module rename'.
2023-04-17 17:48:22 +01:00
Robert Marsh
2b41aef6a7
C++: autoformat
2023-04-17 11:36:17 -04:00
