4 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	bb85aa2fc9	C++: Accept test changes.	2024-11-14 16:29:51 +00:00
Mathias Vorreiter Pedersen	b8a5aa5d85	C++: Fix a couple of range analysis issues: ... 1. The new query is expecting pointer arithmetic operations to generate range-analysis bounds, but this wasn't true on main. 2. The bounds generated by `boundFlowCond` was incorrectly inferred as non-strict when comparing a pointers (unlike when comparing values of integral types). This gave FPs in the new query. This also fixes a couple of missing results in existing queries that use the new range-analysis library.	2022-09-15 17:46:52 +01:00
Mathias Vorreiter Pedersen	7062263885	C++: Accept test changes.	2022-09-07 21:11:52 +01:00
Robert Marsh	fb6e578618	C++: move IR range analysis to experimental	2020-06-24 12:50:14 -07:00