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

[Guillaume Piolat]

My other question is about @safe:



     I was told in D "memory safety" doesn't include null-safety. 
And indeed:


     float readOne(float* adr) @safe
     {
         return *adr; // this is safe
     }


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