UB in D

[ketmar via Digitalmars-d]

On Sunday, 10 July 2016 at 11:49:31 UTC, Andrei Alexandrescu 
wrote:
> On 7/10/16 2:29 AM, ketmar wrote:
>> On Sunday, 10 July 2016 at 02:29:15 UTC, Andrei Alexandrescu 
>> wrote:
>>> Yeah, we'd ideally like very little UB and no UB in safe code.
>>
>> no at all. define it, and for other cases raise an error.
>
> How do you define use of a pointer after deallocation? -- Andrei

bug. error. big boom. note that compiler is allowed to not check 
that, though, and only *then* it is UB -- only if compiler is not 
implementing that part of the specs.