7 Commits

Author	SHA1	Message	Date
Geoffrey White	574a1d8501	Merge pull request #1037 from kevinbackhouse/RangeAnalysisAssignAddOverflow ... Better overflow detection for AssignAdd/AssignSub	2019-05-29 09:54:06 +01:00
Geoffrey White	170691b467	CPP: Comment as suggested.	2019-05-24 16:16:45 +01:00
Geoffrey White	d2f386ccb7	CPP: Effect of changes on tests.	2019-05-01 15:56:44 +01:00
Geoffrey White	19e6b238b7	CPP: Add test cases.	2019-05-01 15:43:06 +01:00
Jonas Jensen	b827e7a1ea	C++: Fix use-after-cast bug in SimpleRangeAnalysis ... Like everywhere else in the range analysis, operands to comparison operators must be considered in their fully-converted form.	2019-03-27 10:48:34 +01:00
Jonas Jensen	ad61b4f55e	C++: Add test to demonstrate use-after-cast bugs	2019-03-27 10:48:34 +01:00
Robert Marsh	a06a20dbab	C++: move SimpleRangeAnalysis tests	2019-01-08 09:34:23 -08:00