10 Commits

Author	SHA1	Message	Date
Geoffrey White	4879104568	C++: Add more dataflow cases to replace the loss.	2021-04-13 15:09:12 +01:00
Geoffrey White	b0ad927fdd	C++: Remove useUsePair.	2021-04-13 15:03:06 +01:00
Geoffrey White	3b437fe6cf	C++: Replace GVN with some other libraries.	2021-04-09 15:21:42 +01:00
Geoffrey White	517fd23ca5	C++: Correct and add to test cases.	2021-04-08 09:48:38 +01:00
Geoffrey White	a8193dac08	C++: Reintroduce the exprMightOverflowNegatively bit.	2021-04-06 22:36:59 +01:00
Geoffrey White	60e4faba4c	C++: Add linear expression logic.	2021-04-06 22:28:36 +01:00
Geoffrey White	48ff8e237c	C++: Rewrite the range analysis exclusion to be recursive and more robust.	2021-04-06 22:26:55 +01:00
Geoffrey White	3ecd13531f	C++: Improve isGuarded.	2021-04-06 22:21:59 +01:00
Geoffrey White	59ff3f315b	C++: Add test cases exploring issues and potential issues with the query (especially related to simple range analysis).	2021-04-06 22:21:25 +01:00
Mathias Vorreiter Pedersen	fd596ebbbb	C++: Move cpp/unsigned-difference-expression-compared-zero out of experimental.	2021-02-04 16:10:34 +01:00