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 111 milliseconds