Skip to content
This repository has been archived by the owner on Feb 8, 2024. It is now read-only.

fix: __asmtuple is not pure and etc #80

Open
wants to merge 1 commit into
base: ldc
Choose a base branch
from
Open

Conversation

9il
Copy link

@9il 9il commented Jul 11, 2016

No description provided.

@9il 9il changed the title __asmtuple is not pure and etc fix: __asmtuple is not pure and etc Jul 11, 2016
@dnadlinger
Copy link
Member

dnadlinger commented Oct 11, 2016

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.

@9il
Copy link
Author

9il commented Oct 12, 2016

Yes, but __asm already has all attributs

@9il 9il closed this Oct 12, 2016
@9il 9il reopened this Oct 12, 2016
@JohanEngelen
Copy link
Member

@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?

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
3 participants