checkedint call removal

Dicebot via Digitalmars-d digitalmars-d at puremagic.com
Wed Jul 30 11:29:44 PDT 2014


On Wednesday, 30 July 2014 at 18:02:39 UTC, Tobias Pankrath wrote:
> On Wednesday, 30 July 2014 at 17:58:45 UTC, Dicebot wrote:
>> On Wednesday, 30 July 2014 at 17:57:04 UTC, Andrei 
>> Alexandrescu wrote:
>>> "I assume my program is correct, generate the fastest code 
>>> for it".
>>
>> Sounds like description for a command that should trigger "You 
>> are fired" e-mail notification.
>
> Totally depends on the situation. If you write a SAT solver you 
> can make that assumptions without problems and just verify your 
> results afterwards with a (way simpler) program that was 
> compiled without -release.

It doesn't feel to me like SAT solvers are most common D programs 
out there, at least not more common than various network/web 
services. For pretty much any program which is not completely 
self-contained idea that it can be totally correct at any given 
point of time sounds like disaster.

At the same time "release" is rather encouraging flag to use, it 
is not like it is called "-iamreadyfortheconsequences".


More information about the Digitalmars-d mailing list