4 Apr
2005
4 Apr
'05
9:08 p.m.
Peter Dimov wrote:
Jonathan Turkanis wrote:
No, I was claiming that in some cases a developer might know the range of all possible inputs, and be able to reason that no overflow could occur.
You do understand that the range of the inputs has almost nothing to do with overflow, right?
I was using range in the general sense, meaning subset. Obviously for a given computation, there is a certain subset of possible inputs which will lead to overflow. Jonathan