Jeroen Ketema
d80eff330b
C++: Add test for __declspec attribute on a global variable
2023-08-04 10:35:32 +02:00
Jeroen Ketema
f7923d93f1
C++: Add semantic range analysis test as IR test
...
The range analysis test currently fails with the frontend update, because the
generated IR is incorrect after the update.
2023-08-03 10:13:23 +02:00
Mathias Vorreiter Pedersen
d111fa7e94
Merge pull request #13862 from jketema/ir-test
...
C++: Add IR test that shows dataflow regression after frontend update
2023-08-01 10:06:49 +02:00
Jeroen Ketema
ef8d95f87d
C++: Add IR test that shows dataflow regression after frontend update
2023-08-01 09:01:39 +02:00
Jeroen Ketema
0bc75ea9b7
C++: Add forgotten parentheses in ternary IR test
...
Without the parentheses, the expressions are parsed as `a ? x : (y = val)`.
2023-07-29 18:44:28 +02:00
Jeroen Ketema
4fcb576099
Merge branch 'main' into print-global
2023-07-25 14:10:33 +02:00
Jeroen Ketema
645028e219
C++: Add more IR tests for the ternary operator
2023-07-24 11:22:27 +02:00
Jeroen Ketema
4c9c5d8f0c
C++: Add IR SSA test case for the ternary operator
2023-07-21 10:22:34 +02:00
Jeroen Ketema
e76dc4a1f9
C++: Support printing of global and namespace variables in PrintAST
2023-07-20 11:43:55 +02:00
Jeroen Ketema
2a63116fc2
C++: Rename shouldPrintFunction to shouldPrintDeclaration
2023-07-19 16:55:43 +02:00
Anders Schack-Mulligen
ae24d68b5d
C/C++/C#/Java/Python/Ruby/Swift: Adjust expected output.
2023-07-19 11:41:15 +02:00
Jeroen Ketema
aad094bdd0
C++: Handle FunctionAccesses with qualifiers
...
Also fix the IR generation for these and add more IR tests involving value
categories.
2023-07-18 16:35:39 +02:00
Jeroen Ketema
5d8b203112
Merge pull request #13758 from jketema/val-cat-tests
...
C++: Add more IR tests
2023-07-18 11:02:27 +02:00
Jeroen Ketema
e2de94b233
C++: Add more IR tests
...
These show the value categories for more static member calls, and show that
a load occurs when a `volatile` variable is being used in an empty context.
2023-07-18 08:40:54 +02:00
Jeroen Ketema
a426010b06
Merge pull request #13621 from MathiasVP/deprecate-ast-dataflow
...
C++: Deprecate AST dataflow
2023-07-18 08:13:47 +02:00
Mathias Vorreiter Pedersen
8c21699040
C++: Accept test changes.
2023-07-17 10:51:42 +01:00
Jeroen Ketema
de3251a634
C++: Add assignment operation IR test where the result is being used
2023-07-10 17:55:50 +02:00
Jeroen Ketema
8bc8ef4dda
C++: Support pointer addition and subtraction in the IRGuards library
...
It seems this was something supported by the AST Guards library
2023-07-06 16:54:44 +02:00
Jeroen Ketema
7bb77abac7
C++: Add IR tests that cause regressions after extractor frontend update
2023-07-05 14:01:11 +02:00
Mathias Vorreiter Pedersen
a4d03371e5
Update cpp/ql/test/library-tests/dataflow/dataflow-tests/test.cpp
...
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com >
2023-06-30 11:10:15 +01:00
Mathias Vorreiter Pedersen
655f1feac0
C++: Accept test changes.
2023-06-28 14:40:50 +01:00
Mathias Vorreiter Pedersen
25be9d48bc
C++: Add tests with FPs that need call contexts.
2023-06-28 14:37:04 +01:00
Robert Marsh
e90153fc47
C++: fix irreducible control flow logic
2023-06-27 16:52:45 -04:00
Jeroen Ketema
b1ae3a0a7b
Merge remote-tracking branch 'upstream/main' into clears-content
2023-06-27 13:45:33 +02:00
Mathias Vorreiter Pedersen
06bc460868
Merge pull request #13528 from rdmarsh2/rdmarsh2/cpp/range-analysis-back-edge
...
C++: fix range analysis back edge detection for irreducible CFGs
2023-06-27 09:14:44 +01:00
Jeroen Ketema
527b537fee
Apply suggestions from code review
...
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com >
2023-06-26 12:57:43 +02:00
Jeroen Ketema
458522a656
C++: Implement clearsContent for IR dataflow
2023-06-26 12:11:03 +02:00
Robert Marsh
69ee615119
Merge pull request #13515 from MathiasVP/dataflow-fix-for-self-iterators
...
C++: Dataflow fix for the self-iterators issue
2023-06-23 13:50:23 -04:00
Mathias Vorreiter Pedersen
79fb6a6079
C++: Accept test changes.
2023-06-22 19:34:05 +01:00
Mathias Vorreiter Pedersen
da54751d85
C++: Add testcase that demonstrate the need for self-flow out of indirect parameters.
2023-06-22 19:33:13 +01:00
Mathias Vorreiter Pedersen
fe97572f70
C++: Fix strncpy model.
2023-06-22 10:59:12 +01:00
Mathias Vorreiter Pedersen
273e5bc21f
C++: Add testcase demonstrating that the model for 'strncpy' is broken.
2023-06-22 10:59:12 +01:00
Mathias Vorreiter Pedersen
c7cff373de
C++: Add another testcase with conflation.
2023-06-22 10:59:12 +01:00
Mathias Vorreiter Pedersen
6543da9990
C++: Accept test changes.
2023-06-22 10:59:11 +01:00
Mathias Vorreiter Pedersen
5816f177c9
C++: Add failing test.
2023-06-22 10:59:11 +01:00
Robert Marsh
ba7cb8f4ae
C++: fix range analysis back edge detection for irreducible CFGs
2023-06-21 17:54:52 -04:00
Mathias Vorreiter Pedersen
2b0282ca12
C++: Accept test changes.
2023-06-20 13:05:25 +01:00
Robert Marsh
971456c725
C++: add a test for self-valued iterators
2023-06-20 12:59:27 +01:00
Mathias Vorreiter Pedersen
74ed9f535c
Merge pull request #13406 from MathiasVP/fix-++-problem
...
C++: Fix the `++` problem
2023-06-09 11:20:00 +01:00
Mathias Vorreiter Pedersen
57ae1e9ff7
C++: Add a testcase that started to fail in #13326 .
2023-06-08 12:49:08 +01:00
erik-krogh
a4ef8619c6
delete old deprecations
2023-06-08 10:10:21 +02:00
Mathias Vorreiter Pedersen
9828af45a1
C++: Change separator from ':' to '|'.
2023-05-26 15:23:48 -07:00
Mathias Vorreiter Pedersen
0d1d20c75b
C++: Change range-analysis test to not use 'getAst'. This was creating confusing test expectation annotations.
2023-05-25 15:50:29 -07:00
Robert Marsh
7404bd9c4b
Merge branch 'main' into rdmarsh2/cpp/cobo-neq-refinement
2023-05-24 14:13:38 -04:00
Jeroen Ketema
2276890cec
C++: Rewrite inline expectation tests to use the parameterized module
2023-05-24 11:10:05 +02:00
Mathias Vorreiter Pedersen
8daa8d78ff
Merge pull request #13246 from MathiasVP/fix-pointer-pointee-conflation-2
...
C++: Fix more pointer/pointee conflation
2023-05-23 12:03:29 -07:00
Jeroen Ketema
aeb6293757
C++: Rewrite flow test common to use inline expectation test module
...
This also rewrites all uses of flow test common to use `DataFlow::ConfigSig`.
Note that the removed deprecated aliases are 14 months old by now and, hence,
can be safely removed.
2023-05-23 16:34:41 +02:00
Jeroen Ketema
3efc78ed49
Add default for hasOptionalResult
2023-05-23 12:32:11 +02:00
Jeroen Ketema
adbf66a365
C++: Rewrite inline expectation test to demonstrate MergeTests
2023-05-23 12:29:06 +02:00
Jeroen Ketema
9228e0deed
C++: Rewrite local flow test to use TestSig
2023-05-23 12:29:06 +02:00
