core.intrinsics

[David Nadlinger via Digitalmars-d]

On Friday, 14 October 2016 at 13:07:10 UTC, Johan Engelen wrote:
> 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" ?

For alignment/aliasing restrictions to be really beneficial, you 
have to be able to assume they hold, though. — David