On Friday, 14 October 2016 at 12:55:17 UTC, Guillaume Piolat wrote: > > - this pointer is aligned to N bytes > - this pointer doesn't alias with this pointer Do you mean these as "just a hint, should not generate invalid code if not true" or as "a certainty, allowed to generate invalid code if not true" ? (my intent is the former)