Mathias Vorreiter Pedersen
45e71543b4
C++: Accept test changes.
2024-04-05 18:08:25 +01:00
Mathias Vorreiter Pedersen
54e4103e71
C++: Fix another multiple parents problem.
2024-04-05 18:07:53 +01:00
Mathias Vorreiter Pedersen
955f9c735c
C++: Add a failing testcase.
2024-04-05 18:05:30 +01:00
Mathias Vorreiter Pedersen
4c01c06f0c
C++: Accept test changes.
2024-04-05 14:49:22 +01:00
Mathias Vorreiter Pedersen
f1d2dac648
C++: Fix a bug where the destructor attached to a 'new' expression would
...
have multiple parents (the 'new' expression, the call to 'operator new',
and the size expression). This happens because the latter two are
'TranslatedExpr's that return the 'new' expression as their expression
even though they don't technically represent the translation of this
expression.
To prevent this bug we tell the IR construction that the latter two
handle their destructors explicitly which means that IR construction
doesn't try to synthesize them.
2024-04-05 14:46:27 +01:00
Mathias Vorreiter Pedersen
b042366c8e
C++: Add a failing testcase.
2024-04-05 14:41:11 +01:00
Mathias Vorreiter Pedersen
bb2c690bdd
C++: Accept test changes.
2024-04-05 09:49:38 +01:00
Mathias Vorreiter Pedersen
d279e3f17a
C++: Suppress destructor calls for the right-hand side of logical operations since these are also conditional.
2024-04-05 09:47:11 +01:00
Mathias Vorreiter Pedersen
e63a607eb3
C++: Add another test with conditional construction.
2024-04-05 09:41:50 +01:00
erik-krogh
6d3244d01c
update expected outputs with an FP
2024-04-05 09:36:44 +02:00
erik-krogh
3ab73c8552
C++: Improve the cpp/path-injection qhelp
2024-04-05 09:36:39 +02:00
Mathias Vorreiter Pedersen
b6ddb97e40
C++: Accept test changes.
2024-04-04 20:02:02 +01:00
Mathias Vorreiter Pedersen
f098b8eb82
C++: Make sure the edge kind out of a throw is an 'ExceptionEdge' even if destructors are called.
2024-04-04 20:01:52 +01:00
Geoffrey White
bdc3d10cdb
C++: QLDoc SummaryCall, SourceCallable and SummarizedCallable.
2024-04-04 17:13:59 +01:00
Geoffrey White
49ef677b1d
C++: Additional test case for function pointers.
2024-04-04 16:53:29 +01:00
Geoffrey White
144c19db74
C++: Add a test of SummaryCalls, SummarizedCallables and sourceCallables.
2024-04-04 16:50:50 +01:00
Mathias Vorreiter Pedersen
587ae07579
C++: Accept query test changes.
2024-04-04 16:23:41 +01:00
Mathias Vorreiter Pedersen
8f11cb64ec
C++: Accept test changes.
2024-04-04 16:03:06 +01:00
Mathias Vorreiter Pedersen
180888616b
C++: Properly handle the case where a TranslatedElement has no children.
2024-04-04 16:02:01 +01:00
Mathias Vorreiter Pedersen
805b4d6465
C++: Add a failing testcase.
2024-04-04 16:01:25 +01:00
Mathias Vorreiter Pedersen
774efb5f3f
Merge branch 'main' into destructors-for-unconditional-unnamed
2024-04-04 15:04:34 +01:00
Mathias Vorreiter Pedersen
0b7070feec
C++: Accept test changes.
2024-04-04 14:51:16 +01:00
Mathias Vorreiter Pedersen
73602dca92
C++: Also suppress destructor calls on throwing ternary expressions.
2024-04-04 14:51:11 +01:00
Mathias Vorreiter Pedersen
a6a0e20176
C++: Accept test changes.
2024-04-04 14:45:20 +01:00
Mathias Vorreiter Pedersen
796fcfec6c
C++: Handle conversions in 'isInConditionalEvaluation'.
2024-04-04 14:44:16 +01:00
Mathias Vorreiter Pedersen
56a132fa8e
C++: Accept test changes.
2024-04-04 14:41:24 +01:00
Mathias Vorreiter Pedersen
a756f14e77
C++: Only report implicit destructors if we need to translate them.
2024-04-04 14:41:23 +01:00
Mathias Vorreiter Pedersen
d4e2d37311
C++: Add a simple test that fails.
2024-04-04 11:29:25 +01:00
Mathias Vorreiter Pedersen
cf996f8600
C++: Accept test changes.
2024-04-04 11:28:33 +01:00
Robert Marsh
17e8c95e7f
C++: suppress destructors on conditional temporaries
2024-04-04 11:28:10 +01:00
Mathias Vorreiter Pedersen
894d934de8
C++: Accept test changes.
2024-04-04 11:28:01 +01:00
Jeroen Ketema
a8f27af6d8
Merge pull request #16119 from jketema/coroutine2
...
C++: Add more missing variable declaration tests
2024-04-04 11:35:52 +02:00
Robert Marsh
75c453fd30
C++: Unsuppress temporary destructors in IR
2024-04-04 10:29:59 +01:00
Jeroen Ketema
70491c4a8d
C++: Add more missing variable declaration tests
2024-04-04 10:54:09 +02:00
Tamás Vajk
7beb73729d
Merge pull request #16036 from tamasvajk/autobuilder/disposable
...
C#: Properly dispose diagnostic writer objects
2024-04-04 08:21:11 +02:00
Geoffrey White
a8742ea111
C++: PascalCase and US spelling fixes.
2024-04-03 14:17:55 +01:00
Tom Hvitved
1dc13cc169
Merge pull request #15923 from hvitved/shared-xml-impl
...
Properly shared `XML.qll` implementation
2024-04-03 11:39:50 +02:00
Tamas Vajk
305fa84186
Change IDiagnosticsWriter to implement IDisposable
2024-04-03 10:08:46 +02:00
Tamas Vajk
0f980e2b97
C#: Properly dispose diagnostic writer objects
2024-04-03 09:47:24 +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
Geoffrey White
db60360293
C++: Add a test case where a function has a MAD model *and* an implementation.
2024-04-02 17:50:00 +01:00
Geoffrey White
f2ef4ad6ac
C++: Update for the provenance changes.
2024-04-02 16:15:08 +01:00
Geoffrey White
57beb73bf7
C++: Update for the dataflow hasLocationInfo -> getLocation change made on main.
2024-04-02 16:15:06 +01:00
Geoffrey White
f1ead2554f
C++: Trivial merge fixes.
2024-04-02 16:15:05 +01:00
Geoffrey White
33164c8a43
Merge branch 'main' into mad
2024-04-02 16:14:53 +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
Jeroen Ketema
3c8c45872e
Merge pull request #16060 from jketema/qual-fix
...
C++: Output destructor calls for delete expressions
2024-04-02 11:49:51 +02:00
Mathias Vorreiter Pedersen
352e7de07d
C++: Accept test changes.
2024-04-02 10:43:10 +01:00
Jeroen Ketema
01183800a6
C++: Fix formatting
2024-04-02 11:38:19 +02:00
