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()112 if (!isLocType && !castTy->isIntegerType()) in evalCastFromNonLoc()118 if (isLocType) in evalCastFromNonLoc()132 if (Loc::isLocType(castTy) || castTy->isReferenceType()) in evalCastFromLoc()
31 DefinedSVal V = Loc::isLocType(Ty) ? getLocFromSymbol(State, Sym) in checkNull()
114 assert(Loc::isLocType(T)); in VisitObjCForCollectionStmt()
340 if (Loc::isLocType(T)) in canSymbolicate()
221 if (Loc::isLocType(T) || T->isIntegerType()) in getSValAsScalarOrLoc()
944 else if (Loc::isLocType(VR->getValueType())) { in VisitBaseRegion()1827 if (Loc::isLocType(T)) in setImplicitDefaultValue()
907 if (Loc::isLocType(U->getType())) { in VisitIncrementDecrementOperator()
96 assert(T->isIntegerType() || Loc::isLocType(T)); in getAPSIntType()
249 if (Loc::isLocType(type)) in makeIntVal()
283 static inline bool isLocType(QualType T) { in isLocType() function
701 if (Ex->isGLValue() || Loc::isLocType(T) || T->isIntegerType()) in getSValAsScalarOrLoc()