On 07/31/2014 11:25 PM, Walter Bright wrote:
I'll rewrite that bit in the spec as it is clearly causing confusion.
A wording that avoids all those issues would be something like: "'assert(0)' never returns and hence terminates the basic block it occurs in."
