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."