| /external/clang/lib/StaticAnalyzer/Checkers/ |
| UndefCapturedBlockVarChecker.cpp | 78 if (Optional<UndefinedVal> V =
79 state->getSVal(I.getOriginalRegion()).getAs<UndefinedVal>()) {
|
| ObjCAtSyncChecker.cpp | 45 if (V.getAs<UndefinedVal>()) {
|
| ArrayBoundCheckerV2.cpp | 237 return val.getAs<UndefinedVal>() ? svalBuilder.makeArrayIndex(0) : val;
271 SVal offset = UndefinedVal();
|
| MallocChecker.cpp | 590 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State);
611 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State,
614 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State,
740 return MallocMemAux(C, CE, CE->getArg(*I), UndefinedVal(), C.getState());
742 return MallocMemAux(C, CE, UnknownVal(), UndefinedVal(), C.getState());
[all...] |
| CStringChecker.cpp | 688 return UndefinedVal();
709 return UndefinedVal();
745 // In this case, an error is emitted and UndefinedVal is returned.
748 return UndefinedVal();
774 return UndefinedVal();
[all...] |
| /external/clang/lib/StaticAnalyzer/Core/ |
| SVals.cpp | 204 return UndefinedVal();
232 return UndefinedVal();
|
| Environment.cpp | 99 return UndefinedVal();
|
| SimpleSValBuilder.cpp | 205 return UndefinedVal();
213 return UndefinedVal();
360 return UndefinedVal();
[all...] |
| Store.cpp | 413 return UndefinedVal();
|
| RegionStore.cpp | [all...] |
| SValBuilder.cpp | 335 return UndefinedVal();
|
| CallEvent.cpp | 205 return UndefinedVal();
[all...] |
| ExprEngine.cpp | [all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| SVals.h | 48 UndefinedKind = 0, // for subclass UndefinedVal (an uninitialized value)
191 class UndefinedVal : public SVal {
193 UndefinedVal() : SVal(UndefinedKind) {}
263 KnownSVal(const UndefinedVal &V) : SVal(V) {}
|
