Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Checkers/
DArrayBoundCheckerV2.cpp236 if (x.isUnknownOrUndef() || y.isUnknownOrUndef()) in addValue()
258 if (!offset.isUnknownOrUndef()) in computeOffset()
283 if (offset.isUnknownOrUndef()) in computeOffset()
DUnixAPIChecker.cpp99 if (maskedFlagsUC.isUnknownOrUndef()) in CheckOpen()
188 if (argVal.isUnknownOrUndef()) in CheckMallocZero()
DPthreadLockChecker.cpp109 if (X.isUnknownOrUndef()) in AcquireLock()
DIdempotentOperationChecker.cpp152 if (LHSVal.isUnknownOrUndef() || RHSVal.isUnknownOrUndef()) { in checkPreStmt()
DMallocChecker.cpp295 if (ArgVal.isUnknownOrUndef()) in FreeMemAux()
DCStringChecker.cpp510 if (maxMinusRight.isUnknownOrUndef()) { in checkAdditionOverflow()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DSVals.h106 inline bool isUnknownOrUndef() const { in isUnknownOrUndef() function
225 bool isUnknownOrUndef() const;
233 return !V->isUnknownOrUndef(); in classof()
/external/clang/lib/StaticAnalyzer/Core/
DStore.cpp241 if (Base.isUnknownOrUndef()) in getLValueFieldOrIvar()
283 if (Base.isUnknownOrUndef() || isa<loc::ConcreteInt>(Base)) in getLValueElement()
DSValBuilder.cpp59 if (val.isUnknownOrUndef()) in convertToArrayIndex()
202 if (val.isUnknownOrUndef() || castTy == originalTy) in evalCast()
DGRState.cpp295 if (newIdx.isUnknownOrUndef()) in assumeInBound()
303 if (newBound.isUnknownOrUndef()) in assumeInBound()
310 if (inBound.isUnknownOrUndef()) in assumeInBound()
DBasicStore.cpp160 if (Val->isUnknownOrUndef()) in LazyRetrieve()
197 return V.isUnknownOrUndef() ? V : CastRetrievedVal(V, TR, T); in Retrieve()
DExprEngine.cpp954 if (X.isUnknownOrUndef()) { in processBranch()
972 if (X.isUnknownOrUndef()) { in processBranch()
2631 if (V.isUnknownOrUndef()) { in VisitUnaryOperator()
2714 if (V2_untested.isUnknownOrUndef()) { in VisitUnaryOperator()
DSimpleSValBuilder.cpp935 if (V.isUnknownOrUndef()) in getKnownValue()
DRegionStore.cpp1081 if (V->isUnknownOrUndef()) in RetrieveElement()
1120 if (val.isUnknownOrUndef()) in RetrieveDerivedDefaultValue()