Home
last modified time | relevance | path

Searched refs:isLocType (Results 1 – 17 of 17) sorted by relevance

/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DSValBuilder.cpp54 if (Loc::isLocType(type)) in makeZeroVal()
74 assert(!Loc::isLocType(type)); in makeNonLoc()
82 assert(!Loc::isLocType(type)); in makeNonLoc()
89 assert(!Loc::isLocType(type)); in makeNonLoc()
96 assert(!Loc::isLocType(toTy)); in makeNonLoc()
130 if (Loc::isLocType(T)) in getRegionValueSymbolVal()
167 if (Loc::isLocType(type)) in conjureSymbolVal()
185 if (Loc::isLocType(type)) in conjureSymbolVal()
196 assert(Loc::isLocType(T)); in getConjuredHeapSymbolVal()
215 if (Loc::isLocType(type)) in getMetadataSymbolVal()
[all …]
H A DSimpleSValBuilder.cpp76 bool isLocType = Loc::isLocType(castTy); in evalCastFromNonLoc() local
81 if (isLocType) in evalCastFromNonLoc()
102 if (!isLocType) in evalCastFromNonLoc()
119 if (!isLocType && !castTy->isIntegralOrEnumerationType()) in evalCastFromNonLoc()
125 if (isLocType) in evalCastFromNonLoc()
139 if (Loc::isLocType(castTy) || castTy->isReferenceType()) in evalCastFromLoc()
1258 return Loc::isLocType(S->getType()) ? (SVal)SVB.makeIntLocVal(*I) in simplifySVal()
1280 if (Loc::isLocType(S->getLHS()->getType()) && in simplifySVal()
1286 assert(Loc::isLocType(Sym->getType())); in simplifySVal()
1307 if (Loc::isLocType(S->getLHS()->getType()) != in simplifySVal()
[all …]
H A DRangedConstraintManager.cpp55 if (Loc::isLocType(SSE->getLHS()->getType()) && in assumeSym()
56 Loc::isLocType(SSE->getRHS()->getType())) { in assumeSym()
H A DConstraintManager.cpp36 DefinedSVal V = Loc::isLocType(Ty) ? getLocFromSymbol(State, Sym) in checkNull()
H A DExprEngineObjC.cpp68 assert(Loc::isLocType(T)); in populateObjCForDestinationSet()
H A DRangeConstraintManager.cpp349 if (Loc::isLocType(SSE->getLHS()->getType())) { in canReasonAbout()
350 return Loc::isLocType(SSE->getRHS()->getType()); in canReasonAbout()
H A DProgramState.cpp255 if (Loc::isLocType(T) || T->isIntegralOrEnumerationType()) in getSValAsScalarOrLoc()
271 if (!T.isNull() && (T->isIntegralOrEnumerationType() || Loc::isLocType(T))) { in getSVal()
H A DSymbolManager.cpp352 if (Loc::isLocType(T)) in canSymbolicate()
H A DRegionStore.cpp1073 else if (Loc::isLocType(VR->getValueType())) { in VisitCluster()
2150 if (Loc::isLocType(T)) in setImplicitDefaultValue()
2536 if (Loc::isLocType(SD->getType()) && !SymReaper.isLive(SD)) { in populateWorklistFromSymbol()
H A DExprEngineC.cpp1097 if (Loc::isLocType(U->getType())) { in VisitIncrementDecrementOperator()
H A DExprEngine.cpp319 Loc::isLocType(Result->getType()) || in createTemporaryRegionIfNeeded()
/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h304 if (Loc::isLocType(type)) in makeIntVal()
374 if (Loc::isLocType(Sym->getType())) in makeSymbolVal()
H A DSVals.h327 static bool isLocType(QualType T) { in isLocType() function
352 assert(!Loc::isLocType(sym->getType())); in SymbolVal()
H A DBasicValueFactory.h143 assert(T->isIntegralOrEnumerationType() || Loc::isLocType(T)); in getAPSIntType()
H A DSymbolManager.h315 assert(isValidTypeForSymbol(t) && !Loc::isLocType(t)); in BinarySymExpr()
H A DProgramState.h800 if (Ex->isGLValue() || Loc::isLocType(T) || in getSValAsScalarOrLoc()
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DMallocChecker.cpp1253 if (!Loc::isLocType(CE->getType())) in MallocMemAux()