[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