397   Value *UnderlyingObject = findValue(Ptr, /*OffsetOk=*/true);  in visitMemoryReference()  local
398   Assert(!isa<ConstantPointerNull>(UnderlyingObject),  in visitMemoryReference()
400   Assert(!isa<UndefValue>(UnderlyingObject),  in visitMemoryReference()
402   Assert(!isa<ConstantInt>(UnderlyingObject) ||  in visitMemoryReference()
403              !cast<ConstantInt>(UnderlyingObject)->isMinusOne(),  in visitMemoryReference()
405   Assert(!isa<ConstantInt>(UnderlyingObject) ||  in visitMemoryReference()
406              !cast<ConstantInt>(UnderlyingObject)->isOne(),  in visitMemoryReference()
410     if (const GlobalVariable *GV = dyn_cast<GlobalVariable>(UnderlyingObject))  in visitMemoryReference()
413     Assert(!isa<Function>(UnderlyingObject) &&  in visitMemoryReference()
414                !isa<BlockAddress>(UnderlyingObject),  in visitMemoryReference()
418     Assert(!isa<Function>(UnderlyingObject), "Unusual: Load from function body",  in visitMemoryReference()
420     Assert(!isa<BlockAddress>(UnderlyingObject),  in visitMemoryReference()
424     Assert(!isa<BlockAddress>(UnderlyingObject),  in visitMemoryReference()
428     Assert(!isa<Constant>(UnderlyingObject) ||  in visitMemoryReference()
429                isa<BlockAddress>(UnderlyingObject),  in visitMemoryReference()