[Issue 13589] [git-head] Asm statement could be assumed to nothrow, safe, pure by the enclosing function attribute
via Digitalmars-d-bugs
digitalmars-d-bugs at puremagic.com
Wed Oct 8 11:48:40 PDT 2014
https://issues.dlang.org/show_bug.cgi?id=13589
--- Comment #12 from Martin Nowak <code at dawg.eu> ---
The basic problem with this is using inference on something that cannot be
inferred.
void seeminglyPure() {
// ...
// many lines of code
// ...
asm {
// impure instruction
}
}
Now when someone adds pure to seeminglyPure it would silently break.
--
More information about the Digitalmars-d-bugs
mailing list