Anders Schack-Mulligen
c355737d30
C++: Update expected output.
2024-04-12 09:20:16 +02:00
Mathias Vorreiter Pedersen
aa94ee5b96
C++: Accept test changes.
2024-04-11 12:27:33 +01:00
Mathias Vorreiter Pedersen
3a18da730e
Merge branch 'main' into add-coroutine-tests
2024-04-11 11:59:07 +01:00
Mathias Vorreiter Pedersen
313501aa29
C++: Delete a noisy test that's not very helpful.
2024-04-10 18:54:50 +01:00
Mathias Vorreiter Pedersen
33f6b6a940
Merge pull request #16175 from MathiasVP/more-iterator-models
...
C++: Add alias and side-effect models for more iterator functions
2024-04-10 16:55:10 +01:00
Jeroen Ketema
b9b2aa3580
Merge pull request #16138 from jketema/coroutine3
...
C++: Update expected test results
2024-04-10 17:48:48 +02:00
Mathias Vorreiter Pedersen
a7c98e3d94
C++: Accept test changes.
2024-04-10 14:19:06 +01:00
Mathias Vorreiter Pedersen
59936c8642
Merge pull request #16151 from MathiasVP/use-shared-typeflow-lib
...
C++: Use the shared typeflow library
2024-04-10 12:02:03 +01:00
Jeroen Ketema
e821a62b44
C++: Update expected test results
2024-04-09 15:15:41 +02:00
Mathias Vorreiter Pedersen
386580fc94
C++: Accept test changes.
2024-04-08 21:26:12 +01:00
Mathias Vorreiter Pedersen
c389611e5c
C++: Add spurious dataflow test.
2024-04-08 21:24:59 +01:00
Mathias Vorreiter Pedersen
b581a9ba04
C++: Add example with missing destructor calls on parameters passed by value.
2024-04-08 13:49:05 +01:00
Jeroen Ketema
70491c4a8d
C++: Add more missing variable declaration tests
2024-04-04 10:54:09 +02:00
Mathias Vorreiter Pedersen
4baa9ad8c8
C++: Accept test changes.
2024-04-02 18:02:43 +01:00
Mathias Vorreiter Pedersen
baa508d336
C++: Add some simple coroutine tests.
2024-04-02 18:02:43 +01:00
Mathias Vorreiter Pedersen
0bf742b82d
Merge pull request #16089 from MathiasVP/fix-double-free-join
...
C++: Fix join order in 'cpp/double-free'.
2024-04-02 14:15:51 +01:00
Mathias Vorreiter Pedersen
352e7de07d
C++: Accept test changes.
2024-04-02 10:43:10 +01:00
Jeroen Ketema
a5d4fad806
C++: Output destructor calls for delete expressions
2024-04-02 10:32:03 +02:00
Mathias Vorreiter Pedersen
7bb2b57394
Merge pull request #15964 from rdmarsh2/rdmarsh2/cpp/temp-destructors-extended
...
C++: IR translation for destruction of temporaries with extended lifetimes
2024-03-27 11:58:48 +00:00
Jeroen Ketema
050682c477
C++: Update expected test results
2024-03-27 12:03:37 +01:00
Mathias Vorreiter Pedersen
ec3d041c8d
C++: Accept test changes.
2024-03-26 16:40:18 +00:00
Mathias Vorreiter Pedersen
bd2ecd3346
C++: Add test.
2024-03-26 16:38:28 +00:00
Jeroen Ketema
3f0ce98ccb
C++: Add destructor test cases for AV Rule 114
2024-03-22 10:25:47 +01:00
Jeroen Ketema
98de4e209b
C++: Handle destructors of if and switch initializer statements
2024-03-21 15:47:11 +01:00
Jeroen Ketema
9cc287dff1
C++: Handle destructors of range-based for-loop initializer statements
2024-03-21 15:47:11 +01:00
Jeroen Ketema
4c4ebd907e
C++: Update more expected test results
2024-03-21 11:54:29 +01:00
Jeroen Ketema
a3ae304dfe
C++: Handle getInitializingExpr in PrintAST
2024-03-21 11:32:23 +01:00
Jeroen Ketema
33c524d9fd
Merge pull request #16003 from jketema/destructors18
...
C++: Add tests showing missing destructors for initialization statements
2024-03-21 11:28:54 +01:00
Mathias Vorreiter Pedersen
dc5ee7c8b4
Merge pull request #16007 from MathiasVP/fix-tls-settings-misconfiguration
...
C++: Fix `cpp/boost/tls-settings-misconfiguration` FPs
2024-03-21 10:16:37 +00:00
Jeroen Ketema
84646cd795
C++: Add tests showing missing destructors for initialization statements
...
Incidentially this also shows that for contructs like `if (char x = ...)`, so
there is an initialization but not initializer statement, the initialization
is not displayed in the AST, although the IR does contain the initialization.
2024-03-21 09:40:00 +01:00
Jeroen Ketema
ec071cde51
Merge pull request #15991 from jketema/destructors17
...
C++: Handle destruction of temporaries in expressions with a `thow` at the root
2024-03-21 07:47:09 +01:00
Jeroen Ketema
9300b04def
C++: Update test results
2024-03-21 00:05:30 +01:00
Mathias Vorreiter Pedersen
0ef8c7d87f
C++: Accept test changes.
2024-03-20 18:05:14 +00:00
Mathias Vorreiter Pedersen
14aff5c94c
C++: Convert 'cpp/missing-check-scanf' to a path-problem query.
2024-03-20 14:54:53 +00:00
Jeroen Ketema
1fd11928eb
Merge pull request #15978 from jketema/destructors16
...
C++: Handle destructors at temporary object lifetime expressions
2024-03-20 14:24:10 +01:00
Mathias Vorreiter Pedersen
7ff2998c88
Merge pull request #15980 from MathiasVP/guards-lt
...
C++: Support `<` reasoning for `switch` statements in Guards library
2024-03-20 10:40:39 +00:00
Mathias Vorreiter Pedersen
9179f0bda6
Merge pull request #15969 from MathiasVP/disable-some-constant-folding
...
C++: Disable _some_ constant folding in IR
2024-03-20 09:25:06 +00:00
Jeroen Ketema
3ee965f2b9
C++: Update test results
2024-03-20 10:05:35 +01:00
Mathias Vorreiter Pedersen
97aa301ac9
C++: Accept more test changes.
2024-03-19 17:33:23 +00:00
Mathias Vorreiter Pedersen
1411ee5b26
C++: Extend tests to also test the new predicates and accept test changes.
2024-03-19 17:09:22 +00:00
Mathias Vorreiter Pedersen
aeb667c6ca
Merge pull request #15976 from MathiasVP/guards-eq-follow-up
...
C++: Fix interface for `GuardCondition.comparesEq` and `GuardCondition.ensuresEq`
2024-03-19 16:45:38 +00:00
Robert Marsh
3d4f7d880d
C++: unsuppress destructoion of temporaries with extended lifetimes
2024-03-19 15:54:42 +00:00
Jeroen Ketema
f5fed84bb2
Merge pull request #15968 from jketema/destructors15
...
C++: Fabricate destructors for temporaries that occur in dynamic initializations
2024-03-19 16:16:43 +01:00
Mathias Vorreiter Pedersen
c640bd67e9
C++: Fix tests for guards.
2024-03-19 14:43:16 +00:00
Mathias Vorreiter Pedersen
597f0082e7
Merge pull request #15958 from MathiasVP/ir-guards-from-switch-statements-2
...
C++: Implement guards logic for switch statements
2024-03-19 13:21:45 +00:00
Mathias Vorreiter Pedersen
54262a53c3
Revert "C++: Accept test changes."
...
This reverts commit f36b48346e
2024-03-19 13:18:01 +00:00
Mathias Vorreiter Pedersen
a88d8b260d
C++: Only ignore constant folding for certain binary operations.
2024-03-19 13:17:49 +00:00
Mathias Vorreiter Pedersen
f36b48346e
C++: Accept test changes.
2024-03-19 12:50:43 +00:00
Mathias Vorreiter Pedersen
1af1ba48a9
C++: Accept test changes.
2024-03-19 11:46:51 +00:00
Mathias Vorreiter Pedersen
e16e1c7e83
C++: Add tests.
2024-03-19 11:26:32 +00:00
