Searched refs:UndefinedVal (Results 1 – 14 of 14) 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 | 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()
1055 return MallocMemAux(C, CE, CE->getArg(*I), UndefinedVal(), State); in MallocMemReturnsAttr()
1057 return MallocMemAux(C, CE, UnknownVal(), UndefinedVal(), State); in MallocMemReturnsAttr()
1935 UndefinedVal(), StatePtrIsNull); in ReallocMem()
|
| D | CStringChecker.cpp | 716 return UndefinedVal(); in getCStringLength()
737 return UndefinedVal(); in getCStringLength()
776 return UndefinedVal(); in getCStringLength()
802 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 | 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 | 230 return UndefinedVal(); in getReturnValue()
|
| D | ExprEngine.cpp | 1717 if (V.getAs<loc::ConcreteInt>() || V.getAs<UndefinedVal>()) { in processIndirectGoto()
|