druntime
druntime copied to clipboard
fix: __asmtuple is not pure and etc
Hm… I suppose we'd actually need to add template parameters for the different attributes (like the nothrow, … attributes on built-in asm blocks) for this to be correct. Otherwise, templates using this might be inferred to e.g. be pure when they aren't since inline ASM can access globals, call the GC, and so on.
Yes, but __asm already has all attributs
@klickverbot @9il
I think Ilya has a point: __asm already has the same attributes. Shall we just trust the user to know what he is doing? (one concern is optimization, once we start using some of those attributes as queues to optimization, things might go wrong...)
Shouldn't these also be @trusted then?