Pointer Analysis & ICC