Mathias Vorreiter Pedersen
|
0487e0622a
|
C++: Accept test changes from tests that use getAQlClass.
|
2025-11-24 14:04:35 +00:00 |
|
Mathias Vorreiter Pedersen
|
4279a970fa
|
C++: Remove unnecessary cast.
|
2025-11-18 20:03:24 +00:00 |
|
Mathias Vorreiter Pedersen
|
a27ac9d59d
|
C++: Updated expected after Copilot change.
|
2025-11-18 20:03:10 +00:00 |
|
Mathias Vorreiter Pedersen
|
6b136e3a53
|
Update cpp/ql/test/library-tests/types/sizeof/sizeof.ql
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
|
2025-11-18 20:00:32 +00:00 |
|
Mathias Vorreiter Pedersen
|
d4a8dbb5f3
|
C++: Slightly modify a test so that we can see the effect of this change.
|
2025-11-18 19:52:30 +00:00 |
|
Simon Friis Vindum
|
5da73f3232
|
C++: Make sure that nrOfBoundsNEPhi is functional
|
2025-11-14 12:26:23 +01:00 |
|
Simon Friis Vindum
|
74b433ef59
|
C++: Add range analysis tests
|
2025-11-14 12:26:22 +01:00 |
|
Simon Friis Vindum
|
69e70d7cbc
|
Reapply "Merge pull request #20645 from paldepind/cpp/range-analysis-measure"
This reverts commit e7c029ae7d.
|
2025-11-14 12:26:21 +01:00 |
|
Mathias Vorreiter Pedersen
|
7b052e2404
|
Merge branch 'main' into fix-cp-in-external-flow
|
2025-11-10 10:44:31 +00:00 |
|
Mathias Vorreiter Pedersen
|
29a294f8d0
|
C++: Bind the columns inside the predicate instead of relying on 'bindingset's. The repeated inlining caused by 'bindiingset's created some #shared predicates with repeated regex matching.
|
2025-11-10 10:21:12 +00:00 |
|
Jeroen Ketema
|
eb3e86480f
|
Merge pull request #20784 from jketema/qual-fail
C++: Fix named qualifier dataset check error with decltypes
|
2025-11-10 10:36:47 +01:00 |
|
Jeroen Ketema
|
a3f26fd6bb
|
C++: Update expected test results after QL changes
|
2025-11-10 10:11:03 +01:00 |
|
Mathias Vorreiter Pedersen
|
3d6b3a31ac
|
C++: Also join on the 'namespace'.
|
2025-11-08 16:45:39 +00:00 |
|
Mathias Vorreiter Pedersen
|
bfe2b7dc44
|
C++: Use the new predicate to remove a cartesian-like join.
|
2025-11-08 16:43:43 +00:00 |
|
Mathias Vorreiter Pedersen
|
74b774eec5
|
Merge pull request #20769 from MathiasVP/add-more-flow-models
C++: Add a few more models
|
2025-11-08 16:39:29 +00:00 |
|
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 |
|
Mathias Vorreiter Pedersen
|
2b6a75f4ad
|
C++: Accept test changes.
|
2025-11-06 16:57:11 +00:00 |
|
Mathias Vorreiter Pedersen
|
0607100310
|
C++: Add tests with missing flow.
|
2025-11-06 16:54:54 +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 |
|
Ben Rodes
|
d251b3f9f7
|
Merge branch 'main' into signature_model_refactor
|
2025-10-02 09:02:34 -04: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
|
5e82eb9b24
|
C++: Fixup queries which assumes that a guard is always an expression.
|
2025-09-18 12:16:21 +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
|
78bfdfd931
|
Merge pull request #20390 from asgerf/post-update-consistency
DataFlow: Permit local flow between post-update nodes
|
2025-09-16 13:00:29 +02:00 |
|
Jeroen Ketema
|
352610d651
|
C++: Add GOOD annotation
|
2025-09-12 10:29:27 +02:00 |
|
Asger F
|
ae4cf302f2
|
Remove failures from dataflow-consistency expectations
|
2025-09-11 14:49:58 +02:00 |
|
Jeroen Ketema
|
2bc035cfcf
|
C++: Update test results after extractor changes
|
2025-09-11 10:31:01 +02:00 |
|
Jeroen Ketema
|
d224f85b24
|
C++: Add uninitialized variable FP test
|
2025-09-11 10:31:00 +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 |
|