| /external/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| D | CheckerContext.cpp | 103 if (LHSVal.isUnknownOrUndef()) in evalComparison()
109 if (LHSVal.isUnknownOrUndef() || !LHSVal.getAs<NonLoc>()) in evalComparison()
116 if (Eval.isUnknownOrUndef()) in evalComparison()
|
| D | Store.cpp | 407 if (castTy.isNull() || V.isUnknownOrUndef()) in CastRetrievedVal()
440 if (Base.isUnknownOrUndef()) in getLValueFieldOrIvar()
490 if (Base.isUnknownOrUndef() || Base.getAs<loc::ConcreteInt>()) in getLValueElement()
|
| D | ProgramState.cpp | 344 if (newIdx.isUnknownOrUndef()) in assumeInBound()
352 if (newBound.isUnknownOrUndef()) in assumeInBound()
358 if (inBound.isUnknownOrUndef()) in assumeInBound()
|
| D | SValBuilder.cpp | 100 if (val.isUnknownOrUndef()) in convertToArrayIndex()
537 if (val.isUnknownOrUndef() || castTy == originalTy) in evalCast()
541 if (val.isUnknownOrUndef()) in evalCast()
|
| D | ExprEngineC.cpp | 1029 if (V.isUnknownOrUndef()) { in VisitUnaryOperator()
1099 if (V2_untested.isUnknownOrUndef()) { in VisitIncrementDecrementOperator()
|
| D | RegionStore.cpp | 1722 if (V->isUnknownOrUndef()) in getBindingForElement()
1790 if (val.isUnknownOrUndef()) in getBindingForDerivedDefaultValue()
2034 if (V.isUnknownOrUndef() || V.isConstant()) in getInterestingValues()
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | ArrayBoundCheckerV2.cpp | 246 if (x.isUnknownOrUndef() || y.isUnknownOrUndef()) in addValue()
268 if (!offset.isUnknownOrUndef()) in computeOffset()
293 if (offset.isUnknownOrUndef()) in computeOffset()
|
| D | ObjCContainersChecker.cpp | 71 if (SizeV.isUnknownOrUndef()) in REGISTER_MAP_WITH_PROGRAMSTATE()
132 if (IdxVal.isUnknownOrUndef()) in checkPreStmt()
|
| D | UnixAPIChecker.cpp | 143 if (maskedFlagsUC.isUnknownOrUndef()) in CheckOpen()
270 if (argVal.isUnknownOrUndef()) in BasicAllocationCheck()
297 if (argVal.isUnknownOrUndef()) { in CheckCallocZero()
|
| D | PthreadLockChecker.cpp | 135 if (X.isUnknownOrUndef()) in AcquireLock()
|
| D | GenericTaintChecker.cpp | 430 if (AddrVal.isUnknownOrUndef()) in getPointedToSymbol()
|
| /external/llvm-project/llvm/lib/Transforms/Scalar/ |
| D | SCCP.cpp | 108 return !LV.isUnknownOrUndef() && !isConstant(LV); in isOverdefined()
631 if (!BCValue.isUnknownOrUndef()) in getFeasibleSuccessors()
674 if (!SCValue.isUnknownOrUndef()) in getFeasibleSuccessors()
687 if (!IBRValue.isUnknownOrUndef()) in getFeasibleSuccessors()
859 } else if (!OpSt.isUnknownOrUndef()) in visitCastInst()
939 if (CondValue.isUnknownOrUndef()) in visitSelectInst()
996 if (V1State.isUnknownOrUndef() || V2State.isUnknownOrUndef()) in visitBinaryOperator()
1070 if ((V1State.isUnknownOrUndef() || V2State.isUnknownOrUndef()) && in visitCmpInst()
1088 if (State.isUnknownOrUndef()) in visitGetElementPtrInst()
1156 if (PtrVal.isUnknownOrUndef()) in visitLoadInst()
[all …]
|
| /external/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| D | ArrayBoundCheckerV2.cpp | 297 if (x.isUnknownOrUndef() || y.isUnknownOrUndef()) in addValue()
319 if (!offset.isUnknownOrUndef()) in computeOffset()
344 if (offset.isUnknownOrUndef()) in computeOffset()
|
| D | ObjCContainersChecker.cpp | 73 if (SizeV.isUnknownOrUndef()) in REGISTER_MAP_WITH_PROGRAMSTATE()
134 if (IdxVal.isUnknownOrUndef()) in checkPreStmt()
|
| D | UnixAPIChecker.cpp | 244 if (maskedFlagsUC.isUnknownOrUndef()) in CheckOpenVariant()
379 if (argVal.isUnknownOrUndef()) in BasicAllocationCheck()
406 if (argVal.isUnknownOrUndef()) { in CheckCallocZero()
|
| D | GenericTaintChecker.cpp | 655 if (AddrVal.isUnknownOrUndef()) in getPointeeOf()
|
| /external/llvm-project/llvm/include/llvm/Analysis/ |
| D | ValueLattice.h | 240 bool isUnknownOrUndef() const { return Tag == unknown || Tag == undef; } in isUnknownOrUndef() function
454 if (isUnknownOrUndef() || Other.isUnknownOrUndef()) in getCompare()
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | Store.cpp | 370 if (castTy.isNull() || V.isUnknownOrUndef()) in CastRetrievedVal()
389 if (Base.isUnknownOrUndef()) in getLValueFieldOrIvar()
434 if (Base.isUnknownOrUndef() || Base.getAs<loc::ConcreteInt>()) in getLValueElement()
|
| D | SValBuilder.cpp | 77 if (val.isUnknownOrUndef()) in convertToArrayIndex()
474 if (val.isUnknownOrUndef() || castTy == originalTy) in evalCast()
478 if (val.isUnknownOrUndef()) in evalCast()
|
| D | ProgramState.cpp | 328 if (newIdx.isUnknownOrUndef()) in assumeInBound()
336 if (newBound.isUnknownOrUndef()) in assumeInBound()
342 if (inBound.isUnknownOrUndef()) in assumeInBound()
|
| D | ExprEngineC.cpp | 877 if (V.isUnknownOrUndef()) { in VisitUnaryOperator()
948 if (V2_untested.isUnknownOrUndef()) { in VisitIncrementDecrementOperator()
|
| D | RegionStore.cpp | 1635 if (V->isUnknownOrUndef()) in getBindingForElement()
1673 if (val.isUnknownOrUndef()) in getBindingForDerivedDefaultValue()
1897 if (V.isUnknownOrUndef() || V.isConstant()) in getInterestingValues()
|
| D | SimpleSValBuilder.cpp | 931 if (V.isUnknownOrUndef()) in getKnownValue()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SVals.h | 125 inline bool isUnknownOrUndef() const { in isUnknownOrUndef() function
240 bool isUnknownOrUndef() const = delete;
249 return !V.isUnknownOrUndef(); in isKind()
|
| /external/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SVals.h | 144 bool isUnknownOrUndef() const { in isUnknownOrUndef() function
261 bool isUnknownOrUndef() const = delete;
273 return !V.isUnknownOrUndef(); in isKind()
|