Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DSValBuilder.cpp63 if (Loc::isLocType(type)) in makeZeroVal()
81 assert(!Loc::isLocType(type)); in makeNonLoc()
89 assert(!Loc::isLocType(type)); in makeNonLoc()
97 assert(!Loc::isLocType(type)); in makeNonLoc()
104 assert(!Loc::isLocType(type)); in makeNonLoc()
111 assert(!Loc::isLocType(toTy)); in makeNonLoc()
148 if (Loc::isLocType(T)) in getRegionValueSymbolVal()
187 if (Loc::isLocType(type)) in conjureSymbolVal()
220 assert(Loc::isLocType(type)); in getConjuredHeapSymbolVal()
250 if (Loc::isLocType(type)) in getMetadataSymbolVal()
[all …]
H A DRangedConstraintManager.cpp54 if (Loc::isLocType(SSE->getLHS()->getType()) && in assumeSym()
55 Loc::isLocType(SSE->getRHS()->getType())) { in assumeSym()
H A DSimpleSValBuilder.cpp1299 return Loc::isLocType(Sym->getType()) ? (SVal)SVB.makeIntLocVal(*Const) in simplifySValOnce()
1319 return Loc::isLocType(S->getType()) ? (SVal)SVB.makeIntLocVal(*I) in simplifySValOnce()
1338 if (Loc::isLocType(S->getLHS()->getType()) && in simplifySValOnce()
1344 assert(Loc::isLocType(Sym->getType())); in simplifySValOnce()
1379 if (Loc::isLocType(S->getLHS()->getType()) != in simplifySValOnce()
1380 Loc::isLocType(S->getRHS()->getType())) in simplifySValOnce()
H A DExprEngineObjC.cpp65 assert(Loc::isLocType(T)); in populateObjCForDestinationSet()
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.cpp229 if (Loc::isLocType(T)) in canSymbolicate()
H A DRangeConstraintManager.cpp1282 Loc::isLocType(ActualType)) { in inferAs()
2846 if (Loc::isLocType(SSE->getLHS()->getType())) { in canReasonAbout()
2847 return Loc::isLocType(SSE->getRHS()->getType()); in canReasonAbout()
H A DExprEngineC.cpp1170 if (Loc::isLocType(U->getType())) { in VisitIncrementDecrementOperator()
H A DRegionStore.cpp1266 else if (Loc::isLocType(VR->getValueType())) { in VisitCluster()
2577 if (Loc::isLocType(T)) in setImplicitDefaultValue()
H A DExprEngine.cpp345 Loc::isLocType(Result->getType()) || in createTemporaryRegionIfNeeded()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h302 if (Loc::isLocType(type)) in makeIntVal()
387 if (Loc::isLocType(Sym->getType())) in makeSymbolVal()
H A DSVals.h262 static bool isLocType(QualType T) { in isLocType() function
284 assert(!Loc::isLocType(Sym->getType())); in SymbolVal()
H A DSymbolManager.h354 assert(!Loc::isLocType(T) && "unary symbol should be nonloc"); in UnarySymExpr()
400 assert(isValidTypeForSymbol(t) && !Loc::isLocType(t)); in BinarySymExpr()
H A DBasicValueFactory.h156 if (T->isIntegralOrEnumerationType() || Loc::isLocType(T)) { in getAPSIntType()
H A DProgramState.h797 if (Ex->isGLValue() || Loc::isLocType(T) || in getSValAsScalarOrLoc()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DMallocChecker.cpp1887 if (!Loc::isLocType(CE->getType())) in MallocBindRetVal()
1976 assert(Loc::isLocType(CE->getType()) && in MallocMemAux()