392   Value *UnderlyingObject =  in visitMemoryReference()  local
394   Assert(!isa<ConstantPointerNull>(UnderlyingObject),  in visitMemoryReference()
396   Assert(!isa<UndefValue>(UnderlyingObject),  in visitMemoryReference()
398   Assert(!isa<ConstantInt>(UnderlyingObject) ||  in visitMemoryReference()
399              !cast<ConstantInt>(UnderlyingObject)->isAllOnesValue(),  in visitMemoryReference()
401   Assert(!isa<ConstantInt>(UnderlyingObject) ||  in visitMemoryReference()
402              !cast<ConstantInt>(UnderlyingObject)->isOne(),  in visitMemoryReference()
406     if (const GlobalVariable *GV = dyn_cast<GlobalVariable>(UnderlyingObject))  in visitMemoryReference()
409     Assert(!isa<Function>(UnderlyingObject) &&  in visitMemoryReference()
410                !isa<BlockAddress>(UnderlyingObject),  in visitMemoryReference()
414     Assert(!isa<Function>(UnderlyingObject), "Unusual: Load from function body",  in visitMemoryReference()
416     Assert(!isa<BlockAddress>(UnderlyingObject),  in visitMemoryReference()
420     Assert(!isa<BlockAddress>(UnderlyingObject),  in visitMemoryReference()
424     Assert(!isa<Constant>(UnderlyingObject) ||  in visitMemoryReference()
425                isa<BlockAddress>(UnderlyingObject),  in visitMemoryReference()