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 | 226 return val.getAs<UndefinedVal>() ? svalBuilder.makeArrayIndex(0) : val; in getValue()
260 SVal offset = UndefinedVal(); in computeOffset()
|
| D | ObjCAtSyncChecker.cpp | 45 if (V.getAs<UndefinedVal>()) { in checkPreStmt()
|
| D | MallocChecker.cpp | 757 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State); in checkPostStmt()
766 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State); in checkPostStmt()
774 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State); in checkPostStmt()
778 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State); in checkPostStmt()
797 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State, in checkPostStmt()
807 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State, in checkPostStmt()
812 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State, in checkPostStmt()
1051 return MallocMemAux(C, CE, CE->getArg(*I), UndefinedVal(), State); in MallocMemReturnsAttr()
1053 return MallocMemAux(C, CE, UnknownVal(), UndefinedVal(), State); in MallocMemReturnsAttr()
1927 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 | 1259 assert(!L.getAs<UndefinedVal>() && "location undefined"); in getBinding()
1372 return UndefinedVal(); in getBinding()
1501 return UndefinedVal(); in getBindingForElement()
1698 return UndefinedVal(); in getBindingForFieldOrElementCommon()
1767 return UndefinedVal(); in getBindingForVar()
|
| D | Store.cpp | 402 return UndefinedVal(); in getLValueFieldOrIvar()
|
| D | SValBuilder.cpp | 337 return UndefinedVal(); in evalBinOp()
|
| D | CallEvent.cpp | 212 return UndefinedVal(); in getReturnValue()
|
| D | ExprEngine.cpp | 1671 if (V.getAs<loc::ConcreteInt>() || V.getAs<UndefinedVal>()) { in processIndirectGoto()
|