Mathias Vorreiter Pedersen
25be9d48bc
C++: Add tests with FPs that need call contexts.
2023-06-28 14:37:04 +01:00
Robert Marsh
69ee615119
Merge pull request #13515 from MathiasVP/dataflow-fix-for-self-iterators
...
C++: Dataflow fix for the self-iterators issue
2023-06-23 13:50:23 -04:00
Mathias Vorreiter Pedersen
79fb6a6079
C++: Accept test changes.
2023-06-22 19:34:05 +01:00
Mathias Vorreiter Pedersen
da54751d85
C++: Add testcase that demonstrate the need for self-flow out of indirect parameters.
2023-06-22 19:33:13 +01:00
Mathias Vorreiter Pedersen
c7cff373de
C++: Add another testcase with conflation.
2023-06-22 10:59:12 +01:00
Mathias Vorreiter Pedersen
6543da9990
C++: Accept test changes.
2023-06-22 10:59:11 +01:00
Mathias Vorreiter Pedersen
5816f177c9
C++: Add failing test.
2023-06-22 10:59:11 +01:00
Mathias Vorreiter Pedersen
2b0282ca12
C++: Accept test changes.
2023-06-20 13:05:25 +01:00
Robert Marsh
971456c725
C++: add a test for self-valued iterators
2023-06-20 12:59:27 +01:00
Jeroen Ketema
2276890cec
C++: Rewrite inline expectation tests to use the parameterized module
2023-05-24 11:10:05 +02: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
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
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
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
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
Jeroen Ketema
8aa9207281
Merge remote-tracking branch 'upstream/main' into mathiasvp/replace-ast-with-ir-use-usedataflow
2023-03-16 10:28:44 +01:00
Tom Hvitved
b3ef1e9372
C++: Update expected test output
2023-03-16 08:40:53 +01:00
Jeroen Ketema
55da3257bf
C++: Fix multiple toString consistency error in use-use dataflow
2023-03-09 10:08:25 +01:00
Jeroen Ketema
a2248cb5a0
C++: Use getAUse in getIRRepresentationOfOperand
2023-03-09 09:45:54 +01:00
Mathias Vorreiter Pedersen
263b208282
C++: Disambiguate a test annotation.
2023-03-08 09:07:07 +00:00
Mathias Vorreiter Pedersen
eea02e1ac1
C++: Accept test changes.
2023-03-07 16:18:43 +00:00
Mathias Vorreiter Pedersen
959237e8d2
C++: Fix missing type for Phi nodes.
2023-03-02 22:48:10 +00:00
Mathias Vorreiter Pedersen
2963dc1cb1
C++: Include phi read nodes in SSA.
...
There's a small fix to the mapping from 'global def -> use'.
Finally, this commit also accepts a test failure related to new missing
types for phi nodes. The fix for that is in the next commit.
2023-03-02 22:48:06 +00:00
Mathias Vorreiter Pedersen
b3f92fcf0f
C++: Add FN caused by missing static local initialization in SSA.
2023-03-02 22:37:52 +00:00
Mathias Vorreiter Pedersen
7bb806563f
Merge branch 'mathiasvp/replace-ast-with-ir-use-usedataflow' into no-taint-indirect-direct-conflation
2023-02-27 17:19:36 +00:00
Mathias Vorreiter Pedersen
1db24dd28d
C++: Fix missing types. We now assign the node corresponding to **p
...
an `UnknownType`.
2023-02-27 14:57:36 +00:00
Mathias Vorreiter Pedersen
4e16bb65e3
C++: Accept test changes. Because we now allocate _three_ indirect nodes
...
for a value of type `void*` (i.e., `p`, `*p` and `**p`) we need to decide
on a type for the `**p` value. We will do this in the next commit.
2023-02-27 14:57:35 +00:00
Mathias Vorreiter Pedersen
f6b9ca3da6
C++: Add failing test.
2023-02-27 14:57:35 +00:00
Mathias Vorreiter Pedersen
da4a059388
C++: Accept test changes.
2023-02-27 14:57:35 +00:00
Mathias Vorreiter Pedersen
575ac46bf3
C++: Add failing test.
2023-02-27 14:57:35 +00:00
Mathias Vorreiter Pedersen
b952f619db
C++: Accept test changes.
2023-02-27 14:57:35 +00:00
Mathias Vorreiter Pedersen
9d64c0a023
C++: Add failing test.
2023-02-27 14:57:35 +00:00
Mathias Vorreiter Pedersen
2cb4a554ea
C++: Fix a bug in Expr <-> Node mapping.
2023-02-27 14:57:35 +00:00
Mathias Vorreiter Pedersen
7437de2909
C++: Fix issue where 'getEnclosingCallable' didn't exist for some globals.
2023-02-27 14:06:13 +00:00
Mathias Vorreiter Pedersen
7a81f06e84
C++: Accept test changes.
2023-02-14 09:01:51 +00:00
Mathias Vorreiter Pedersen
748a345e7f
C++: Add a test to reveal missing or spurious types on dataflow nodes.
2023-02-14 08:58:29 +00:00
