Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Checkers/
DArrayBoundCheckerV2.cpp246 if (x.isUnknownOrUndef() || y.isUnknownOrUndef()) in addValue()
268 if (!offset.isUnknownOrUndef()) in computeOffset()
293 if (offset.isUnknownOrUndef()) in computeOffset()
DObjCContainersChecker.cpp71 if (SizeV.isUnknownOrUndef()) in REGISTER_MAP_WITH_PROGRAMSTATE()
132 if (IdxVal.isUnknownOrUndef()) in checkPreStmt()
DUnixAPIChecker.cpp143 if (maskedFlagsUC.isUnknownOrUndef()) in CheckOpen()
270 if (argVal.isUnknownOrUndef()) in BasicAllocationCheck()
297 if (argVal.isUnknownOrUndef()) { in CheckCallocZero()
DPthreadLockChecker.cpp135 if (X.isUnknownOrUndef()) in AcquireLock()
DGenericTaintChecker.cpp430 if (AddrVal.isUnknownOrUndef()) in getPointedToSymbol()
DMallocChecker.cpp731 if (MaskedFlagsUC.isUnknownOrUndef()) in performKernelMalloc()
1338 if (ArgVal.isUnknownOrUndef()) in FreeMemAux()
/external/clang/lib/StaticAnalyzer/Core/
DStore.cpp370 if (castTy.isNull() || V.isUnknownOrUndef()) in CastRetrievedVal()
389 if (Base.isUnknownOrUndef()) in getLValueFieldOrIvar()
434 if (Base.isUnknownOrUndef() || Base.getAs<loc::ConcreteInt>()) in getLValueElement()
DSValBuilder.cpp77 if (val.isUnknownOrUndef()) in convertToArrayIndex()
474 if (val.isUnknownOrUndef() || castTy == originalTy) in evalCast()
478 if (val.isUnknownOrUndef()) in evalCast()
DProgramState.cpp328 if (newIdx.isUnknownOrUndef()) in assumeInBound()
336 if (newBound.isUnknownOrUndef()) in assumeInBound()
342 if (inBound.isUnknownOrUndef()) in assumeInBound()
DExprEngineC.cpp877 if (V.isUnknownOrUndef()) { in VisitUnaryOperator()
948 if (V2_untested.isUnknownOrUndef()) { in VisitIncrementDecrementOperator()
DRegionStore.cpp1635 if (V->isUnknownOrUndef()) in getBindingForElement()
1673 if (val.isUnknownOrUndef()) in getBindingForDerivedDefaultValue()
1897 if (V.isUnknownOrUndef() || V.isConstant()) in getInterestingValues()
DExprEngine.cpp508 if (InitVal.isUnknownOrUndef()) { in ProcessInitializer()
1624 if (X.isUnknownOrUndef()) { in processBranch()
1645 if (X.isUnknownOrUndef()) { in processBranch()
DSimpleSValBuilder.cpp931 if (V.isUnknownOrUndef()) in getKnownValue()
DCallEvent.cpp466 assert(ThisVal.isUnknownOrUndef() || ThisVal.getAs<Loc>()); in getCXXThisVal()
DBugReporterVisitors.cpp251 if (V.isUnknownOrUndef()) in visitNodeInitial()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DSVals.h125 inline bool isUnknownOrUndef() const { in isUnknownOrUndef() function
240 bool isUnknownOrUndef() const = delete;
249 return !V.isUnknownOrUndef(); in isKind()