Overflow analysis refactoring
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.
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.