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 |
|
Robert Marsh
|
7d8872bb99
|
C++: Fix for multiple for-loop variables with destructors
|
2024-02-13 00:40:19 +00:00 |
|
Robert Marsh
|
6663420d39
|
C++: test for multiple for loop variables with destructors
|
2024-02-13 00:35:56 +00:00 |
|
Robert Marsh
|
b94c4a6e1b
|
C++: fix for destructor of while-loop condition
|
2024-02-13 00:13:22 +00:00 |
|
Robert Marsh
|
bac7e46b0f
|
C++: tests for destructors after a while-loop condition
|
2024-02-12 23:55:42 +00:00 |
|
Robert Marsh
|
1b571f8992
|
C++: Accept test changes
|
2024-02-09 22:32:08 +00:00 |
|
Robert Marsh
|
174966164d
|
Merge branch 'main' into rdmarsh2/cpp/ir-synthetic-destructors
|
2024-02-07 18:25:12 +00:00 |
|
Mathias Vorreiter Pedersen
|
fe5eca4134
|
C++: Accept test changes.
|
2024-02-07 11:45:40 +00:00 |
|
Mathias Vorreiter Pedersen
|
d0b0440427
|
C++: Add a testcase with failing IR generation.
|
2024-02-07 11:38:02 +00:00 |
|
Robert Marsh
|
5653c3f972
|
C++: Update IR test expectations for named destructors
|
2024-02-06 21:04:52 +00:00 |
|
Robert Marsh
|
40e06b7877
|
C++: suppress destructor calls on delete in IR generation
This avoids an issue with duplicated qualifiers that was causing broken control flow
|
2024-02-06 14:55:00 +00:00 |
|
Robert Marsh
|
bbabf1dfcc
|
C++: add test for constructors in C++17 decl-in-if
|
2024-02-05 18:41:18 +00:00 |
|
Robert Marsh
|
2d010f69c6
|
C++: Test for destructors in declaration as if condition
|
2024-02-02 17:39:27 +00:00 |
|
Robert Marsh
|
984c7ab85a
|
C++: test for declarations in if statement
|
2024-02-02 17:39:26 +00:00 |
|
Robert Marsh
|
4513fd1b52
|
C++: test for destructors in range-based for
|
2024-02-02 17:39:26 +00:00 |
|
Robert Marsh
|
820f4a5571
|
C++: custom destructor handling for for loops
|
2024-02-02 17:39:23 +00:00 |
|
Robert Marsh
|
85d1d079c8
|
C++: Add implicit named destructosrs to the IR CFG
|
2024-02-02 17:36:02 +00:00 |
|
Mathias Vorreiter Pedersen
|
33e37536df
|
C++: Accept test changes.
|
2024-01-30 11:32:50 +00:00 |
|
Mathias Vorreiter Pedersen
|
a391f7802d
|
C++: Add a test.
|
2024-01-27 13:08:52 +00:00 |
|
Robert Marsh
|
3970a9fe39
|
C++: switch to getImplicitDestructorCall
|
2024-01-24 18:52:54 +00:00 |
|
Mathias Vorreiter Pedersen
|
98bf748e64
|
C++: Accept test changes.
|
2023-11-23 16:53:57 +00:00 |
|
Anders Schack-Mulligen
|
bf6cfd3bef
|
Rangeanalysis: Simplify api.
|
2023-11-13 10:35:44 +01:00 |
|
Mathias Vorreiter Pedersen
|
1c8f474848
|
C++: Add comment as suggested in the PR review for #14708.
|
2023-11-07 15:16:38 +00:00 |
|
Mathias Vorreiter Pedersen
|
2787f0a0fc
|
Merge pull request #14708 from MathiasVP/add-testcase-for-range-analysis
C++: Add range analysis testcase
|
2023-11-07 15:15:45 +00:00 |
|
Mathias Vorreiter Pedersen
|
9dca6697fb
|
C++: Add a testcase that fails to terminate in modulus analysis when we don't have IR operands as SSA variables.
|
2023-11-07 11:52:35 +00:00 |
|
Mathias Vorreiter Pedersen
|
e91987b1a9
|
C++: Accept test changes.
|
2023-11-06 16:02:06 +00:00 |
|
Anders Schack-Mulligen
|
7bf271fb6c
|
RangeAnalysis: Improve bounds that rely on relative modulus.
|
2023-11-02 12:51:48 +01:00 |
|
Anders Schack-Mulligen
|
7c3684dbb7
|
RangeAnalysis: Rename semExprModulus to exprModulus.
|
2023-11-02 08:19:23 +01:00 |
|
Anders Schack-Mulligen
|
400910e4d3
|
C++: Fix modulus analysis test.
|
2023-11-02 08:19:23 +01:00 |
|
Mathias Vorreiter Pedersen
|
b9dfeb3aac
|
Merge pull request #14444 from alexet/range-cases
CPP: Add some range analysis cases
|
2023-10-31 15:55:41 +01:00 |
|
Alexander Eyers-Taylor
|
11152deeb5
|
Update cpp/ql/test/library-tests/ir/range-analysis/SimpleRangeAnalysis_tests.cpp
Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>
|
2023-10-31 13:52:33 +00:00 |
|
Alex Eyers-Taylor
|
fb0f9ec601
|
CPP: Add missing rnage analysis ranges in test.
|
2023-10-30 14:17:03 +00:00 |
|
Mathias Vorreiter Pedersen
|
572cec2c55
|
C++: Accept test changes.
|
2023-10-27 15:00:25 +01:00 |
|
Mathias Vorreiter Pedersen
|
d6b6c432d9
|
C++: Add test with incorrect IR due to wrong model.
|
2023-10-27 14:53:06 +01:00 |
|
Anders Schack-Mulligen
|
06fe10bbe9
|
Rangeanalysis: Bugfix division with float representation.
|
2023-10-25 11:17:02 +02:00 |
|
Anders Schack-Mulligen
|
7b214a24df
|
C++: Add division test
|
2023-10-25 11:17:02 +02:00 |
|
Anders Schack-Mulligen
|
ec39de20d8
|
C++: Convert to qlpack version of core range analysis.
|
2023-10-25 11:17:01 +02:00 |
|
Mathias Vorreiter Pedersen
|
6c10ba2fb1
|
Merge pull request #14495 from github/calumgrant/comp-generated-this
C++: Fix ImplicitThisFieldAccess
|
2023-10-20 15:25:26 +01:00 |
|
Jeroen Ketema
|
a972d0943a
|
C++: Accept test changes after changes in IR generation
|
2023-10-19 10:45:14 +02:00 |
|
Jeroen Ketema
|
7e71d9e619
|
C++: Update expected test results after outputting less loads from the extractor
|
2023-10-19 10:45:14 +02:00 |
|
Jeroen Ketema
|
8b8a2726d4
|
C++: Accept semantic range analysis test changes due to extra loads in the IR
|
2023-10-19 10:45:13 +02:00 |
|
Jeroen Ketema
|
5036135f01
|
C++: Fix IR generation for the comma operator
|
2023-10-19 10:45:13 +02:00 |
|
Jeroen Ketema
|
a6dae91215
|
C++: Accept IR test changes after value category updates
|
2023-10-19 10:45:12 +02:00 |
|
Calum Grant
|
c51efb1477
|
C++: Tighten up definitions of field accesses
|
2023-10-18 11:39:09 +01:00 |
|
Alex Eyers-Taylor
|
3ac3169278
|
CPP: Add some range analysis cases
|
2023-10-10 20:01:14 +01:00 |
|
Mathias Vorreiter Pedersen
|
0e9f5f6b8e
|
C++: Accept test changes.
|
2023-09-18 11:46:19 +01:00 |
|
Mathias Vorreiter Pedersen
|
53561b7883
|
C++: Add tests for sized allocation without a need for a synthesized conversion.
|
2023-09-18 11:45:18 +01:00 |
|
Alex Eyers-Taylor
|
43a72f2a8e
|
CPP:Add tests for the aliased IR.
|
2023-09-07 13:42:31 +01:00 |
|