Searched refs:UnknownVal (Results 1 - 18 of 18) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Core/ |
| H A D | SimpleSValBuilder.cpp | 97 return UnknownVal();
102 return UnknownVal();
107 return UnknownVal();
132 return UnknownVal();
145 // All other cases: return 'UnknownVal'. This includes casting pointers
148 return UnknownVal();
160 return UnknownVal();
169 return UnknownVal();
540 return UnknownVal();
587 return UnknownVal();
[all...] |
| H A D | SValBuilder.cpp | 41 return UnknownVal();
99 return UnknownVal();
123 return UnknownVal();
139 return UnknownVal();
182 return UnknownVal();
227 return UnknownVal();
247 return UnknownVal();
258 return UnknownVal();
333 return R ? SVal(loc::MemRegionVal(R)) : UnknownVal();
384 return UnknownVal();
[all...] |
| H A D | RegionStore.cpp | 553 return addBinding(B, Base, BindingKey::Default, UnknownVal());
855 return UnknownVal();
861 // of VLAs. Returning UnknownVal here, however, is a stop-gap so that
863 return UnknownVal();
886 return UnknownVal();
892 return UnknownVal();
940 return UnknownVal();
948 return UnknownVal();
958 return UnknownVal();
993 return UnknownVal();
[all...] |
| H A D | Store.cpp | 89 // will be interpretted as UnknownVal.
335 return UnknownVal();
344 return UnknownVal();
|
| H A D | CallEvent.cpp | 215 return UnknownVal();
391 return UnknownVal();
401 return UnknownVal();
544 return UnknownVal();
571 return UnknownVal();
617 return UnknownVal();
|
| H A D | ExprEngine.cpp | 951 UnknownVal()));
1075 return UnknownVal();
1084 return UnknownVal();
1099 return UnknownVal();
1413 V = UnknownVal();
1515 Bldr.generateNode(M, Pred, state->BindExpr(M, LCtx, UnknownVal()));
1530 L = UnknownVal();
1689 state->BindExpr(BoundEx, LCtx, UnknownVal()),
1805 state = state->bindLoc(cast<Loc>(X), UnknownVal());
|
| H A D | Environment.cpp | 29 return UnknownVal();
217 // NOTE: This assumes that loads/stores that evaluated to UnknownVal
|
| H A D | ProgramState.cpp | 207 return UnknownVal();
215 return UnknownVal();
|
| H A D | MemRegion.cpp | 189 return UnknownVal();
205 return UnknownVal();
|
| H A D | ExprEngineC.cpp | 473 // UnknownVal.
864 RHS = UnknownVal();
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ArrayBoundCheckerV2.cpp | 50 : baseRegion(0), byteOffset(UnknownVal()) {}
77 return UnknownVal();
252 // summing to UnknownVal. Used by 'computeOffset'.
258 return UnknownVal();
|
| H A D | OSAtomicChecker.cpp | 191 SVal Res = UnknownVal();
202 SVal Res = UnknownVal();
|
| H A D | CStringChecker.cpp | 724 return UnknownVal();
728 // its length. For anything we can't figure out, just return UnknownVal.
748 return UnknownVal();
752 return UnknownVal();
1166 DefinedOrUnknownSVal result = UnknownVal();
1334 SVal amountCopied = UnknownVal();
1335 SVal maxLastElementIndex = UnknownVal();
1475 SVal finalStrLength = UnknownVal();
1544 SVal Result = (returnEnd ? UnknownVal() : DstVal);
1600 finalStrLength = UnknownVal();
[all...] |
| H A D | MallocChecker.cpp | 530 return MallocMemAux(C, CE, UnknownVal(), UndefinedVal(), C.getState());
925 UnknownVal(), stateFree);
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SVals.h | 49 UnknownKind = 1, // for subclass UnknownVal (a void value)
193 class UnknownVal : public DefinedOrUnknownSVal { class in namespace:clang::ento
195 explicit UnknownVal() : DefinedOrUnknownSVal(UnknownKind) {} function in class:clang::ento::UnknownVal
|
| H A D | Store.h | 121 return UnknownVal();
|
| H A D | ProgramState.h | 261 /// Returns UnknownVal() if none found.
268 /// Returns UnknownVal() if none found.
669 return UnknownVal();
688 return UnknownVal();
|
| H A D | MemRegion.h | 414 return UnknownVal();
|
Completed in 116 milliseconds