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 |
|
Jeroen Ketema
|
d65b9ef32c
|
Merge pull request #12661 from geoffw0/elementstests
C++: Restrict tests that output all elements
|
2023-03-27 09:04:11 +02: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 |
|
Gulshan Singh
|
b87f12d5b2
|
C++: Add StrlenLiteralRangeExpr
|
2023-03-24 08:51:35 -07: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 |
|
Jeroen Ketema
|
574b2201cb
|
Merge pull request #12608 from jketema/configsig
C++: Use `DataFlow::ConfigSig` in more places
|
2023-03-21 14:37:32 +01:00 |
|
Mathias Vorreiter Pedersen
|
2ce0d2b7ee
|
C++: Accept more test changes.
|
2023-03-21 10:07:23 +00:00 |
|
Mathias Vorreiter Pedersen
|
40cc2e7891
|
C++: Also exclude unevaluated buffers in 'OverflowStatic'.
|
2023-03-21 09:53:39 +00:00 |
|
Mathias Vorreiter Pedersen
|
4d2a1ea149
|
C++: Also add a FP test to 'OverflowStatic'.
|
2023-03-21 09:50:47 +00:00 |
|
Mathias Vorreiter Pedersen
|
8623d8eb8e
|
C++: Exclude unevaluated expressions from BufferAccess.
|
2023-03-21 09:48:09 +00:00 |
|
Mathias Vorreiter Pedersen
|
b37bb660c5
|
C++: Add FP caused by a BufferAccess inside an unevalauted context.
|
2023-03-21 09:37:18 +00:00 |
|
Jeroen Ketema
|
1f75c3836e
|
C++: Refactor dataflow examples to use DataFlow::ConfigSig
|
2023-03-21 09:16:58 +01: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 |
|
Nicky Mouha
|
2de0e2209e
|
Update test.cpp
|
2023-03-16 02:34:40 -04: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 |
|
Nicky Mouha
|
a2b5fbf24c
|
Create IfStatementAdditionOverflow.expected
|
2023-03-12 03:31:48 -04:00 |
|
Nicky Mouha
|
66710ad5a0
|
Create IfStatementAdditionOverflow.qlref
|
2023-03-12 03:30:26 -04:00 |
|
Nicky Mouha
|
59c1ae7734
|
Update test.cpp
|
2023-03-12 03:27:10 -04:00 |
|
Nicky Mouha
|
2477c3a1c2
|
Update test.cpp
|
2023-03-12 03:25:52 -04:00 |
|
Nicky Mouha
|
91a9a7eb32
|
Create test.cpp
|
2023-03-12 01:13:32 -05:00 |
|
Jeroen Ketema
|
de97ae38dc
|
C++: C++: Use getAUse in getIRRepresentationOfIndirectOperand
|
2023-03-09 15:15:00 +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 |
|