When phi translation cannot be performed, be conservative and make the MemoryLocation unknown.
lgtm with one nit. thanks!
AIUI, generally we try to treat MemoryLocations and LocationSizes as immutable. so we can keep with that, do you think Location = Location.getWithNewSize(LocationSize::unknown()); (and reverting the changes to MemoryLocation.h) is an acceptable alternative?