[Bug 69] core.builtins should be nothrow, pure and probably @safe

gdc-bugzilla at gdcproject.org gdc-bugzilla at gdcproject.org
Fri Jul 5 03:13:35 PDT 2013


http://bugzilla.gdcproject.org/show_bug.cgi?id=69

--- Comment #3 from Marco.Leise at gmx.de 2013-07-05 10:13:35 UTC ---
(In reply to comment #2)
> We could guarantee @safe-ty for builtin functions that are intrinsically
> expanded by the compiler (have no equivalent library call).  Will have to think
> about whether to assume pure/nothrow in that situation also.

I hoped for something like that. SIMD intrinsics are typically not much more
than an awesome way to express +,-,*,<,>,... They can hardly "throw new
Exception();" and can be @trusted. If they couldn't be trusted you might as
well flag INC, ADD and MOV as @system ;)

-- 
Configure bugmail: http://bugzilla.gdcproject.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are watching all bug changes.


More information about the D.gnu mailing list