Handling Non-Scalars Variables and Aliasing

• Arrays complicate things

• Different array reference may (or may not) refer to the same location depending on the indices

• Pointers have similar issues

• Have VDEF and VUSE to handle these cases

Notes: