2994 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	35e91bafa7	C++: Introduce 'indirect_sink' in dataflow tests.	2023-05-16 17:39:53 +01:00
Mathias Vorreiter Pedersen	c45032844e	C++: Add example with conflation in dataflow.	2023-05-16 16:34:20 +01:00
Jeroen Ketema	eb493a1981	C++: Add FP test case for cpp/invalid-pointer-deref ... Also add reduced range analysis test case that seems to expose the underlying reason for the FP.	2023-05-12 16:25:34 +02:00
Mathias Vorreiter Pedersen	720586c437	Merge pull request #13059 from MathiasVP/remove-self-edges ... C++: Remove self edges	2023-05-10 09:04:08 +01:00
Kasper Svendsen	c46898cb75	C++: Make implicit this receivers explicit	2023-05-09 15:35:54 +02:00
Mathias Vorreiter Pedersen	89bf335900	C++: Accept test changes.	2023-05-05 16:44:41 +01:00
Mathias Vorreiter Pedersen	b43702451f	C++: Remove self edges from post-update SSA.	2023-05-05 15:47:00 +01:00
Mathias Vorreiter Pedersen	4048915c8c	C++: Remove self edges from non-post-update SSA.	2023-05-05 15:45:44 +01:00
Mathias Vorreiter Pedersen	c0b3a1896b	C++: No phi self-edges.	2023-05-05 12:16:52 +01:00
Mathias Vorreiter Pedersen	09ba9a74ce	Merge pull request #12959 from MathiasVP/identity-consistency-check ... DataFlow: Add an "identity-step" consistency check	2023-05-05 10:03:20 +01:00
Jeroen Ketema	0b2f5609d6	Merge pull request #12982 from rdmarsh2/rdmarsh2/ir-guards-unreached ... C++: Handle nonreturning functions in IR generation	2023-05-03 23:20:46 +02:00
Mathias Vorreiter Pedersen	2a4b17608f	C++: Accept test changes.	2023-05-03 22:04:11 +01:00
Mathias Vorreiter Pedersen	77001a070b	Merge branch 'main' into identity-consistency-check	2023-05-03 22:01:06 +01:00
Mathias Vorreiter Pedersen	5dc9d9a10f	C++: Accept consistency changes.	2023-05-03 20:29:17 +01:00
Mathias Vorreiter Pedersen	2af48e2536	Merge pull request #12970 from MathiasVP/barrier-guards-for-indirect-expressions ... C++: Barrier guards API for indirect expressions	2023-05-03 18:14:01 +01:00
Robert Marsh	c6e0ee2695	C++: fix duplicated UnreachedInstruction in raw IR	2023-05-01 22:54:37 -04:00
Robert Marsh	c01ee597fa	C++: handle calls to noreturn functions	2023-05-01 22:25:12 -04:00
Mathias Vorreiter Pedersen	a7d238f4c4	C++: Accept consistency changes.	2023-04-28 22:41:58 +01:00
Mathias Vorreiter Pedersen	8c8b919dfb	C++: Add an API for indirect barrier guards and use it in tests.	2023-04-28 14:09:08 +01:00
Mathias Vorreiter Pedersen	a6adf825bc	C++: Add a test that needs indirect barrier guards.	2023-04-28 13:56:31 +01:00
Mathias Vorreiter Pedersen	0f0384cff6	C++: Rewrite the barrier guard tests to be expression based. This is really what we expect people to write in queries.	2023-04-28 13:49:01 +01:00
Mathias Vorreiter Pedersen	c35cb70c9f	C++: Fix inconsistencies.	2023-04-28 10:40:18 +01:00
Mathias Vorreiter Pedersen	24d1cac9d7	C++: Accept test changes.	2023-04-28 10:25:07 +01:00
Mathias Vorreiter Pedersen	3eca60cc40	C++: Add static local testcases.	2023-04-28 10:23:36 +01:00
Mathias Vorreiter Pedersen	b18e096f7f	C++: Fix missing result for 'getFunction' and accept test changes.	2023-04-26 18:01:39 +01:00
Mathias Vorreiter Pedersen	1dcac76992	C++: Add a weird testcase demonstrating invalid IR.	2023-04-26 17:48:02 +01:00
Mathias Vorreiter Pedersen	3d381331e1	C++: Add a test with global variable templates.	2023-04-26 15:00:32 +01:00
Mathias Vorreiter Pedersen	3f03cc27cd	C++: Accept test changes.	2023-04-25 17:51:04 +01:00
Mathias Vorreiter Pedersen	9cc4bfec2a	C++: Accept test changes.	2023-04-25 17:51:04 +01:00
Mathias Vorreiter Pedersen	d14ee931e1	C++: IR translation for non-runtime-initialized static local variables.	2023-04-25 17:51:04 +01:00
Jeroen Ketema	1a876f7762	C++: Update test expectations after extractor changes	2023-04-19 14:12:00 +02:00
Mathias Vorreiter Pedersen	bb8c3de6b2	Merge pull request #12599 from rdmarsh2/rdmarsh2/range-analysis-overflow ... C++: add overflow detection to new range analysis	2023-04-17 20:18:44 +01:00
Mathias Vorreiter Pedersen	d833850850	C++: another 'fix test after module rename'.	2023-04-17 17:48:22 +01:00
Robert Marsh	2b41aef6a7	C++: autoformat	2023-04-17 11:36:17 -04:00
Robert Marsh	ea7996f1bb	C++: fix test after module rename	2023-04-17 11:30:04 -04:00
Robert Marsh	18c3feb9d8	C++: remove commented-out code ... Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>	2023-04-11 10:41:18 -04:00
Robert Marsh	915c969efe	Merge branch 'main' into rdmarsh2/range-analysis-overflow	2023-04-05 16:19:55 -04:00
Mathias Vorreiter Pedersen	f257e85511	C++: Accept test changes in PrintAST.	2023-04-04 16:21:35 +01:00
Mathias Vorreiter Pedersen	f2197e67f5	C++: Deprecate single-parameter 'getFieldExpr' and 'getElementExpr'.	2023-04-04 15:14:27 +01:00
Mathias Vorreiter Pedersen	f28cf25ba2	Merge pull request #12755 from MathiasVP/aggregate-initialization-ir ... C++: IR generation for repeated initializers	2023-04-04 15:04:55 +01:00
Robert Marsh	e4ae957cdd	C++: More fixes to overflow detection	2023-04-04 09:31:03 -04:00
Mathias Vorreiter Pedersen	4033ed33d8	C++: Add evil testcase.	2023-04-04 13:50:24 +01:00
Mathias Vorreiter Pedersen	3daefa8b9e	C++: Add more tests.	2023-04-04 10:54:12 +01:00
Mathias Vorreiter Pedersen	ea180c07e4	C++: Accept test changes.	2023-04-04 10:12:03 +01:00
Mathias Vorreiter Pedersen	a0df7d22cd	C++: Add tests for designated initializers with repetitions.	2023-04-04 10:08:18 +01:00
Mathias Vorreiter Pedersen	aa337c72c2	C++: Update import paths in tests and experimental queries.	2023-04-03 15:17:37 +01:00
Jeroen Ketema	8d9b96b776	C++: Drop the bit size restriction in typeBound and use float	2023-03-31 14:36:11 +02:00
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