Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Core/
DSValBuilder.cpp33 if (Loc::isLocType(type)) in makeZeroVal()
50 assert(!Loc::isLocType(type)); in makeNonLoc()
58 assert(!Loc::isLocType(type)); in makeNonLoc()
65 assert(!Loc::isLocType(type)); in makeNonLoc()
72 assert(!Loc::isLocType(toTy)); in makeNonLoc()
103 if (Loc::isLocType(T)) in getRegionValueSymbolVal()
134 if (Loc::isLocType(type)) in conjureSymbolVal()
150 if (Loc::isLocType(type)) in conjureSymbolVal()
161 assert(Loc::isLocType(T)); in getConjuredHeapSymbolVal()
177 if (Loc::isLocType(type)) in getMetadataSymbolVal()
[all …]
DSimpleConstraintManager.cpp55 if (Loc::isLocType(SSE->getLHS()->getType())) { in canReasonAbout()
56 assert(Loc::isLocType(SSE->getRHS()->getType())); in canReasonAbout()
163 assert(Loc::isLocType(SSE->getLHS()->getType())); in assumeAux()
164 assert(Loc::isLocType(SSE->getRHS()->getType())); in assumeAux()
DSimpleSValBuilder.cpp70 bool isLocType = Loc::isLocType(castTy); in evalCastFromNonLoc() local
73 if (isLocType) in evalCastFromNonLoc()
95 if (!isLocType) in evalCastFromNonLoc()
112 if (!isLocType && !castTy->isIntegralOrEnumerationType()) in evalCastFromNonLoc()
118 if (isLocType) in evalCastFromNonLoc()
132 if (Loc::isLocType(castTy) || castTy->isReferenceType()) in evalCastFromLoc()
DConstraintManager.cpp31 DefinedSVal V = Loc::isLocType(Ty) ? getLocFromSymbol(State, Sym) in checkNull()
DExprEngineObjC.cpp114 assert(Loc::isLocType(T)); in VisitObjCForCollectionStmt()
DSymbolManager.cpp335 if (Loc::isLocType(T)) in canSymbolicate()
DProgramState.cpp244 if (Loc::isLocType(T) || T->isIntegralOrEnumerationType()) in getSValAsScalarOrLoc()
DExprEngineC.cpp947 if (Loc::isLocType(U->getType())) { in VisitIncrementDecrementOperator()
DRegionStore.cpp1019 else if (Loc::isLocType(VR->getValueType())) { in VisitCluster()
1931 if (Loc::isLocType(T)) in setImplicitDefaultValue()
DExprEngine.cpp187 assert(!V.getAs<Loc>() || Loc::isLocType(Result->getType()) || in createTemporaryRegionIfNeeded()
200 if (!Loc::isLocType(Result->getType())) { in createTemporaryRegionIfNeeded()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DBasicValueFactory.h96 assert(T->isIntegralOrEnumerationType() || Loc::isLocType(T)); in getAPSIntType()
DSValBuilder.h257 if (Loc::isLocType(type)) in makeIntVal()
DSVals.h291 static inline bool isLocType(QualType T) { in isLocType() function
DProgramState.h703 if (Ex->isGLValue() || Loc::isLocType(T) || in getSValAsScalarOrLoc()