> the rule is roughly that if a and b are different arrays, a[i] and b[j] do not alias. This is technically stricter than the strict aliasing rule, isn't it? S

> the rule is roughly that if a and b are different arrays, a[i] and b[j] do not alias. This is technically stricter than the strict aliasing rule, isn't it? Since it also disallows aliasing through pointers of the same type? Or am I getting concepts mixed up here, since strict aliasing is for pointers and you're talking about arrays?