[zrm]

For the compiler to know the pointer is aligned it would have to actually be aligned and there is no guarantee that it is.