Lines Matching defs:Val
212 if (auto *Val = createValue(D->getType())) in initVars() local
374 auto &Val = takeOwnership(std::make_unique<ReferenceValue>(*ArgLoc)); in pushCallInternal() local
378 } else if (Value *Val = createValue(ParamType)) { in pushCallInternal() local
418 Value *Val = Entry.second; in equivalentTo() local
465 Value *Val = Entry.second; in widen() local
534 Value *Val = Entry.second; in join() local
616 void Environment::setValue(const StorageLocation &Loc, Value &Val) { in setValue()
671 Value *Val = createValueUnlessSelfReferential(Type, Visited, /*Depth=*/0, in createValue() local
768 if (auto *Val = dyn_cast_or_null<ReferenceValue>(getValue(Loc))) in skip() local
773 if (auto *Val = dyn_cast_or_null<PointerValue>(getValue(LocPastRef))) in skip() local
785 void Environment::addToFlowCondition(BoolValue &Val) { in addToFlowCondition()