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

gdc-bugzilla at gdcproject.org gdc-bugzilla at gdcproject.org
Fri Jul 5 05:38:55 PDT 2013


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

--- Comment #5 from Iain Buclaw <ibuclaw at gdcproject.org> 2013-07-05 12:38:55 UTC ---
(In reply to comment #3)
> (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 ;)

Well... *cough* - inline assembler is @system, and can not be used in @safe
code.

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