[Issue 13589] [git-head] Asm statement could be assumed to nothrow, safe, pure by the enclosing function attribute

[via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=13589

--- Comment #11 from yebblies <yebblies at gmail.com> ---
(In reply to Kenji Hara from comment #10)
> (In reply to yebblies from comment #9)
> > That's certainly better, but overall I still don't think this is worthwhile.
> 
> In this case we can reduce amount of attributes. Isn't it a benefit?

Yes, but...

> Moreover, issue 12979 had accepted following code.
> 
>   void foo() nothrow { asm{...}; }
> 
> It was accidental behavior, but this enhancement will accept it properly and
> will reduce code breaking with the next release.

I don't think that code should be valid.  nothrow on a function signature
should not be enough to opt-out of nothrow checking for the asm.  This is more
important than reducing the number of attributes.

--