[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 #9 from yebblies <yebbl...@gmail.com> ---
(In reply to Kenji Hara from comment #8)
> 
> OK, I change the behavior in the case.
> 
> void fsafe() @safe pure {
>   asm {...}  // f3 has @safe attribute, so this asm will report an error
>   asm @trusted {...}  // OK
> }
> 
> void ftrusted() @trusted {
>   asm {...}
>   // f3 has explicit @trusted attribute, so asm is inferred as @trusted
> }

That's certainly better, but overall I still don't think this is worthwhile.

--