| /external/clang/lib/StaticAnalyzer/Core/ |
| SimpleSValBuilder.cpp | 96 return UnknownVal();
101 return UnknownVal();
106 return UnknownVal();
133 return UnknownVal();
148 // All other cases: return 'UnknownVal'. This includes casting pointers
151 return UnknownVal();
163 return UnknownVal();
172 return UnknownVal();
561 return UnknownVal();
608 return UnknownVal();
[all...] |
| SValBuilder.cpp | 40 return UnknownVal();
99 return UnknownVal();
125 return UnknownVal();
142 return UnknownVal();
173 return UnknownVal();
221 return UnknownVal();
232 return UnknownVal();
307 return R ? SVal(loc::MemRegionVal(R)) : UnknownVal();
355 return UnknownVal();
380 // Evaluates to UnknownVal
[all...] |
| ObjCMessage.cpp | 63 return UnknownVal();
|
| RegionStore.cpp | 823 return UnknownVal();
829 // of VLAs. Returning UnknownVal here, however, is a stop-gap so that
831 return UnknownVal();
854 return UnknownVal();
860 return UnknownVal();
896 return UnknownVal();
904 return UnknownVal();
[all...] |
| Store.cpp | 77 // will be interpretted as UnknownVal.
312 return UnknownVal();
321 return UnknownVal();
|
| ExprEngineObjC.cpp | 235 SVal ReturnValue = UnknownVal();
|
| ExprEngine.cpp | [all...] |
| Environment.cpp | 29 return UnknownVal();
208 // NOTE: This assumes that loads/stores that evaluated to UnknownVal
|
| MemRegion.cpp | 189 return UnknownVal();
205 return UnknownVal();
[all...] |
| ProgramState.cpp | 218 return UnknownVal();
226 return UnknownVal();
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| AdjustedReturnValueChecker.cpp | 50 C.addTransition(state->BindExpr(CE, LCtx, UnknownVal()));
|
| ArrayBoundCheckerV2.cpp | 50 : baseRegion(0), byteOffset(UnknownVal()) {}
77 return UnknownVal();
252 // summing to UnknownVal. Used by 'computeOffset'.
258 return UnknownVal();
|
| OSAtomicChecker.cpp | 191 SVal Res = UnknownVal();
203 SVal Res = UnknownVal();
|
| CStringChecker.cpp | 725 return UnknownVal();
729 // its length. For anything we can't figure out, just return UnknownVal.
749 return UnknownVal();
753 return UnknownVal();
[all...] |
| MallocChecker.cpp | 418 return MallocMemAux(C, CE, UnknownVal(), UndefinedVal(), C.getState());
794 UnknownVal(), stateFree);
[all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| SVals.h | 49 UnknownKind = 1, // for subclass UnknownVal (a void value)
197 class UnknownVal : public DefinedOrUnknownSVal {
199 explicit UnknownVal() : DefinedOrUnknownSVal(UnknownKind) {}
|
| Store.h | 115 return UnknownVal();
|
| ProgramState.h | 254 /// Returns UnknownVal() if none found.
261 /// Returns UnknownVal() if none found.
656 return UnknownVal();
679 return UnknownVal();
|
| MemRegion.h | 387 return UnknownVal();
[all...] |
