Searched refs:VarValue (Results 1 – 2 of 2) sorted by relevance
7353 Value *VarValue = I.getVariableLocationOp(0); in verifyNotEntryValue() local7354 if (isa<UndefValue>(VarValue) || isa<PoisonValue>(VarValue)) in verifyNotEntryValue()7358 if (auto *ArgLoc = dyn_cast_or_null<Argument>(VarValue); in verifyNotEntryValue()7376 Value *VarValue = DVR.getVariableLocationOp(0); in verifyNotEntryValue() local7377 if (isa<UndefValue>(VarValue) || isa<PoisonValue>(VarValue)) in verifyNotEntryValue()7381 if (auto *ArgLoc = dyn_cast_or_null<Argument>(VarValue); in verifyNotEntryValue()
912 SVal VarValue = State->getSVal(StoreMgr.getLValueVar(Var, LCtx)); in assumeNoAliasingWithStdStreams() local914 SVB.evalBinOp(State, BO_NE, RetVal, VarValue, SVB.getConditionType()) in assumeNoAliasingWithStdStreams()