| /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 | 684 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State);
691 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State);
699 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State);
703 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State);
724 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State,
727 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State,
851 return MallocMemAux(C, CE, CE->getArg(*I), UndefinedVal(), C.getState());
[all...] |
| CStringChecker.cpp | 708 return UndefinedVal();
729 return UndefinedVal();
765 // In this case, an error is emitted and UndefinedVal is returned.
768 return UndefinedVal();
795 return UndefinedVal();
[all...] |
| /external/clang/lib/StaticAnalyzer/Core/ |
| SVals.cpp | 204 return UndefinedVal();
232 return UndefinedVal();
|
| Environment.cpp | 100 return UndefinedVal();
|
| SimpleSValBuilder.cpp | 231 return UndefinedVal();
239 return UndefinedVal();
386 return UndefinedVal();
[all...] |
| Store.cpp | 413 return UndefinedVal();
|
| RegionStore.cpp | [all...] |
| SValBuilder.cpp | 337 return UndefinedVal();
|
| CallEvent.cpp | 212 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) {}
|
