Searched refs:PSV (Results 1 – 10 of 10) sorted by relevance
415 if (const PseudoSourceValue *PSV = in hasHazard_() local417 if (isa<FixedStackPseudoSourceValue>(PSV)) in hasHazard_()419 return !PSV->isConstant(nullptr) && PSV != PseudoSourceValue::getStack(); in hasHazard_()468 if (const PseudoSourceValue *PSV = in getUnderlyingObjects() local470 if (!PSV->isAliased(MFI)) in getUnderlyingObjects()472 Objects.push_back(PSV); in getUnderlyingObjects()
278 const PseudoSourceValue *PSV = dyn_cast<PseudoSourceValue>(V); in isCPLoad() local279 if (PSV && PSV == PseudoSourceValue::getConstantPool()) { in isCPLoad()
886 if (const PseudoSourceValue *PSV = (*I)->getPseudoValue()) { in isLoadFromGOTOrConstantPool() local887 if (PSV == PSV->getGOT() || PSV == PSV->getConstantPool()) in isLoadFromGOTOrConstantPool()
144 if (const PseudoSourceValue *PSV = in getUnderlyingObjectsForInstr() local149 if (!PSV->isAliased(MFI)) { in getUnderlyingObjectsForInstr()150 bool MayAlias = PSV->mayAlias(MFI); in getUnderlyingObjectsForInstr()151 Objects.push_back(UnderlyingObjectsVector::value_type(PSV, MayAlias)); in getUnderlyingObjectsForInstr()
492 else if (const PseudoSourceValue *PSV = MMO.getPseudoValue()) in operator <<() local493 PSV->printCustom(OS); in operator <<()1374 if (const PseudoSourceValue *PSV = (*I)->getPseudoValue()) in isInvariantLoad() local1375 if (PSV->isConstant(MFI)) in isInvariantLoad()
163 const SVal PSV = State->getSVal(SValMemRegion); in uninitRefOrPointer() local164 if (PSV.isUndef()) { in uninitRefOrPointer()
540 const PseudoSourceValue *PSV = MMO->getPseudoValue(); in isCPLoad() local541 if (PSV && PSV == PseudoSourceValue::getConstantPool()) { in isCPLoad()
1152 SVal PSV = State->getSVal(Reg->getRegion()); in getMessage() local1153 SymbolRef AS = PSV.getAsLocSymbol(); in getMessage()
230 12. Apply the fix found with static analysis tools such as PSV and coverity