A Simple Analysis to Eliminate Overflow Checking on Increment s

[Jagannathan, Suresh]

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. 

-- Suresh