60 Commits

Author	SHA1	Message	Date
Jeroen Ketema	0e34ee18df	C++: Update expected test results after frontend update	2025-06-04 14:03:43 +02:00
Michael Nebel	12008b4b4e	C++: Update all test util paths to point to the new location.	2024-12-12 13:21:34 +01:00
Jeroen Ketema	1420f564a5	C++: Update expected test results	2024-12-03 19:18:55 +01:00
Mathias Vorreiter Pedersen	56a132fa8e	C++: Accept test changes.	2024-04-04 14:41:24 +01:00
Mathias Vorreiter Pedersen	1c8f474848	C++: Add comment as suggested in the PR review for #14708.	2023-11-07 15:16:38 +00:00
Mathias Vorreiter Pedersen	2787f0a0fc	Merge pull request #14708 from MathiasVP/add-testcase-for-range-analysis ... C++: Add range analysis testcase	2023-11-07 15:15:45 +00:00
Mathias Vorreiter Pedersen	9dca6697fb	C++: Add a testcase that fails to terminate in modulus analysis when we don't have IR operands as SSA variables.	2023-11-07 11:52:35 +00:00
Mathias Vorreiter Pedersen	e91987b1a9	C++: Accept test changes.	2023-11-06 16:02:06 +00:00
Anders Schack-Mulligen	7bf271fb6c	RangeAnalysis: Improve bounds that rely on relative modulus.	2023-11-02 12:51:48 +01:00
Mathias Vorreiter Pedersen	b9dfeb3aac	Merge pull request #14444 from alexet/range-cases ... CPP: Add some range analysis cases	2023-10-31 15:55:41 +01:00
Alexander Eyers-Taylor	11152deeb5	Update cpp/ql/test/library-tests/ir/range-analysis/SimpleRangeAnalysis_tests.cpp ... Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>	2023-10-31 13:52:33 +00:00
Alex Eyers-Taylor	fb0f9ec601	CPP: Add missing rnage analysis ranges in test.	2023-10-30 14:17:03 +00: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
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
Alex Eyers-Taylor	3ac3169278	CPP: Add some range analysis cases	2023-10-10 20:01:14 +01:00
Mathias Vorreiter Pedersen	72d9812fea	C++: Accept more test changes.	2023-08-31 21:56:35 +01:00
Mathias Vorreiter Pedersen	e145b81f58	C++: Accept test changes.	2023-08-15 16:12:44 +01:00
Mathias Vorreiter Pedersen	3fb024164b	C++: Add a FP caused by bad range analysis for subtraction.	2023-08-15 16:00:35 +01:00
Mathias Vorreiter Pedersen	cb1076c335	Revert "Merge pull request #13783 from MathiasVP/type-bounds-for-new-range-analysis" ... This reverts commit e9750af89f, reversing changes made to 37a546253e.	2023-08-09 13:02:54 +01:00
Mathias Vorreiter Pedersen	2d832db883	C++: Accept test changes.	2023-08-04 16:12:00 +02:00
Robert Marsh	e90153fc47	C++: fix irreducible control flow logic	2023-06-27 16:52:45 -04:00
Robert Marsh	ba7cb8f4ae	C++: fix range analysis back edge detection for irreducible CFGs	2023-06-21 17:54:52 -04:00
Mathias Vorreiter Pedersen	9828af45a1	C++: Change separator from ':' to '|'.	2023-05-26 15:23:48 -07:00
Mathias Vorreiter Pedersen	0d1d20c75b	C++: Change range-analysis test to not use 'getAst'. This was creating confusing test expectation annotations.	2023-05-25 15:50:29 -07:00
Robert Marsh	7404bd9c4b	Merge branch 'main' into rdmarsh2/cpp/cobo-neq-refinement	2023-05-24 14:13:38 -04:00
Jeroen Ketema	2276890cec	C++: Rewrite inline expectation tests to use the parameterized module	2023-05-24 11:10:05 +02:00
Robert Marsh	681cc4c755	C++: add neq refinement test for range analysis	2023-05-22 11:49:37 -04: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
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
Robert Marsh	e4ae957cdd	C++: More fixes to overflow detection	2023-04-04 09:31:03 -04: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	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	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
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	406d02253d	C++: Add 'range(x)' call demonstrating missing bounds.	2023-03-16 17:08:53 +00:00
Mathias Vorreiter Pedersen	619266d04b	C++: Fix floating point imprecision.	2023-03-08 13:24:01 +00:00