419   Value *UnderlyingObject = findValue(Ptr, /*OffsetOk=*/true);  in visitMemoryReference()  local
420   Assert(!isa<ConstantPointerNull>(UnderlyingObject),  in visitMemoryReference()
422   Assert(!isa<UndefValue>(UnderlyingObject),  in visitMemoryReference()
424   Assert(!isa<ConstantInt>(UnderlyingObject) ||  in visitMemoryReference()
425              !cast<ConstantInt>(UnderlyingObject)->isMinusOne(),  in visitMemoryReference()
427   Assert(!isa<ConstantInt>(UnderlyingObject) ||  in visitMemoryReference()
428              !cast<ConstantInt>(UnderlyingObject)->isOne(),  in visitMemoryReference()
432     if (const GlobalVariable *GV = dyn_cast<GlobalVariable>(UnderlyingObject))  in visitMemoryReference()
435     Assert(!isa<Function>(UnderlyingObject) &&  in visitMemoryReference()
436                !isa<BlockAddress>(UnderlyingObject),  in visitMemoryReference()
440     Assert(!isa<Function>(UnderlyingObject), "Unusual: Load from function body",  in visitMemoryReference()
442     Assert(!isa<BlockAddress>(UnderlyingObject),  in visitMemoryReference()
446     Assert(!isa<BlockAddress>(UnderlyingObject),  in visitMemoryReference()
450     Assert(!isa<Constant>(UnderlyingObject) ||  in visitMemoryReference()
451                isa<BlockAddress>(UnderlyingObject),  in visitMemoryReference()