Lines Matching refs:UnderlyingObject
390 Value *UnderlyingObject = findValue(Ptr, /*OffsetOk=*/true); in visitMemoryReference() local
391 Check(!isa<ConstantPointerNull>(UnderlyingObject), in visitMemoryReference()
393 Check(!isa<UndefValue>(UnderlyingObject), in visitMemoryReference()
395 Check(!isa<ConstantInt>(UnderlyingObject) || in visitMemoryReference()
396 !cast<ConstantInt>(UnderlyingObject)->isMinusOne(), in visitMemoryReference()
398 Check(!isa<ConstantInt>(UnderlyingObject) || in visitMemoryReference()
399 !cast<ConstantInt>(UnderlyingObject)->isOne(), in visitMemoryReference()
403 if (const GlobalVariable *GV = dyn_cast<GlobalVariable>(UnderlyingObject)) in visitMemoryReference()
406 Check(!isa<Function>(UnderlyingObject) && in visitMemoryReference()
407 !isa<BlockAddress>(UnderlyingObject), in visitMemoryReference()
411 Check(!isa<Function>(UnderlyingObject), "Unusual: Load from function body", in visitMemoryReference()
413 Check(!isa<BlockAddress>(UnderlyingObject), in visitMemoryReference()
417 Check(!isa<BlockAddress>(UnderlyingObject), in visitMemoryReference()
421 Check(!isa<Constant>(UnderlyingObject) || in visitMemoryReference()
422 isa<BlockAddress>(UnderlyingObject), in visitMemoryReference()