402   Value *UnderlyingObject = findValue(Ptr, /*OffsetOk=*/true);  in visitMemoryReference()  local
403   Check(!isa<ConstantPointerNull>(UnderlyingObject),  in visitMemoryReference()
405   Check(!isa<UndefValue>(UnderlyingObject),  in visitMemoryReference()
407   Check(!isa<ConstantInt>(UnderlyingObject) ||  in visitMemoryReference()
408             !cast<ConstantInt>(UnderlyingObject)->isMinusOne(),  in visitMemoryReference()
410   Check(!isa<ConstantInt>(UnderlyingObject) ||  in visitMemoryReference()
411             !cast<ConstantInt>(UnderlyingObject)->isOne(),  in visitMemoryReference()
415     if (const GlobalVariable *GV = dyn_cast<GlobalVariable>(UnderlyingObject))  in visitMemoryReference()
418     Check(!isa<Function>(UnderlyingObject) &&  in visitMemoryReference()
419               !isa<BlockAddress>(UnderlyingObject),  in visitMemoryReference()
423     Check(!isa<Function>(UnderlyingObject), "Unusual: Load from function body",  in visitMemoryReference()
425     Check(!isa<BlockAddress>(UnderlyingObject),  in visitMemoryReference()
429     Check(!isa<BlockAddress>(UnderlyingObject),  in visitMemoryReference()
433     Check(!isa<Constant>(UnderlyingObject) ||  in visitMemoryReference()
434               isa<BlockAddress>(UnderlyingObject),  in visitMemoryReference()