Mathias Vorreiter Pedersen 7fbc62358e C++: Accept test changes after making the exprMightOverFlow predicates more sound.

2021-04-15 13:57:44 +02:00

..

examples

C++: Rename Block -> BlockStmt

2020-09-08 08:40:20 +02:00

src

C++: Make sure missingGuardAgainstOverflow (and underflow) holds when range analysis fails to deduce a bound.

2021-04-14 16:30:43 +02:00

test

C++: Accept test changes after making the exprMightOverFlow predicates more sound.

2021-04-15 13:57:44 +02:00