Mathias Vorreiter Pedersen
43c7ac36d9
C++: Add a test with spurious flow.
2024-06-04 17:19:36 +01:00
Geoffrey White
79e9198b20
C++: An empty models-as-data namespace / type is not 'dubious' in CPP.
2024-06-04 10:21:06 +01:00
Geoffrey White
f479649727
C++: Add Boost::Asio models.
2024-06-04 10:21:05 +01:00
Geoffrey White
7e5b7346c0
C++: Add flow test cases for Boost::Asio.
2024-06-04 10:21:05 +01:00
Geoffrey White
8a5b5d220a
C++: Add source/sink test cases for Boost::Asio.
2024-06-04 10:21:05 +01:00
Geoffrey White
94413c8c2e
C++: Implement YML extension models.
2024-06-03 13:49:38 +01:00
Geoffrey White
34130d50d3
C++: Add library tests for YML extension models.
2024-06-03 13:49:26 +01:00
Jeroen Ketema
c57c027f70
C++: Make the padding test independent of the predefined_macros file
...
The padding test is the only test that currently depends on the contents
of the `predefined_macros` flile that we ship with CodeQL for use with the
CodeQL tests. Explicitly specifying `__x86_64` makes the test independent of
the contents of the file.
2024-05-27 14:21:10 +02:00
Anders Schack-Mulligen
e7f24318cd
C++: Accept qltest .expected file changes.
2024-05-22 15:36:30 +02:00
Anders Schack-Mulligen
f977a4206a
C++: Accept qltest .expected file changes (interesting).
2024-05-22 15:35:28 +02:00
Mathias Vorreiter Pedersen
09357e15b4
Merge pull request #16533 from MathiasVP/better-negation-guards-in-c
...
C++: Make `IRGuardCondition` handle `p` in `if(p)` and `if(!p)` better in C programs
2024-05-22 13:02:06 +01:00
Rasmus Wriedt Larsen
2451a6d3f6
Accept .expected changes
2024-05-21 14:47:42 +02:00
Mathias Vorreiter Pedersen
5893e38567
C++: Accept test changes.
2024-05-20 22:28:17 +01:00
Jeroen Ketema
d68d2cca41
C++: Fix destructor translation for handlers
2024-05-08 19:26:56 +02:00
Jeroen Ketema
1a53b923a6
C++: Ensure destructors for ifs are called after both branches
2024-05-08 14:48:28 +02:00
Jeroen Ketema
fa06d88642
C++: Add forgotten getLastChild to TranslatedConstExprIfStmt
2024-05-08 14:07:29 +02:00
Jeroen Ketema
6575927630
C++: Add IR tests demonstrating some inconsistencies that may occur
2024-05-08 11:43:58 +02:00
Jeroen Ketema
2dcb55cc42
C++: Add bool operator to IR test
2024-05-08 11:38:50 +02:00
Jeroen Ketema
61580da14d
C++: Update test results after extractor changes
2024-05-08 08:43:20 +02:00
Jeroen Ketema
8198b1a6ef
Merge pull request #16426 from jketema/destructors-ranged-based-cleanup
...
C++: Update test results after extractor changes
2024-05-07 13:11:00 +02:00
Jeroen Ketema
4eea214cb4
C++: Update test results after extractor changes
2024-05-07 11:10:07 +02:00
Jeroen Ketema
9b23635d0a
C++: Add test case that shows that no destructors are attached to unwinds
2024-05-06 17:47:55 +02:00
Jeroen Ketema
ba64cf3016
C++: Correctly handle destructors at the end of range-based for-loops in the IR
2024-05-03 14:38:37 +02:00
Mathias Vorreiter Pedersen
f7113e0105
Merge pull request #16345 from MathiasVP/cleanup-ssa-and-iterator-flow
...
C++: Clean up SSA and stop relying on memory edges for iterator flow
2024-05-02 14:21:25 +01:00
Jeroen Ketema
5843326b5c
C++: Update IR tests after better handling of init statements in the extractor
2024-04-30 21:12:30 +02:00
Mathias Vorreiter Pedersen
3a2b0a2feb
Merge pull request #16366 from MathiasVP/fix-ir-for-destructors-in-switch
...
C++: Fix IR destructor calls on `JumpStmt`s
2024-04-30 18:26:54 +01:00
Mathias Vorreiter Pedersen
07dd6d5c8d
C++: Align 'break' statements.
2024-04-30 16:40:23 +01:00
Mathias Vorreiter Pedersen
b86aeb68ae
Merge pull request #16364 from MathiasVP/ir-guards-with-boolean
...
C++: Support `IRGuard`s with no implicit boolean conversion
2024-04-30 16:07:32 +01:00
Mathias Vorreiter Pedersen
cf025e1924
C++: Accept test changes.
2024-04-30 15:47:53 +01:00
Mathias Vorreiter Pedersen
c5a87c95d8
C++: Add tests that incorrectly call destructors twice.
2024-04-30 15:39:00 +01:00
Mathias Vorreiter Pedersen
c32c810ae7
C++: Add a test with a 'short' type.
2024-04-30 14:48:21 +01:00
Mathias Vorreiter Pedersen
2939c89f7a
C++: Accept test changes.
2024-04-30 12:04:42 +01:00
Mathias Vorreiter Pedersen
806d42852c
C++: Add test in C file with pointer type guard.
2024-04-30 11:33:22 +01:00
Erik Krogh Kristensen
7e839792da
Merge pull request #16330 from erik-krogh/del-deps-apr-2024
...
All: delete outdated deprecations
2024-04-30 10:43:39 +02:00
Mathias Vorreiter Pedersen
401717d739
C++: Add a missing taint step and accept test changes.
2024-04-29 09:38:42 +01:00
Mathias Vorreiter Pedersen
527409d05f
C++: Fix iterator return types and accept test changes.
2024-04-29 09:38:42 +01:00
Mathias Vorreiter Pedersen
d3d2e2188d
C++: Accept test changes.
2024-04-29 09:38:42 +01:00
Mathias Vorreiter Pedersen
5f0efc19fa
C++: Accept test changes.
2024-04-29 09:38:41 +01:00
Mathias Vorreiter Pedersen
3c2206728d
Merge pull request #16333 from MathiasVP/fix-guards-on-pointers
2024-04-26 21:33:08 +01:00
Mathias Vorreiter Pedersen
d18cdee0bc
C++: Accept test changes.
2024-04-26 16:19:33 +01:00
Mathias Vorreiter Pedersen
bf61114284
C++: Add a test with pointer comparisons and float comparisons.
2024-04-26 16:17:45 +01:00
Mathias Vorreiter Pedersen
d6c57de650
C++: Convert one of the tests to also test the 'absolute' versions of the GuardCondition predicates.
2024-04-26 16:11:19 +01:00
Jeroen Ketema
67fb866efa
C++: Update test results
2024-04-26 16:38:39 +02:00
erik-krogh
0468c5d0bf
delete some tests of the old GVN library
2024-04-26 07:58:35 +02:00
Jeroen Ketema
05819a52ef
C++: Print destructors for children of statements that are again statements
2024-04-25 13:25:42 +02:00
Jeroen Ketema
95ec4e8d26
C++: Fix comment in IR test
2024-04-24 21:47:47 +02:00
Mathias Vorreiter Pedersen
553c09ada3
Merge pull request #16301 from MathiasVP/proper-coroutine-cfg-support-2
...
C++: Implement proper coroutine support in IR
2024-04-23 09:19:15 +01:00
Anders Schack-Mulligen
b2f09949df
Merge pull request #15599 from aschackmull/dataflow/fieldflowbranchlimit-v2
...
Dataflow: update fieldFlowBranchLimit semantics
2024-04-23 10:08:05 +02:00
Mathias Vorreiter Pedersen
24cf75a37c
C++: Accept test changes.
2024-04-22 21:38:13 +01:00
Jeroen Ketema
76637b0d03
C++: Update expected test results
2024-04-22 13:01:10 +02:00
