Skip to content

Overflow analysis refactoring

Martin Spiessl requested to merge overflow2 into trunk

This MR is for review only.
The branch simplifies the overflow analysis and gets rid of the precondition assumptions that were introduced for the current version of the overflow analysis on trunk.

Merge request reports