Jeroen Ketema
|
e41b5f2bc0
|
C++: Update tests after extractor changes
|
2025-09-25 09:52:22 +02:00 |
|
Asger F
|
ae4cf302f2
|
Remove failures from dataflow-consistency expectations
|
2025-09-11 14:49:58 +02:00 |
|
Jeroen Ketema
|
f4df3881f8
|
C++: Handle *& sequences in sizeof VLA expressions
|
2025-09-02 12:29:24 +02:00 |
|
Jeroen Ketema
|
8a7553232f
|
C++: Add more sizeof VLA tests
|
2025-09-02 12:29:19 +02:00 |
|
Jeroen Ketema
|
f68d3477d4
|
C++: Output necessary conversions in the sizeof VLA IR
|
2025-09-02 12:29:17 +02:00 |
|
Jeroen Ketema
|
6a9324fab0
|
C++: Fix obtaining the base type of a VLA
|
2025-09-02 12:29:13 +02:00 |
|
Jeroen Ketema
|
ffbc83deeb
|
C++: Update expected test results
|
2025-09-02 12:29:10 +02:00 |
|
Jeroen Ketema
|
74f5687660
|
C++: Update expected test results
|
2025-09-02 12:29:07 +02:00 |
|
Jeroen Ketema
|
5bd08e8174
|
C++: Add more sizeof VLA tests
|
2025-09-02 12:29:02 +02:00 |
|
Jeroen Ketema
|
dc78330529
|
C++: Update expected test results
|
2025-09-02 12:29:00 +02:00 |
|
Jeroen Ketema
|
60845001dd
|
C++: Add sizeof VLA IR test cases
|
2025-09-02 12:28:56 +02:00 |
|
Jeroen Ketema
|
b8917c8c19
|
Merge branch 'main' into add-comptr-model-now-with-more-models
|
2025-08-28 17:15:06 +02:00 |
|
Mathias Vorreiter Pedersen
|
ddf0f37dac
|
C++: Accept test changes.
|
2025-08-28 16:58:49 +02:00 |
|
Mathias Vorreiter Pedersen
|
f135ed957d
|
C++: Add testcases with missing model.
|
2025-08-28 16:54:46 +02:00 |
|
Mathias Vorreiter Pedersen
|
4116292888
|
C++: Accept test changes.
|
2025-08-28 12:13:19 +02:00 |
|
Mathias Vorreiter Pedersen
|
d0e766da3e
|
C++: Add a testcase with invalid IR.
|
2025-08-28 12:06:21 +02:00 |
|
Mathias Vorreiter Pedersen
|
bebfe03166
|
C++: Add missing model and accept test changes.
|
2025-08-27 15:15:26 +02:00 |
|
Mathias Vorreiter Pedersen
|
8c07a3e552
|
C++: Add testcase with missing model.
|
2025-08-27 15:12:52 +02:00 |
|
Mathias Vorreiter Pedersen
|
7c05622a91
|
C++: Add missing type and accept test changes.
|
2025-08-27 14:41:00 +02:00 |
|
Mathias Vorreiter Pedersen
|
9e9f6dd11a
|
C++: Accept test changes.
|
2025-08-27 14:18:21 +02:00 |
|
Mathias Vorreiter Pedersen
|
6f64129b04
|
C++: Add ComPtr tests.
|
2025-08-27 14:05:13 +02:00 |
|
Jeroen Ketema
|
0752c07bc1
|
C++: Update expected test results after extractor changes
|
2025-08-25 15:56:00 +02:00 |
|
Mathias Vorreiter Pedersen
|
dfda5a0793
|
Merge pull request #20249 from MathiasVP/type-tracking-for-cpp-3
C++: Use the shared type-tracking library for virtual dispatch resolution
|
2025-08-21 11:14:12 +02:00 |
|
Mathias Vorreiter Pedersen
|
0631bd7466
|
C++: Add object/flow conflation for unions when resolving function pointers.
|
2025-08-19 13:57:13 +02:00 |
|
Mathias Vorreiter Pedersen
|
16508b1800
|
C++: Fix off-by-one error in getType on 'FinalGlobalValue' nodes and accept test changes.
|
2025-08-19 13:57:11 +02:00 |
|
Mathias Vorreiter Pedersen
|
302d35bedc
|
C++: Accept test changes.
|
2025-08-19 13:57:10 +02:00 |
|
Mathias Vorreiter Pedersen
|
c1b91db37a
|
C++: Add more virtual dispatch tests.
|
2025-08-19 12:32:09 +02:00 |
|
Mathias Vorreiter Pedersen
|
af00e46fc8
|
C++: Mark fprintf and friends as a partial write of the stream argument.
|
2025-08-18 18:15:14 +02:00 |
|
Mathias Vorreiter Pedersen
|
6a57da79de
|
C++: Add a test with missing flow.
|
2025-08-18 18:12:52 +02:00 |
|
Mathias Vorreiter Pedersen
|
e6cd27a992
|
C++: Skip non-Boolean instructions in the new inference step.
|
2025-08-13 16:20:21 +02:00 |
|
Mathias Vorreiter Pedersen
|
e67b6d6c9a
|
C++: Add another inference step.
|
2025-08-13 16:20:19 +02:00 |
|
Mathias Vorreiter Pedersen
|
a27135495c
|
C++: Add tests.
|
2025-08-13 12:54:23 +02:00 |
|
Mathias Vorreiter Pedersen
|
caa935d011
|
C++: Update the tests for guard conditions so that the tests print more detailed location information.
|
2025-08-13 09:41:28 +02:00 |
|
Jeroen Ketema
|
f9f99a043c
|
Merge pull request #20126 from MathiasVP/fix-missing-global-flow
C++: Fix missing global variable flow
|
2025-08-11 11:54:35 +02:00 |
|
Mathias Vorreiter Pedersen
|
ccfcd90f08
|
Merge pull request #20156 from MathiasVP/value-numbering-for-noop-casts
C++: Value numbering for casts that only modify specifiers
|
2025-08-11 10:33:58 +02:00 |
|
Mathias Vorreiter Pedersen
|
b807ee4718
|
C++: Accept test changes.
|
2025-08-03 12:17:34 +01:00 |
|
Mathias Vorreiter Pedersen
|
fca49dde92
|
C++: Accept test changes.
|
2025-08-02 16:43:19 +01:00 |
|
Mathias Vorreiter Pedersen
|
34c1ec73c2
|
C++: Add tests with missing flow through globals.
|
2025-08-02 16:38:32 +01:00 |
|
Mathias Vorreiter Pedersen
|
1aa8adb472
|
C++: Add test.
|
2025-08-02 13:00:26 +01:00 |
|
Mathias Vorreiter Pedersen
|
14345a8288
|
C++: Accept test changes.
|
2025-08-01 16:09:44 +01:00 |
|
Mathias Vorreiter Pedersen
|
18289702ca
|
C++: Add an example of double negation to the IR tests.
|
2025-07-31 15:49:05 +01:00 |
|
Mathias Vorreiter Pedersen
|
cbe5561eb6
|
C++: Accept test changes.
|
2025-07-23 14:05:42 +01:00 |
|
Mathias Vorreiter Pedersen
|
50785f7f21
|
C++: Add tests with missing flow.
|
2025-07-23 13:37:32 +01:00 |
|
Jeroen Ketema
|
f319381f27
|
C++: Support the spaceship operator in the IR
|
2025-07-16 17:53:55 +02:00 |
|
Jeroen Ketema
|
807ab986f4
|
C++: Update more exoected test results
|
2025-07-16 16:19:40 +02:00 |
|
Jeroen Ketema
|
2709bf0615
|
C++: Add test that shows that IR generation for <=> is broken
|
2025-07-16 15:54:18 +02:00 |
|
Jeroen Ketema
|
70bff4e726
|
C++: Fix typeid IR translation
|
2025-07-15 20:24:17 +02:00 |
|
Jeroen Ketema
|
477edd215c
|
C++: Add test showing that the IR translation for typeid is broken
|
2025-07-15 17:29:00 +02:00 |
|
Mathias Vorreiter Pedersen
|
a825213c05
|
C++: Fix FP by not generating a global def entry node for variable 'v' in the 'IRfunction' for 'v' itself.
|
2025-07-14 15:22:52 +01:00 |
|
Mathias Vorreiter Pedersen
|
46627c677d
|
C++: Add FP in dataflow through global variables.
|
2025-07-14 15:20:08 +01:00 |
|