| /external/clang/lib/StaticAnalyzer/Checkers/ |
| UndefCapturedBlockVarChecker.cpp | 75 if (Optional<UndefinedVal> V =
76 state->getSVal(I.getOriginalRegion()).getAs<UndefinedVal>()) {
|
| ObjCAtSyncChecker.cpp | 45 if (V.getAs<UndefinedVal>()) {
|
| ArrayBoundCheckerV2.cpp | 227 return val.getAs<UndefinedVal>() ? svalBuilder.makeArrayIndex(0) : val;
261 SVal offset = UndefinedVal();
|
| MallocChecker.cpp | 767 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State);
776 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State);
784 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State);
788 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State);
808 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State,
818 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State,
823 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State,
[all...] |
| CStringChecker.cpp | 720 return UndefinedVal();
741 return UndefinedVal();
777 // In this case, an error is emitted and UndefinedVal is returned.
780 return UndefinedVal();
806 return UndefinedVal();
[all...] |
| /external/clang/lib/StaticAnalyzer/Core/ |
| SVals.cpp | 204 return UndefinedVal();
232 return UndefinedVal();
|
| Environment.cpp | 101 return UndefinedVal();
|
| SimpleSValBuilder.cpp | 231 return UndefinedVal();
239 return UndefinedVal();
386 return UndefinedVal();
[all...] |
| Store.cpp | 402 return UndefinedVal();
|
| RegionStore.cpp | [all...] |
| SValBuilder.cpp | 365 return UndefinedVal();
|
| CallEvent.cpp | 240 return UndefinedVal();
[all...] |
| ExprEngine.cpp | [all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| SVals.h | 191 class UndefinedVal : public SVal {
193 UndefinedVal() : SVal(UndefinedValKind) {}
263 KnownSVal(const UndefinedVal &V) : SVal(V) {}
|
| /external/swiftshader/third_party/llvm-7.0/llvm/unittests/Analysis/ |
| SparsePropagation.cpp | 58 UndefinedVal,
64 TestLatticeVal() : LatticeVal(nullptr, UndefinedVal) {}
106 TestLatticeVal(nullptr, TestLatticeVal::UndefinedVal),
|
| /external/clang/include/clang/StaticAnalyzer/Checkers/ |
| SValExplainer.h | 51 std::string VisitUndefinedVal(UndefinedVal V) {
|
