Jeroen Ketema
|
1b2d7bcbfa
|
Merge pull request #18534 from jketema/uncomment
C++: Uncomment more preprocessor tests
|
2025-01-20 12:59:20 +01:00 |
|
Jeroen Ketema
|
4b85ea3bc6
|
Merge pull request #18502 from jketema/consteval
C++: Support `if consteval` and `if ! consteval`
|
2025-01-20 12:49:02 +01:00 |
|
Jeroen Ketema
|
1cbd57e2b9
|
C++: Uncomment more preprocessor tests
|
2025-01-20 11:48:01 +01:00 |
|
Jeroen Ketema
|
a9e0f20861
|
C++: Simplify consteval if to be just a single class with an isNot predicate
|
2025-01-20 11:20:11 +01:00 |
|
Mathias Vorreiter Pedersen
|
d1bb5970ce
|
Merge branch 'main' into remove-conflation-from-out-nodes
|
2025-01-18 18:05:22 +00:00 |
|
Mathias Vorreiter Pedersen
|
8de7d4e8ef
|
C++: Accept test changes.
|
2025-01-18 02:11:52 +00:00 |
|
Mathias Vorreiter Pedersen
|
9970f7837b
|
C++: Add pointer/pointee conflation test.
|
2025-01-17 21:03:44 +00:00 |
|
Jeroen Ketema
|
d8b1d00905
|
Merge pull request #18516 from jketema/preproc-1
C++: Uncomment preprocessor test cases and add addition `#if` test case
|
2025-01-17 20:41:23 +01:00 |
|
Mathias Vorreiter Pedersen
|
5c494c3f66
|
C++: Infer 'b1 = true' and 'b2 = true' from 'b1 && b2 = true', and infer 'b1 = false' and 'b2 = false' from 'b1 || b2 = false'.
|
2025-01-17 13:07:41 +00:00 |
|
Mathias Vorreiter Pedersen
|
eadccf27ef
|
C++: Add test cases with missing inferred equalities.
|
2025-01-17 13:01:03 +00:00 |
|
Mathias Vorreiter Pedersen
|
d5b31eb98c
|
C++: Add more tests.
|
2025-01-16 17:25:39 +00:00 |
|
Mathias Vorreiter Pedersen
|
d0bd6eb2eb
|
C++: Remove the type restriction on 'GuardConditionFromNotExpr' since this class also applies to C++.
|
2025-01-16 16:55:10 +00:00 |
|
Mathias Vorreiter Pedersen
|
54faba21ba
|
C++: Add more tests.
|
2025-01-16 16:44:29 +00:00 |
|
Jeroen Ketema
|
dca87f3727
|
C++: Uncomment preprocessor test cases and add addition #if test case
Note that the new test case shows that line splicing is not correctly handled
in the case of `#if`.
|
2025-01-16 16:42:35 +01:00 |
|
Mathias Vorreiter Pedersen
|
00a1978b0c
|
C++: Add a guard condition test with an example of a negated less-than relation.
|
2025-01-16 14:57:08 +00:00 |
|
Mathias Vorreiter Pedersen
|
2076c1c51f
|
C++: Add an copy of a (slightly modified) syntax-zoo test as an IR test.
|
2025-01-16 14:33:25 +00:00 |
|
Jeroen Ketema
|
bc2f203c4b
|
C++: Support if consteval and if ! consteval
|
2025-01-16 08:17:57 +01:00 |
|
Mathias Vorreiter Pedersen
|
5373e2222e
|
C++: Improve IRGuads logic for 'unlikely' expressions.
|
2025-01-16 00:45:07 +00:00 |
|
Mathias Vorreiter Pedersen
|
7cca21364b
|
C++: Accept test changes.
|
2025-01-16 00:39:39 +00:00 |
|
Mathias Vorreiter Pedersen
|
2d9036eb5f
|
C++: Make 'getInstructionConvertedResultExpression' equivalent in C and C++.
|
2025-01-16 00:39:35 +00:00 |
|
Mathias Vorreiter Pedersen
|
ebb7f28d39
|
C++: Remove workaround for missing comparisons against 0 in C code.
|
2025-01-16 00:39:33 +00:00 |
|
Mathias Vorreiter Pedersen
|
0d7adac601
|
C++: Accept Guards test changes.
|
2025-01-16 00:39:31 +00:00 |
|
Mathias Vorreiter Pedersen
|
5da57cd2b4
|
C++: Accept test changes.
|
2025-01-16 00:39:29 +00:00 |
|
Mathias Vorreiter Pedersen
|
9d3bc7f510
|
C++: Accept test changes.
|
2025-01-16 00:39:26 +00:00 |
|
Mathias Vorreiter Pedersen
|
1e33593c79
|
C++: Accept test changes.
|
2025-01-16 00:39:23 +00:00 |
|
Mathias Vorreiter Pedersen
|
2e3d3494de
|
C++: Accept test changes.
|
2025-01-16 00:39:20 +00:00 |
|
Jeroen Ketema
|
13e8853277
|
C++: Update expected test results after extractor changes
|
2025-01-15 11:38:03 +01:00 |
|
Mathias Vorreiter Pedersen
|
0ff37f1205
|
Merge pull request #18486 from MathiasVP/indirect-instruction-barriers
C++: Add a `BarrierGuard` module for indirect instruction/operand nodes.
|
2025-01-14 11:37:58 +00:00 |
|
Simon Friis Vindum
|
7196892867
|
Merge pull request #18461 from paldepind/cpp-conditional-expr-range-analysis
C++: Only propagate smallest/largest range bound in conditional expressions
|
2025-01-14 12:31:21 +01:00 |
|
Mathias Vorreiter Pedersen
|
91992e2f3f
|
C++: Accept test changes.
|
2025-01-13 18:34:42 +00:00 |
|
Mathias Vorreiter Pedersen
|
4e3b27e920
|
C++: Add a testcase that needs indirect instruction/operand nodes.
|
2025-01-13 18:33:52 +00:00 |
|
Simon Friis Vindum
|
e9f2a8b017
|
C++: Extend nested ternary test with two more terms in the addition
|
2025-01-13 13:54:05 +01:00 |
|
Simon Friis Vindum
|
847f3f1fc2
|
C++: Add test for nested ternary expressions of literals
|
2025-01-13 12:08:50 +01:00 |
|
Mathias Vorreiter Pedersen
|
7a84132a6b
|
C++: Add models and accept testcases.
|
2025-01-09 17:32:34 +00:00 |
|
Mathias Vorreiter Pedersen
|
23acc31885
|
C++: Add testcases with missing models.
|
2025-01-09 17:30:37 +00:00 |
|
Mathias Vorreiter Pedersen
|
d935e9fb0f
|
C++: Also resolve typedefs nested inside arrays.
|
2025-01-06 14:50:37 +00:00 |
|
Mathias Vorreiter Pedersen
|
fdc305298d
|
C++: Add testcase with missing MaD support for resolving typedefs inside arrays.
|
2025-01-06 14:46:55 +00:00 |
|
Mathias Vorreiter Pedersen
|
682dd42caa
|
C++: Accept test changes.
|
2025-01-02 16:10:19 +01:00 |
|
Mathias Vorreiter Pedersen
|
5ccc12cea1
|
C++: Add a testcase that demonstrates the problem with MaD and typedefs.
|
2025-01-02 16:06:45 +01:00 |
|
Mathias Vorreiter Pedersen
|
f23e56bdca
|
Merge pull request #18261 from MathiasVP/add-more-atl-string-models
C++: Add more MaD models for ATL string classes
|
2025-01-02 15:06:04 +00:00 |
|
Mathias Vorreiter Pedersen
|
289b938b4d
|
C++: Fix testcase.
|
2025-01-02 15:37:39 +01:00 |
|
Mathias Vorreiter Pedersen
|
d8cfa711ad
|
C++: Fix testcase for conversion operator.
|
2025-01-02 15:35:21 +01:00 |
|
Mathias Vorreiter Pedersen
|
052b6f6ec4
|
C++: Accept test changes.
|
2025-01-02 15:22:10 +01:00 |
|
Mathias Vorreiter Pedersen
|
e7773770fa
|
C++: Fix missing return value flow out of 'operator=' in lots of MaD models.
|
2024-12-23 12:00:41 +01:00 |
|
Jeroen Ketema
|
b60c86077d
|
Merge pull request #18353 from jketema/template-parameters-2
C++: Handle `sizeof...` for types and template template parameters
|
2024-12-20 19:15:50 +01:00 |
|
Jeroen Ketema
|
659ec66b5e
|
Merge pull request #18350 from jketema/test-cleanup-2
C++: Simplify more `semmle-extractor-options`
|
2024-12-20 17:23:54 +01:00 |
|
Jeroen Ketema
|
46e9d0aa0c
|
Merge pull request #18334 from jketema/template-parameters-1
C++: Update test after extractor changes
|
2024-12-20 17:08:31 +01:00 |
|
Jeroen Ketema
|
46b230ae92
|
C++: Simplify more semmle-extractor-options
This will allow us to drop a number of special cases from the
extractor.
|
2024-12-20 16:01:19 +01:00 |
|
Jeroen Ketema
|
6ecaf20cdd
|
C++: Update expected test results
|
2024-12-20 13:53:35 +01:00 |
|
Jeroen Ketema
|
6f9968d2c2
|
C++: Update test after extractor changes
|
2024-12-20 08:27:39 +01:00 |
|