A Simple Analysis to Eliminate Overflow Checking on Increment
Sat, 14 Jul 2001 05:38:03 -0400
There's a paper in this year's PLDI that discusses a similar algorithm
for overflow detection in Java programs. Some of the issues they
discuss are orthogonal because of the differing semantics between the
CPS IL and their IL, but the basic gist of the algorithm seems to be
similar to your idea (I don't the proceedings with me here to verify),
but you guys might want to take a look at it.