Restrict an assert slightly so that it won't fail in the presence of fat pointers.
Prevent SROA from inserting bitcasts between pointer address spaces.