> Hi Florian!
>
> Florian Weimer [2005-12-09 11:53 +0100]:
>> * Martin Pitt:
>>
>> > - For invalid (big) positive values of nObjs which, when multiplied with nObjs
>> > overflow an int, we have two cases:
>>
>> But neither ISO C nor GNU C make any promises regarding this case.
>> Overflow is undefined, period.
>
> Ah, right, I mixed that up with additive overflow (which is defined).
I think you mean unsigned arithmetic, which is performed module 2^k
for some k.
* Martin Pitt:
> Hi Florian!
>
> Florian Weimer [2005-12-09 11:53 +0100]:
>> * Martin Pitt:
>>
>> > - For invalid (big) positive values of nObjs which, when multiplied with nObjs
>> > overflow an int, we have two cases:
>>
>> But neither ISO C nor GNU C make any promises regarding this case.
>> Overflow is undefined, period.
>
> Ah, right, I mixed that up with additive overflow (which is defined).
I think you mean unsigned arithmetic, which is performed module 2^k
for some k.