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
|
52eef7c4c2
|
C++: Fix typo in test
|
2025-01-16 13:19:54 +01:00 |
|
Jeroen Ketema
|
bd40d249e3
|
C++: Support more "noreturn" attributes in DefaultOptions
|
2025-01-16 13:04:44 +01:00 |
|
Jeroen Ketema
|
f4f5f2899c
|
C++: Add more noreturn attribute tests
|
2025-01-16 13:01:53 +01: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
|
b5897e5727
|
C++: Accept sign analysis changes.
|
2025-01-16 00:39:36 +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 |
|
Jeroen Ketema
|
12048aefad
|
Merge pull request #18408 from jketema/config-silence
C++: Silence alerts coming from CMake test compilation files
|
2025-01-09 16:31:55 +01:00 |
|
Geoffrey White
|
0ce409efd7
|
Update cpp/ql/test/query-tests/Likely Bugs/Likely Typos/ExprHasNoEffect/CMakeFiles/CMakeScratch/TryCompile-abcdef/CheckFunctionExists.c
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2025-01-09 15:17:57 +00:00 |
|
Jeroen Ketema
|
06f6bac169
|
C++: Silence alerts coming from CMake test compilation files
|
2025-01-07 14:12:55 +01:00 |
|
Jeroen Ketema
|
ede801ed88
|
C++: Add CMake test compilation test
|
2025-01-07 14:12:11 +01: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
|
90d8fb1a05
|
Merge pull request #18335 from jketema/test-cleanup
C++: Simplify some semmle-extractor-options in tests
|
2024-12-20 13:43:59 +01:00 |
|
Calum Grant
|
d5571c5f68
|
Merge pull request #18309 from github/calumgrant/bmn/return-stack-allocated-memory
C++: Fix FPs to cpp/return-stack-allocated-memory
|
2024-12-20 10:54:24 +00:00 |
|
Calum Grant
|
3193fe856a
|
C++: Update comments
|
2024-12-20 09:11:58 +00:00 |
|
Jeroen Ketema
|
6f9968d2c2
|
C++: Update test after extractor changes
|
2024-12-20 08:27:39 +01:00 |
|
Jeroen Ketema
|
6200a1d5b9
|
C++: Simplify some semmle-extractor-options in tests
|
2024-12-19 21:46:33 +01:00 |
|