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 |
|
Robert Marsh
|
ea7996f1bb
|
C++: fix test after module rename
|
2023-04-17 11:30:04 -04:00 |
|
Robert Marsh
|
18c3feb9d8
|
C++: remove commented-out code
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>
|
2023-04-11 10:41:18 -04:00 |
|
Robert Marsh
|
915c969efe
|
Merge branch 'main' into rdmarsh2/range-analysis-overflow
|
2023-04-05 16:19:55 -04:00 |
|
Mathias Vorreiter Pedersen
|
f257e85511
|
C++: Accept test changes in PrintAST.
|
2023-04-04 16:21:35 +01:00 |
|
Mathias Vorreiter Pedersen
|
f2197e67f5
|
C++: Deprecate single-parameter 'getFieldExpr' and 'getElementExpr'.
|
2023-04-04 15:14:27 +01:00 |
|
Mathias Vorreiter Pedersen
|
f28cf25ba2
|
Merge pull request #12755 from MathiasVP/aggregate-initialization-ir
C++: IR generation for repeated initializers
|
2023-04-04 15:04:55 +01:00 |
|
Robert Marsh
|
e4ae957cdd
|
C++: More fixes to overflow detection
|
2023-04-04 09:31:03 -04:00 |
|
Mathias Vorreiter Pedersen
|
4033ed33d8
|
C++: Add evil testcase.
|
2023-04-04 13:50:24 +01:00 |
|
Mathias Vorreiter Pedersen
|
3daefa8b9e
|
C++: Add more tests.
|
2023-04-04 10:54:12 +01:00 |
|
Mathias Vorreiter Pedersen
|
ea180c07e4
|
C++: Accept test changes.
|
2023-04-04 10:12:03 +01:00 |
|
Mathias Vorreiter Pedersen
|
a0df7d22cd
|
C++: Add tests for designated initializers with repetitions.
|
2023-04-04 10:08:18 +01:00 |
|
Mathias Vorreiter Pedersen
|
aa337c72c2
|
C++: Update import paths in tests and experimental queries.
|
2023-04-03 15:17:37 +01:00 |
|
Jeroen Ketema
|
8d9b96b776
|
C++: Drop the bit size restriction in typeBound and use float
|
2023-03-31 14:36:11 +02:00 |
|