Searched refs:UndefinedVal (Results 1 – 14 of 14) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | UndefCapturedBlockVarChecker.cpp | 78 if (Optional<UndefinedVal> V = in checkPostStmt()
79 state->getSVal(I.getOriginalRegion()).getAs<UndefinedVal>()) { in checkPostStmt()
|
| D | ArrayBoundCheckerV2.cpp | 237 return val.getAs<UndefinedVal>() ? svalBuilder.makeArrayIndex(0) : val; in getValue()
271 SVal offset = UndefinedVal(); in computeOffset()
|
| D | ObjCAtSyncChecker.cpp | 45 if (V.getAs<UndefinedVal>()) { in checkPreStmt()
|
| D | MallocChecker.cpp | 684 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State); in checkPostStmt()
691 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State); in checkPostStmt()
699 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State); in checkPostStmt()
703 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State); in checkPostStmt()
724 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State, in checkPostStmt()
727 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State, in checkPostStmt()
851 return MallocMemAux(C, CE, CE->getArg(*I), UndefinedVal(), C.getState()); in MallocMemReturnsAttr()
853 return MallocMemAux(C, CE, UnknownVal(), UndefinedVal(), C.getState()); in MallocMemReturnsAttr()
1621 UndefinedVal(), StatePtrIsNull); in ReallocMem()
|
| D | CStringChecker.cpp | 708 return UndefinedVal(); in getCStringLength()
729 return UndefinedVal(); in getCStringLength()
768 return UndefinedVal(); in getCStringLength()
795 return UndefinedVal(); in getCStringLength()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SVals.h | 191 class UndefinedVal : public SVal {
193 UndefinedVal() : SVal(UndefinedKind) {} in UndefinedVal() function
263 KnownSVal(const UndefinedVal &V) : SVal(V) {} in KnownSVal()
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | SVals.cpp | 204 return UndefinedVal(); in evalBinOp()
232 return UndefinedVal(); in evalBinOp()
|
| D | Environment.cpp | 100 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 | 1258 assert(!L.getAs<UndefinedVal>() && "location undefined"); in getBinding()
1371 return UndefinedVal(); in getBinding()
1500 return UndefinedVal(); in getBindingForElement()
1697 return UndefinedVal(); in getBindingForFieldOrElementCommon()
1766 return UndefinedVal(); in getBindingForVar()
|
| D | Store.cpp | 413 return UndefinedVal(); in getLValueFieldOrIvar()
|
| D | SValBuilder.cpp | 337 return UndefinedVal(); in evalBinOp()
|
| D | CallEvent.cpp | 212 return UndefinedVal(); in getReturnValue()
|
| D | ExprEngine.cpp | 1580 if (V.getAs<loc::ConcreteInt>() || V.getAs<UndefinedVal>()) { in processIndirectGoto()
|