Mathias Vorreiter Pedersen
f257e85511
C++: Accept test changes in PrintAST.
2023-04-04 16:21:35 +01:00
Mathias Vorreiter Pedersen
f28cf25ba2
Merge pull request #12755 from MathiasVP/aggregate-initialization-ir
...
C++: IR generation for repeated initializers
2023-04-04 15:04:55 +01:00
Mathias Vorreiter Pedersen
4033ed33d8
C++: Add evil testcase.
2023-04-04 13:50:24 +01:00
Mathias Vorreiter Pedersen
3daefa8b9e
C++: Add more tests.
2023-04-04 10:54:12 +01:00
Mathias Vorreiter Pedersen
ea180c07e4
C++: Accept test changes.
2023-04-04 10:12:03 +01:00
Mathias Vorreiter Pedersen
a0df7d22cd
C++: Add tests for designated initializers with repetitions.
2023-04-04 10:08:18 +01:00
Mathias Vorreiter Pedersen
aa337c72c2
C++: Update import paths in tests and experimental queries.
2023-04-03 15:17:37 +01:00
Jeroen Ketema
8d9b96b776
C++: Drop the bit size restriction in typeBound and use float
2023-03-31 14:36:11 +02:00
Mathias Vorreiter Pedersen
4043aa976d
Merge branch 'main' into skip-safe-conversions-in-range-analysis
2023-03-30 11:24:27 +01:00
Mathias Vorreiter Pedersen
0202bafc35
Merge pull request #12709 from MathiasVP/disable-rounding-2
...
C++: Disable floating point rounding in range analysis
2023-03-30 10:05:47 +01:00
Mathias Vorreiter Pedersen
6275a015a4
Merge pull request #12708 from MathiasVP/dont-break-ir-cfg-on-vla
...
C++: Don't produce partial CFGs when using VLAs
2023-03-30 09:16:10 +01:00
Mathias Vorreiter Pedersen
27d8f98418
C++: Replace 'int' with 'float' in tests and accept test changes.
2023-03-29 14:27:37 +01:00
Mathias Vorreiter Pedersen
a2c0e36062
C++: Accept test changes.
2023-03-29 14:25:05 +01:00
Mathias Vorreiter Pedersen
0e9ed989e0
C++: Accept test changes.
2023-03-29 14:01:01 +01:00
Mathias Vorreiter Pedersen
d4746e0508
C++: Add test with VLA.
2023-03-29 13:58:24 +01:00
Mathias Vorreiter Pedersen
8021958ac5
C++: Accept test changes.
2023-03-28 16:50:18 +01:00
Mathias Vorreiter Pedersen
4b2758f1b5
Merge branch 'main' into skip-safe-conversions-in-range-analysis
2023-03-28 10:32:13 +01:00
Jeroen Ketema
99c6111b05
C++: Add support for bounded modulus operations
2023-03-28 00:33:43 +02:00
Mathias Vorreiter Pedersen
724d97eabb
C++: Make sign analysis aware of unsigned'ness and accept test changes.
2023-03-27 23:08:12 +01:00
Mathias Vorreiter Pedersen
cbd4662696
Merge branch 'main' into skip-safe-conversions-in-range-analysis
2023-03-27 21:18:49 +01:00
Mathias Vorreiter Pedersen
1a6186496f
C++: Accept test changes.
2023-03-27 13:20:17 +01:00
Mathias Vorreiter Pedersen
61bafd358a
C++: Fix another place that assumed that 'Expr' was always 'Instruction'.
2023-03-23 13:27:24 +00:00
Mathias Vorreiter Pedersen
4d029acb11
C++: Accept test changes.
2023-03-22 16:51:39 +00:00
Mathias Vorreiter Pedersen
4cc3bfae33
C++: Fix places that assumed that 'Expr' was always 'Instruction'.
2023-03-22 16:51:38 +00:00
Mathias Vorreiter Pedersen
b0f803759c
Merge pull request #11928 from rdmarsh2/rdmarsh2/stageify-range-analysis
2023-03-18 12:42:49 +00:00
Mathias Vorreiter Pedersen
406d02253d
C++: Add 'range(x)' call demonstrating missing bounds.
2023-03-16 17:08:53 +00:00
Robert Marsh
623e39031c
C++: fix ModulusAnalysis test
2023-03-14 16:46:09 -04:00
Mathias Vorreiter Pedersen
619266d04b
C++: Fix floating point imprecision.
2023-03-08 13:24:01 +00:00
Mathias Vorreiter Pedersen
ce0f2b1788
C++: Accept test changes.
2023-03-08 13:23:58 +00:00
Mathias Vorreiter Pedersen
4cb5bea2c6
C++: Add simple negation test cases.
2023-03-08 13:23:05 +00:00
Mathias Vorreiter Pedersen
e26e83b8df
Merge pull request #11728 from github/rdmarsh2/parameterize-range-analysis
...
C++: Parameterize the semantic range analysis
2023-01-18 14:22:35 +00:00
Jeroen Ketema
06767c6760
C++: Split bad_asts.cpp IR test into two files
...
The statements from `errorExpr` - which does not parse correctly - affected the
tuples that were being generated for the other code in `bad_asts.cpp` due to
the way the front-end handles parse errors. This did not affect the test
results, but was also not the intention of the test. Split off `errorExpr` into
a separate file.
2023-01-17 18:57:29 +01:00
Robert Marsh
601b43ac0a
Merge branch 'main' into rdmarsh2/parameterize-range-analysis
...
Conflicting change to boundedPhiInp copied to RangeAnalysisStage.qll
2023-01-13 12:06:21 -05:00
Robert Marsh
938176c9da
C++: update test QL for modulus and sign analysis
...
These now instantiate their respective parameterized modules. No
results change.
2023-01-12 16:38:56 -05:00
Jeroen Ketema
e215c4c94c
C++: Accept test changes after frontend update
...
The location of a reference dereference has changed slightly.
2023-01-10 10:41:43 +01:00
Mathias Vorreiter Pedersen
a974cb1861
C++: Add another test with an _actual_ throw.
2022-12-22 10:01:41 +00:00
Mathias Vorreiter Pedersen
5fa968138c
C++: Add another test case with a throw.
2022-12-22 09:38:57 +00:00
Mathias Vorreiter Pedersen
ff6e8a285d
C++: Model semantics of '__except' condition in IR.
2022-12-21 14:08:26 +00:00
Mathias Vorreiter Pedersen
e6a03a6152
C++: Fix exception handling for '__try __except'.
2022-12-21 14:08:26 +00:00
Mathias Vorreiter Pedersen
d2964a7d4a
C++: Also handle '__finally' blocks.
2022-12-20 13:28:33 +00:00
Mathias Vorreiter Pedersen
3c8efa88e0
C++: Handle Microsoft '__try __except' in the existing 'TryStmt' IR logic.
2022-12-20 13:28:28 +00:00
Mathias Vorreiter Pedersen
cd6e421cf5
C++: Add a test with '__try __except' and '__try __finally' in the 'ir' test directory.
2022-12-20 13:28:22 +00:00
Mathias Vorreiter Pedersen
cd65e73ade
C++: Fix database inconsistency issue from ODR violation.
2022-09-30 17:04:23 +01:00
Mathias Vorreiter Pedersen
56b5010f6b
C++: Convert the SimpleRangeAnalysis test to an InlineExpectationsTest.
2022-09-30 14:23:18 +01:00
Mathias Vorreiter Pedersen
d14b2c2880
C++: Put quotes around expectation comments with spaces.
2022-09-30 14:23:18 +01:00
Mathias Vorreiter Pedersen
c4c7c95db2
C++: Add SimpleRangeAnalysis test file to the new range-analysis library test directory.
2022-09-30 14:23:14 +01:00
Mathias Vorreiter Pedersen
fc85ef76ed
C++: Introduce 'PseudoDeclarationEntry's to handle missing 'DeclarationEntry's during IR construction.
2022-09-05 22:17:14 +01:00
Mathias Vorreiter Pedersen
2da46ad691
C++: Add two testcases demonstrating malformed IR from missing declaration entries from decl stmts.
2022-09-05 17:49:20 +01:00
Jeroen Ketema
4a7ad84d02
C++: Add __func__ and __PRETTY_FUNCTION__ IR tests
2022-08-20 01:09:52 +02:00
Robert Marsh
9e0c82eabb
Merge pull request #10039 from rdmarsh2/rdmarsh2/cpp/sem-range-analysis-perf
...
C++: Fix missing bounds and performance issues in semantic range analysis
2022-08-16 12:27:02 -04:00
