Searched refs:UndefinedVal (Results 1 – 16 of 16) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | UndefCapturedBlockVarChecker.cpp | 75 if (Optional<UndefinedVal> V = in checkPostStmt()
76 state->getSVal(I.getOriginalRegion()).getAs<UndefinedVal>()) { in checkPostStmt()
|
| D | ArrayBoundCheckerV2.cpp | 227 return val.getAs<UndefinedVal>() ? svalBuilder.makeArrayIndex(0) : val; in getValue()
261 SVal offset = UndefinedVal(); in computeOffset()
|
| D | ObjCAtSyncChecker.cpp | 45 if (V.getAs<UndefinedVal>()) { in checkPreStmt()
|
| D | MallocChecker.cpp | 767 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State); in checkPostStmt()
776 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State); in checkPostStmt()
784 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State); in checkPostStmt()
788 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State); in checkPostStmt()
808 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State, in checkPostStmt()
818 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State, in checkPostStmt()
823 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State, in checkPostStmt()
1063 return MallocMemAux(C, CE, CE->getArg(*I), UndefinedVal(), State); in MallocMemReturnsAttr()
1065 return MallocMemAux(C, CE, UnknownVal(), UndefinedVal(), State); in MallocMemReturnsAttr()
1943 UndefinedVal(), StatePtrIsNull); in ReallocMem()
|
| D | CStringChecker.cpp | 720 return UndefinedVal(); in getCStringLength()
741 return UndefinedVal(); in getCStringLength()
780 return UndefinedVal(); in getCStringLength()
806 return UndefinedVal(); in getCStringLength()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SVals.h | 191 class UndefinedVal : public SVal {
193 UndefinedVal() : SVal(UndefinedValKind) {} in UndefinedVal() function
263 KnownSVal(const UndefinedVal &V) : SVal(V) {} in KnownSVal()
|
| D | SVals.def | 55 BASIC_SVAL(UndefinedVal, SVal)
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | SVals.cpp | 204 return UndefinedVal(); in evalBinOp()
232 return UndefinedVal(); in evalBinOp()
|
| D | Environment.cpp | 101 return UndefinedVal(); in getSVal()
|
| D | SimpleSValBuilder.cpp | 231 return UndefinedVal(); in MakeSymIntVal()
239 return UndefinedVal(); in MakeSymIntVal()
386 return UndefinedVal(); in evalBinOpNN()
|
| D | RegionStore.cpp | 1351 assert(!L.getAs<UndefinedVal>() && "location undefined"); in getBinding()
1468 return UndefinedVal(); in getBinding()
1597 return UndefinedVal(); in getBindingForElement()
1794 return UndefinedVal(); in getBindingForFieldOrElementCommon()
1863 return UndefinedVal(); in getBindingForVar()
|
| D | Store.cpp | 402 return UndefinedVal(); in getLValueFieldOrIvar()
|
| D | SValBuilder.cpp | 365 return UndefinedVal(); in evalBinOp()
|
| D | CallEvent.cpp | 240 return UndefinedVal(); in getReturnValue()
|
| D | ExprEngine.cpp | 1733 if (V.getAs<loc::ConcreteInt>() || V.getAs<UndefinedVal>()) { in processIndirectGoto()
|
| /external/clang/include/clang/StaticAnalyzer/Checkers/ |
| D | SValExplainer.h | 51 std::string VisitUndefinedVal(UndefinedVal V) { in VisitUndefinedVal()
|