Geoffrey White
f649939d78
C++: Allow flow through (previously missing) summary taint steps.
2024-03-01 15:56:44 +00:00
Jeroen Ketema
ae97a23c27
Merge pull request #15213 from jketema/frontend-update
...
C++: Accept test changes after frontend upgrade
2024-02-28 13:00:02 +01:00
Jeroen Ketema
00ad7854dc
C++: Accept test changes after frontend upgrade
...
* The `specifiers2` tests have a different result now due to the implementation
of CWG 2387.
* The `special_members/generated_copy` has improved results as the frontend has
improved support for deleted copy constructors.
2024-02-28 11:29:57 +01:00
Mathias Vorreiter Pedersen
b8c141f292
C++: Accept test changes.
2024-02-27 17:58:52 +00:00
Mathias Vorreiter Pedersen
892f97cd7a
C++: Add testcase with invalid IR from constructing a 'RoutineType'.
2024-02-27 17:58:52 +00:00
Geoffrey White
1da611cc02
Merge branch 'main' into mad
2024-02-27 17:29:45 +00:00
Mathias Vorreiter Pedersen
bba152da13
Merge branch 'main' into ir-for-vacuous-destructor-calls
2024-02-27 15:42:46 +00:00
Mathias Vorreiter Pedersen
f7b2de800b
Merge pull request #15506 from rdmarsh2/rdmarsh2/cpp/ir-synthetic-destructors
...
C++: Add implicit destructors for named variables to the IR
2024-02-27 15:12:46 +00:00
Mathias Vorreiter Pedersen
dc3b78dd7c
C++: Accept more test changes.
2024-02-27 14:30:19 +00:00
Mathias Vorreiter Pedersen
4a501e5b3c
C++: Accept test changes.
2024-02-27 13:53:43 +00:00
Mathias Vorreiter Pedersen
fbb0ffcadd
C++: Add testcase with invalid IR from vacuous destructor call.
2024-02-27 12:53:46 +00:00
Jeroen Ketema
788100d475
C++: Update test after extractor changes
2024-02-26 10:04:42 +01:00
Robert Marsh
dd97584eff
C++: fix for duplicated parent of ReturnVoid statements
2024-02-23 16:19:34 +00:00
Robert Marsh
6f7f68fee8
Merge branch 'main' into rdmarsh2/cpp/ir-synthetic-destructors
2024-02-22 18:10:13 +00:00
Robert Marsh
ebe6ee5257
C++: accept test changes from extractor fixes
2024-02-22 16:44:19 +00:00
Mathias Vorreiter Pedersen
0bf29f0a62
Merge branch 'main' into model-experiments
2024-02-22 15:05:53 +00:00
Robert Marsh
875ab74c28
Merge branch 'main' into rdmarsh2/cpp/ir-synthetic-destructors
...
Fixes conflicts in C++ IR tests and Stmt.qll
2024-02-21 21:34:49 +00:00
Robert Marsh
e0c7849f52
C++: fix incorrect use of getChildInternal
2024-02-21 20:35:58 +00:00
Jeroen Ketema
f9d391d087
C++: Support destructors for range-based for-loops
2024-02-21 17:26:32 +01:00
Jeroen Ketema
11dc467add
C++: Add test where the for loop should call destructors at the end of its body
2024-02-21 14:42:23 +01:00
Jeroen Ketema
57cb7f8218
C++: Update tests after extractor changes related to static variables
2024-02-21 10:22:59 +01:00
Jeroen Ketema
c1f18edfed
C++: Add IR tests for destruction of static locals
2024-02-21 10:22:59 +01:00
Geoffrey White
356214c11b
C++: Implement SummaryReturnNode.
2024-02-20 14:48:02 +00:00
Geoffrey White
5683092d6a
C++: Implement SummaryParameterNode.
2024-02-20 14:48:02 +00:00
Geoffrey White
1ace9ee50f
C++: Create a proper class for DataFlowCallable, that includes summarized callables.
2024-02-20 14:48:02 +00:00
Jeroen Ketema
7ec95fba6d
C++: Add more range-based for-loop IR tests
2024-02-20 09:22:13 +01:00
Robert Marsh
2494b7d801
C++: fix for IR CFG problem with return in if
2024-02-16 21:08:21 +00:00
Geoffrey White
6e13b877bb
C++: Add FlowSummaryNode and test it.
2024-02-16 18:06:57 +00:00
Robert Marsh
2c8ed6479a
C++: test for return in if
2024-02-16 17:55:34 +00:00
Jeroen Ketema
dd39fa0bde
C++: Support C++20 range-based for initializers
2024-02-16 15:20:14 +01:00
Geoffrey White
e187a4a7d6
C++: Add flow summaries to simpleLocalFlowStep.
2024-02-16 12:31:17 +00:00
Mathias Vorreiter Pedersen
9b2019db6b
C++: Accept test changes.
2024-02-16 13:10:41 +01:00
Mathias Vorreiter Pedersen
7e9bf2a880
C++: Add a model for 'partial updating' and extend models appropriately.
2024-02-16 12:56:19 +01:00
Mathias Vorreiter Pedersen
24a63ae94d
C++: Block flow by default.
2024-02-16 12:56:19 +01:00
Mathias Vorreiter Pedersen
625c47fa9c
C++: Add a testcase.
2024-02-16 12:56:19 +01:00
Jeroen Ketema
da3ff4813f
Merge pull request #15612 from jketema/destructors4a
...
C++: Support `constexpr if` in the IR
2024-02-15 17:29:56 +01:00
Jeroen Ketema
33413129a5
C++: For unnamed local variable declaration entries consider the name of the variable
2024-02-14 15:03:04 +01:00
Jeroen Ketema
46bc311111
C++: Support constexpr if in the IR
2024-02-14 13:37:56 +01:00
Jeroen Ketema
c79cc493e8
C++: Accept more test changes
2024-02-13 21:53:51 +01:00
Jeroen Ketema
a3b3aa4f25
C++: Update tests after extractor changes
2024-02-13 21:31:21 +01:00
Jeroen Ketema
b776cbe668
Merge pull request #15597 from jketema/destructors2
...
C++: Update test results of `constexpr if` destructors
2024-02-13 19:59:19 +01:00
Robert Marsh
7e23ccd383
Merge branch 'main' into rdmarsh2/cpp/ir-synthetic-destructors
2024-02-13 15:45:51 +00:00
Mathias Vorreiter Pedersen
fb4bd53ec5
Revert "Merge pull request #15528 from MathiasVP/flow-barrier-interface"
...
This reverts commit c5dc88345d781486172e
2024-02-13 13:42:58 +00:00
Mathias Vorreiter Pedersen
cb7fe16ced
Revert "Merge pull request #15537 from MathiasVP/swap-also-clears-first-argument"
...
This reverts commit 23677b23c2c5dc88345d
2024-02-13 13:42:58 +00:00
Jeroen Ketema
f3e55a46ee
C++: Update test results of constexpr if destructors
2024-02-13 13:37:59 +01:00
Mathias Vorreiter Pedersen
048b3727f5
Merge pull request #15587 from MathiasVP/fix-memset-model
...
C++: Fix `memset` model
2024-02-13 10:45:08 +00:00
Jeroen Ketema
fb072a5156
C++: Add additional IR tests for init statements
2024-02-13 10:44:24 +01:00
Jeroen Ketema
8aeb75675a
C++: Add constructor and destructor for vector to IR test
2024-02-13 10:39:27 +01:00
Jeroen Ketema
b509645e02
C++: Bump language version in IR tests to C++20
2024-02-13 10:18:31 +01:00
Robert Marsh
f791b0ebbf
C++: Model for smart pointer destructors
2024-02-13 01:00:46 +00:00
