Alexander Eyers-Taylor
b8d45ae927
Update cpp/ql/test/library-tests/dataflow/dataflow-tests/flowOut.cpp
...
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com >
2023-10-30 14:04:45 +00:00
Mathias Vorreiter Pedersen
a077b70d66
C++: Accept test changes.
2023-10-30 11:54:24 +00:00
Alex Eyers-Taylor
60f3598da9
CPP: Add dataflow FP with output arguments
2023-10-27 19:07:10 +01:00
Mathias Vorreiter Pedersen
33494fe9e1
C++: Extend the taint model and accept test changes.
2023-10-27 16:26:37 +01:00
Mathias Vorreiter Pedersen
e4683449cb
C++: Add failing test.
2023-10-27 16:26:37 +01: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
Mathias Vorreiter Pedersen
30ecb4b0c8
Merge pull request #14588 from aschackmull/shared/rangeanalysis
...
C++/Java: Share core range analysis
2023-10-26 16:32:46 +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
032572b924
C++: Fix 'strtok' model.
2023-10-25 09:39:36 +01:00
Mathias Vorreiter Pedersen
f54379d096
C++: Add failing test.
2023-10-25 09:38:49 +01:00
Mathias Vorreiter Pedersen
67ed12c916
C++: Correctly model that 'operator->', and 'get'
...
on smart pointers perform a load.
2023-10-23 20:11:23 +01:00
Mathias Vorreiter Pedersen
b107c4c641
C++: Fix missing result in 'ModelUtil'. The problem was that 'n.asInstruction()' on line 81 wasn't necessarily a 'CallInstruction' (it could be a conversion).
2023-10-23 19:34:25 +01:00
Mathias Vorreiter Pedersen
c0b04eac7c
C++: Add failing test.
2023-10-23 19:29:28 +01: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
Mathias Vorreiter Pedersen
0ab159f803
Merge pull request #14135 from github/sashabu/frontend-update
...
C++: Update for changes in frontend.
2023-10-19 11:40:24 +01:00
Jeroen Ketema
a972d0943a
C++: Accept test changes after changes in IR generation
2023-10-19 10:45:14 +02:00
Jeroen Ketema
2a64552979
C++: Add support for C23/C++23 floating-point types
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
0fceecee6d
C++: Fix extractor options for deprecated_with_msg test
...
The previous extractor options no longer work, because the default assumed
compiler versions have changed in the frontend.
2023-10-19 10:45:13 +02:00
Jeroen Ketema
e271c7e5e7
C++: Accept IR GVN test changes a CopyValue is now Load due to IR changes
2023-10-19 10:45:13 +02:00
Jeroen Ketema
91a98f3512
C++: Accept new dataflow IR inconsistencies
...
These are due to additional loads being generated on fields, and should not
cause any problems. Ideally, we should tune the definition of
`TPostFieldUpdateNode` to make these go away.
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
Mathias Vorreiter Pedersen
9a2c1daebe
C++: Add tests for 'AdditionalCallTarget'.
2023-10-17 11:48:44 +01:00
Calum Grant
552221868f
C++: Expand ImplicitThisFieldAccess
2023-10-13 12:05:20 +01:00
Alex Eyers-Taylor
3ac3169278
CPP: Add some range analysis cases
2023-10-10 20:01:14 +01:00
Mathias Vorreiter Pedersen
496f190d70
C++: Accept test changes.
2023-10-10 16:45:31 +01:00
Henry Mercer
f3847b3f51
Merge branch 'main' into henrymercer/rc-3.11-mergeback
2023-10-03 16:30:23 +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
Mathias Vorreiter Pedersen
cdf5872eb3
Merge pull request #14217 from alexet/is-trivial-built-in
...
CPP:Make __is_trivial a builtin operation.
2023-09-15 16:01:25 +01:00
Mathias Vorreiter Pedersen
b0566af938
C++: Accept test changes.
2023-09-14 14:04:12 +01:00
Mathias Vorreiter Pedersen
2a55034e55
C++: Add failing test.
2023-09-14 14:01:48 +01:00
Alex Eyers-Taylor
d79a2c7674
CPP:Make __is_trivial a builtin operation.
2023-09-14 12:50:36 +01:00
Tom Hvitved
c9910f5464
C++: Update expected test output
2023-09-12 20:05:12 +02:00
Mathias Vorreiter Pedersen
becb469477
Merge branch 'main' into deduplicate-dataflow-results-take-3
2023-09-11 09:55:11 +01:00
Mathias Vorreiter Pedersen
9f89c63771
C++: Accept test changes.
2023-09-08 17:07:26 +01:00
Mathias Vorreiter Pedersen
d5442ec9c5
C++: Add regression test.
2023-09-08 13:10:04 +01:00
Alex Eyers-Taylor
43a72f2a8e
CPP:Add tests for the aliased IR.
2023-09-07 13:42:31 +01:00
Alex Eyers-Taylor
b44c4587a4
CPP: Remove sucessors of non-returning IR calls.
2023-09-07 12:58:20 +01:00
Alex Eyers-Taylor
e8dfecc4a4
CPP: Fix test result
2023-09-07 12:49:13 +01:00
Alex Eyers-Taylor
d603b7ac3c
CPP: Make functions that reach the end return.
...
This is UB in C++ but not C where it is only bad if the result is used.
2023-09-07 12:39:48 +01:00
Mathias Vorreiter Pedersen
20f501d1c7
C++: Change queries to use 'asExpr' instead of 'asConvertedExpr'.
2023-09-01 15:01:32 +01:00
Mathias Vorreiter Pedersen
f1c4fa2345
C++: When we generate a string for the node we avoid multiple results by only using the 0'th result from the 'asExpr' predicate. However, when we want to convert between nodes and expressions we don't care about which one we get.
2023-09-01 14:04:52 +01:00
Mathias Vorreiter Pedersen
d2bb73ba1f
C++: Use the index to to get the 'most converted' and 'least converted' instruction in a bunch of places.
2023-09-01 13:47:06 +01:00
