7 Commits

Author	SHA1	Message	Date
Robert Marsh	7404bd9c4b	Merge branch 'main' into rdmarsh2/cpp/cobo-neq-refinement	2023-05-24 14:13:38 -04: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	e4ae957cdd	C++: More fixes to overflow detection	2023-04-04 09:31:03 -04:00
Mathias Vorreiter Pedersen	1a6186496f	C++: Accept test changes.	2023-03-27 13:20:17 +01:00
Mathias Vorreiter Pedersen	cd65e73ade	C++: Fix database inconsistency issue from ODR violation.	2022-09-30 17:04:23 +01:00
Dave Bartolomeo	c9fbf83c1c	Working range analysis for C++	2022-03-15 06:02:54 -04:00