Searched refs:isLocType (Results 1 – 12 of 12) sorted by relevance
33 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()127 if (Loc::isLocType(type)) in conjureSymbolVal()143 if (Loc::isLocType(type)) in conjureSymbolVal()154 assert(Loc::isLocType(T)); in getConjuredHeapSymbolVal()170 if (Loc::isLocType(type)) in getMetadataSymbolVal()[all …]
70 bool isLocType = Loc::isLocType(castTy); in evalCastFromNonLoc() local73 if (isLocType) in evalCastFromNonLoc()95 if (!isLocType) in evalCastFromNonLoc()106 if (!isLocType && !castTy->isIntegerType()) in evalCastFromNonLoc()112 if (isLocType) in evalCastFromNonLoc()126 if (Loc::isLocType(castTy) || castTy->isReferenceType()) in evalCastFromLoc()
38 DefinedSVal V = Loc::isLocType(Ty) ? getLocFromSymbol(State, Sym) in isNull()
114 assert(Loc::isLocType(T)); in VisitObjCForCollectionStmt()
358 if (Loc::isLocType(T)) in canSymbolicate()
211 if (Loc::isLocType(T) || T->isIntegerType()) in getSValAsScalarOrLoc()
877 if (Loc::isLocType(U->getType())) { in VisitIncrementDecrementOperator()
706 else if (Loc::isLocType(VR->getValueType())) { in VisitBaseRegion()1607 if (Loc::isLocType(T)) in setImplicitDefaultValue()
95 assert(T->isIntegerType() || Loc::isLocType(T)); in getAPSIntType()
250 if (Loc::isLocType(type)) in makeIntVal()
248 static inline bool isLocType(QualType T) { in isLocType() function
684 if (Ex->isGLValue() || Loc::isLocType(T) || T->isIntegerType()) in getSValAsScalarOrLoc()