Mathias Vorreiter Pedersen ed64ed3d8d C++: Make exprMightOverflowPositively/exprMightOverFlowNegatively hold for unanalyzable expressions. This hopefully means that expressions that do not satisfy these predicates will never overflow/underflow.

2021-04-14 16:45:27 +02:00

..

examples

C++: Rename Block -> BlockStmt

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

src

C++: Make exprMightOverflowPositively/exprMightOverFlowNegatively hold for unanalyzable expressions. This hopefully means that expressions that do not satisfy these predicates will never overflow/underflow.

2021-04-14 16:45:27 +02:00

test

Merge pull request #5600 from ihsinme/ihsinme-patch-258

2021-04-14 14:55:30 +02:00