Searched refs:UndefinedVal (Results 1 - 12 of 12) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ObjCAtSyncChecker.cpp | 45 if (isa<UndefinedVal>(V)) {
|
| H A D | ArrayBoundCheckerV2.cpp | 238 return isa<UndefinedVal>(val) ? svalBuilder.makeArrayIndex(0) : val;
272 SVal offset = UndefinedVal();
|
| H A D | MallocChecker.cpp | 452 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State);
528 return MallocMemAux(C, CE, CE->getArg(*I), UndefinedVal(), C.getState());
530 return MallocMemAux(C, CE, UnknownVal(), UndefinedVal(), C.getState());
892 UndefinedVal(), StatePtrIsNull);
|
| H A D | CStringChecker.cpp | 698 return UndefinedVal();
719 return UndefinedVal();
755 // In this case, an error is emitted and UndefinedVal is returned.
758 return UndefinedVal();
784 return UndefinedVal();
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| H A D | SVals.cpp | 196 return UndefinedVal();
225 return UndefinedVal();
|
| H A D | Environment.cpp | 121 return UndefinedVal();
|
| H A D | Store.cpp | 275 return UndefinedVal();
|
| H A D | SimpleSValBuilder.cpp | 226 return UndefinedVal();
234 return UndefinedVal();
381 return UndefinedVal();
|
| H A D | SValBuilder.cpp | 255 return UndefinedVal();
|
| H A D | RegionStore.cpp | 1028 assert(!isa<UndefinedVal>(L) && "location undefined");
1138 return UndefinedVal();
1227 return UndefinedVal();
1387 return UndefinedVal();
1464 return UndefinedVal();
|
| H A D | ExprEngine.cpp | 1264 if (isa<loc::ConcreteInt>(V) || isa<UndefinedVal>(V)) {
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SVals.h | 48 UndefinedKind = 0, // for subclass UndefinedVal (an uninitialized value)
163 class UndefinedVal : public SVal { class in namespace:clang::ento
165 UndefinedVal() : SVal(UndefinedKind) {} function in class:clang::ento::UndefinedVal
|
Completed in 152 milliseconds