Enrico Steffinlongo
|
e7c029ae7d
|
Revert "Merge pull request #20645 from paldepind/cpp/range-analysis-measure"
This reverts commit a0a6f288b5, reversing
changes made to 32f21d6d49.
|
2025-11-07 16:49:47 +00:00 |
|
Simon Friis Vindum
|
3af9885489
|
C++: Fix typos in tests
|
2025-10-24 16:04:34 +02:00 |
|
Simon Friis Vindum
|
a0a6f288b5
|
Merge pull request #20645 from paldepind/cpp/range-analysis-measure
C++: Range analysis measure bounds
|
2025-10-24 15:30:07 +02:00 |
|
Simon Friis Vindum
|
f207404b0d
|
C++: Accept test changes
|
2025-10-21 16:03:12 +02:00 |
|
Simon Friis Vindum
|
c1f0f3da96
|
C++: Handle guard phi nodes differently
|
2025-10-16 15:05:46 +02:00 |
|
Simon Friis Vindum
|
99103a5741
|
C++: Add additional test for range analysis
|
2025-10-16 15:05:45 +02:00 |
|
Simon Friis Vindum
|
8896a7210b
|
C++: Add number of bounds test to simple range analysis
|
2025-10-16 15:05:44 +02:00 |
|
Simon Friis Vindum
|
7eacd87343
|
C++: Apply widening based on number of bounds measure
|
2025-10-16 15:05:42 +02:00 |
|
Simon Friis Vindum
|
70a8c4f37f
|
C++: Add range analysis examples that explode
|
2025-10-15 11:42:17 +02:00 |
|
Anders Schack-Mulligen
|
fad49ffbfb
|
C++: Accept qltest change (useless guard tautology removed).
|
2025-10-03 15:59:54 +02:00 |
|
Mathias Vorreiter Pedersen
|
b0e9238ddf
|
Merge branch 'main' into use-shared-guards-library
|
2025-10-01 11:59:17 +01:00 |
|
Mathias Vorreiter Pedersen
|
353ee8baa0
|
C++: Port a test from the experimental directory to show that it works in the non-experimental "new" range analysis.
|
2025-10-01 11:33:47 +01:00 |
|
Mathias Vorreiter Pedersen
|
c1c1f60241
|
C++: Delete incorrect comment and add a bunch of barrier guard tests.
|
2025-09-25 12:56:46 +01:00 |
|
Mathias Vorreiter Pedersen
|
5b5c1de05b
|
C++: Fix fan-out.
|
2025-09-25 12:33:44 +01:00 |
|
Jeroen Ketema
|
e41b5f2bc0
|
C++: Update tests after extractor changes
|
2025-09-25 09:52:22 +02:00 |
|
Mathias Vorreiter Pedersen
|
a07d03f49b
|
C++: Use the 'StoreInstruction' instead of the 'ReturnValueInstruction' when detecting return expressions.
|
2025-09-24 20:09:35 +01:00 |
|
Mathias Vorreiter Pedersen
|
26a8a4b3d2
|
C++: Add failing test demonstrating broken wrapper barrier guards.
|
2025-09-24 19:54:05 +01:00 |
|
Mathias Vorreiter Pedersen
|
b2269fb5f5
|
C++: Add more tests.
|
2025-09-24 19:06:02 +01:00 |
|
Mathias Vorreiter Pedersen
|
d15e388f5c
|
C++: Get rid of the case range constant value with and instead implement 'rangeGuard'.
|
2025-09-24 15:52:10 +01:00 |
|
Mathias Vorreiter Pedersen
|
13cde4d700
|
C++: Add testcase demonstrating that a ConstantValue IPA branch representing a gcc case range is a bad idea.
|
2025-09-24 15:34:35 +01:00 |
|
Mathias Vorreiter Pedersen
|
c481be8ea7
|
C++: Accept test changes for tests that select all types of an expression.
|
2025-09-18 12:16:28 +01:00 |
|
Mathias Vorreiter Pedersen
|
fbd877a118
|
C++: Delete a test. This is no longer useful when every expression is a guard condition.
|
2025-09-18 12:16:20 +01:00 |
|
Mathias Vorreiter Pedersen
|
2dc783d91f
|
C++: Accept test changes.
|
2025-09-18 12:16:16 +01:00 |
|
Mathias Vorreiter Pedersen
|
0b81fbbb2b
|
C++: Fixup tests.
|
2025-09-18 12:16:11 +01: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 |
|