checkedint call removal

[Timon Gehr via Digitalmars-d]

On 07/30/2014 05:33 PM, Daniel Murphy wrote:
> "Timon Gehr"  wrote in message news:lrb2o9$314b$1 at digitalmars.com...
>
>> > Because there is no way you can prove say OpenGL drivers to be correct.
>> > They are a black box provided by the execution environment.
>>
>> I see. (Though I secretly still dare to hope for verified OpenGL
>> drivers, or something analogous: it is not completely out of reach
>> theoretically; the machine can be given a quite precise formal
>> specification.)
>
> But even if the drivers are verified, the hardware might be buggy!  And
> if the hardware's verified,

My understanding is it often is.

> the power source might be unstable!

You should verify power source stability.

On a more serious note, are you trying to argue that there are no 
pragmatic differences in software quality based on the obvious fact that 
the system running the software is implemented on top of uncertain physics?