Pointer smoothing

Question

What is the difference between Strictly , Typically , Limited, and Disconnected aliasing?

Answer 1

In Strict Anti-Aliasing , pointers are not aliases if they are different.
In Typed Anti-Aliasing, pointers of the same type can be an alias and overlap.
The "Limited smoothing" it is assumed that the pointers of the same type do not overlap.
In "unrelated anti-aliasing," all pointer expressions do not result in overlapping.