Advice needed: Fixing intrinsics signatures for those that unduely take aligned vectors ?

[Steven Schveighoffer]

On 1/1/21 3:55 PM, Ola Fosheim Grøstad wrote:
> On Friday, 1 January 2021 at 20:40:45 UTC, Guillaume Piolat wrote:
>>
>> Q: Does D's definition of @safety prevents memory alignment bugs?
>>    (such as a crash because of a MOVDQA on a non-aligned pointer for 
>> example).
> 
> Doesn't D accept all traps as "safe"? Only overwriting data would be 
> unsafe?
> 

Yes, something that terminates the program immediately is still safe in 
D's eyes. @safe is not looking to fix all bugs, just memory safety problems.

-Steve