Robert Marsh
|
4b4fc97221
|
Merge branch 'main' into rdmarsh2/range-analysis-overflow
|
2023-03-30 11:45:55 -04: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
|
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 |
|