404   Value *UnderlyingObject = findValue(Ptr, /*OffsetOk=*/true);  in visitMemoryReference()  local
405   Check(!isa<ConstantPointerNull>(UnderlyingObject),  in visitMemoryReference()
407   Check(!isa<UndefValue>(UnderlyingObject),  in visitMemoryReference()
409   Check(!isa<ConstantInt>(UnderlyingObject) ||  in visitMemoryReference()
410             !cast<ConstantInt>(UnderlyingObject)->isMinusOne(),  in visitMemoryReference()
412   Check(!isa<ConstantInt>(UnderlyingObject) ||  in visitMemoryReference()
413             !cast<ConstantInt>(UnderlyingObject)->isOne(),  in visitMemoryReference()
417     if (const GlobalVariable *GV = dyn_cast<GlobalVariable>(UnderlyingObject))  in visitMemoryReference()
420     Check(!isa<Function>(UnderlyingObject) &&  in visitMemoryReference()
421               !isa<BlockAddress>(UnderlyingObject),  in visitMemoryReference()
425     Check(!isa<Function>(UnderlyingObject), "Unusual: Load from function body",  in visitMemoryReference()
427     Check(!isa<BlockAddress>(UnderlyingObject),  in visitMemoryReference()
431     Check(!isa<BlockAddress>(UnderlyingObject),  in visitMemoryReference()
435     Check(!isa<Constant>(UnderlyingObject) ||  in visitMemoryReference()
436               isa<BlockAddress>(UnderlyingObject),  in visitMemoryReference()