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
65c7a504b2
C++: Accept test changes.
2023-03-29 15:08:50 +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
Geoffrey White
202a717085
C++: Autoformat.
2023-03-24 22:10:51 +00:00
Geoffrey White
536c1939c0
C++: ... and rename the test to fit.
2023-03-24 19:50:13 +00:00
Geoffrey White
7096318884
C++: Focus the templates extern test on Declarations.
2023-03-24 19:50:13 +00:00
Geoffrey White
b5de2a5985
C++: Focus the lambda captures test on stuff inside the lambdas (including some that don't currently have locations).
2023-03-24 19:50:13 +00:00
Geoffrey White
d5b9cea4bc
C++: Focus the CPP-205 test on the templates.
2023-03-24 17:45:36 +00:00
Geoffrey White
41a5dc8efe
C++: Restrict tests that report all Elements to Elements in files.
2023-03-24 17:06:47 +00:00
Mathias Vorreiter Pedersen
125c013052
Merge branch 'main' into skip-safe-conversions-in-range-analysis
2023-03-24 17:01:11 +00:00
Mathias Vorreiter Pedersen
61bafd358a
C++: Fix another place that assumed that 'Expr' was always 'Instruction'.
2023-03-23 13:27:24 +00:00
Anders Schack-Mulligen
72415c7c2c
C++: Rename references.
2023-03-23 13:06:19 +01: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
Robert Marsh
0f4157c534
C++: Add overflow detection to new range analysis
2023-03-21 11:01:58 -04: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
Jeroen Ketema
8aa9207281
Merge remote-tracking branch 'upstream/main' into mathiasvp/replace-ast-with-ir-use-usedataflow
2023-03-16 10:28:44 +01:00
Tom Hvitved
b3ef1e9372
C++: Update expected test output
2023-03-16 08:40:53 +01:00
Robert Marsh
623e39031c
C++: fix ModulusAnalysis test
2023-03-14 16:46:09 -04:00
Mathias Vorreiter Pedersen
00450d10bb
Merge branch 'main' into mathiasvp/replace-ast-with-ir-use-usedataflow
2023-03-13 14:50:17 +01:00
Robert Marsh
64f23ebb4d
Merge pull request #12436 from MathiasVP/ir-range-analysis-for-unary-minus
...
C++: IR-based range analysis for unary minus
2023-03-13 09:02:38 -04:00
Jeroen Ketema
bd47c4f9ec
C++: Update .expected after frontend changes
2023-03-13 09:40:10 +01:00
Jeroen Ketema
e5ce27fbf9
C++: Fix a number of instances where a dataflow node did not have a location
2023-03-09 10:32:30 +01:00
Jeroen Ketema
791f5913d2
C++: Fix multiple getLocation consistency error in use-use dataflow
2023-03-09 10:25:02 +01:00
Jeroen Ketema
55da3257bf
C++: Fix multiple toString consistency error in use-use dataflow
2023-03-09 10:08:25 +01:00
Jeroen Ketema
a2248cb5a0
C++: Use getAUse in getIRRepresentationOfOperand
2023-03-09 09:45:54 +01:00
Jeroen Ketema
6f2407412e
C++: Update some dataflow tests to use DataFlow::ConfigSig
2023-03-08 15:04:53 +01: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
263b208282
C++: Disambiguate a test annotation.
2023-03-08 09:07:07 +00:00
Mathias Vorreiter Pedersen
eea02e1ac1
C++: Accept test changes.
2023-03-07 16:18:43 +00:00
Mathias Vorreiter Pedersen
63690066c5
Merge branch 'main' into mathiasvp/replace-ast-with-ir-use-usedataflow
2023-03-07 13:06:43 +00:00
Jeroen Ketema
c9bccd9b43
C++: Fix more tests that used deprecated function
2023-03-07 09:01:13 +01:00
Jeroen Ketema
72d03e4060
C++: Fix test that used deprecated function
2023-03-06 09:07:52 +01:00
Jeroen Ketema
620c69df12
C++: Add more static qualifiers in syntax zoo test
2023-03-03 15:03:31 +01:00
Jeroen Ketema
87b1c3eaa8
Merge pull request #12381 from jketema/silence
...
C++: Silence some more bogus consistency errors in syntax zoo
2023-03-03 12:51:39 +01:00
Mathias Vorreiter Pedersen
16e817c814
Merge pull request #12356 from MathiasVP/use-phi-reads
...
C++: Include "phi reads" in `DataFlow::Node`
2023-03-03 11:14:08 +00:00
Jeroen Ketema
4faede0e2c
C++: Silence some more bogus consistency errors in syntax zoo
...
These were due to several functions occurring that would have the same TRAP key.
By making the functions static or wrapping the defining class in an anonymous
namespace the TRAP keys will differ from each other.
2023-03-03 12:07:33 +01:00
Jeroen Ketema
f649def3f8
C++: Silence a number of bogus consistency errors in syntax zoo
...
These were due to several functions occurring that would have the same TRAP
key. By making the functions static the TRAP keys will differ from each other.
2023-03-03 11:16:19 +01:00
