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 | ObjCAtSyncChecker.cpp | 45 if (V.getAs<UndefinedVal>()) { in checkPreStmt()
|
| D | ArrayBoundCheckerV2.cpp | 237 return val.getAs<UndefinedVal>() ? svalBuilder.makeArrayIndex(0) : val; in getValue()
271 SVal offset = UndefinedVal(); in computeOffset()
|
| D | MallocChecker.cpp | 590 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State); in checkPostStmt()
611 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State, in checkPostStmt()
614 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State, in checkPostStmt()
740 return MallocMemAux(C, CE, CE->getArg(*I), UndefinedVal(), C.getState()); in MallocMemReturnsAttr()
742 return MallocMemAux(C, CE, UnknownVal(), UndefinedVal(), C.getState()); in MallocMemReturnsAttr()
1453 UndefinedVal(), StatePtrIsNull); in ReallocMem()
|
| D | CStringChecker.cpp | 688 return UndefinedVal(); in getCStringLength()
709 return UndefinedVal(); in getCStringLength()
748 return UndefinedVal(); in getCStringLength()
774 return UndefinedVal(); in getCStringLength()
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | SVals.cpp | 204 return UndefinedVal(); in evalBinOp()
232 return UndefinedVal(); in evalBinOp()
|
| D | SimpleSValBuilder.cpp | 205 return UndefinedVal(); in MakeSymIntVal()
213 return UndefinedVal(); in MakeSymIntVal()
360 return UndefinedVal(); in evalBinOpNN()
|
| D | Environment.cpp | 99 return UndefinedVal(); in getSVal()
|
| D | RegionStore.cpp | 1268 assert(!L.getAs<UndefinedVal>() && "location undefined"); in getBinding()
1381 return UndefinedVal(); in getBinding()
1510 return UndefinedVal(); in getBindingForElement()
1707 return UndefinedVal(); in getBindingForFieldOrElementCommon()
1776 return UndefinedVal(); in getBindingForVar()
|
| D | Store.cpp | 413 return UndefinedVal(); in getLValueFieldOrIvar()
|
| D | SValBuilder.cpp | 335 return UndefinedVal(); in evalBinOp()
|
| D | CallEvent.cpp | 205 return UndefinedVal(); in getReturnValue()
|
| D | ExprEngine.cpp | 1483 if (V.getAs<loc::ConcreteInt>() || V.getAs<UndefinedVal>()) { in processIndirectGoto()
|
| /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()
|