13 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	510bfb911a	C++: Accept test changes.	2024-07-16 13:05:45 +01:00
Mathias Vorreiter Pedersen	983acf23bc	C++: Add more FPs.	2024-07-16 13:04:42 +01:00
Mathias Vorreiter Pedersen	68e3be187a	C++: Accept test changes.	2024-07-16 13:03:22 +01:00
Mathias Vorreiter Pedersen	f5ec2315d7	C++: Add a FP from DCA.	2024-07-16 13:02:38 +01:00
Geoffrey White	5d898727c0	C++: Add the examples to the test.	2024-07-04 17:11:11 +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