On 08/01/2014 11:02 AM, Walter Bright wrote:
On 7/31/2014 11:24 PM, "Ola Fosheim Grøstad"
<ola.fosheim.grostad+dl...@gmail.com>" wrote:
On Friday, 1 August 2014 at 02:44:51 UTC, Walter Bright wrote:
That entry makes no mention of assert being used as an optimization
hint.
Saying that a predicate is always true means it's available to the
optimizer.
An assert does not say that the predicate is always true.
Yes, it does. From Meyers' comprehensive tome on the topic
"Object-Oriented Software Construction" (1997) where he writes:
"A run-time assertion violation is the manifestation of a bug in the
software."
-- pg. 346
In fact, Meyers calls it "rule (1)" of assertions.
Sure, and _Meyer_'s "rule (1)" of software must therefore be that it
contains no bugs, no?