A Simple Analysis to Eliminate Overflow Checking on Increment s

[Henry Cejtin]

But Java doesn't detect integer overflow, right?  Where they doing array
subscript checking?  That would be great to get but is definitely harder.