diff options
| author | Dimitry Andric <dim@FreeBSD.org> | 2016-01-13 20:00:46 +0000 | 
|---|---|---|
| committer | Dimitry Andric <dim@FreeBSD.org> | 2016-01-13 20:00:46 +0000 | 
| commit | 0414e226b73ef7952be3ef346c1c802e7f036f54 (patch) | |
| tree | ff0114c0524108a01707e4101f3224db0d7fd01f /lib/StaticAnalyzer/Core/ProgramState.cpp | |
| parent | 97b17066aaac3f1590a809d79abe98fde03821ec (diff) | |
Notes
Diffstat (limited to 'lib/StaticAnalyzer/Core/ProgramState.cpp')
| -rw-r--r-- | lib/StaticAnalyzer/Core/ProgramState.cpp | 18 | 
1 files changed, 9 insertions, 9 deletions
diff --git a/lib/StaticAnalyzer/Core/ProgramState.cpp b/lib/StaticAnalyzer/Core/ProgramState.cpp index 4f9ad9ebccd9d..100fa75c5f421 100644 --- a/lib/StaticAnalyzer/Core/ProgramState.cpp +++ b/lib/StaticAnalyzer/Core/ProgramState.cpp @@ -536,19 +536,19 @@ bool ScanReachableSymbols::scan(const SymExpr *sym) {    // TODO: should be rewritten using SymExpr::symbol_iterator.    switch (sym->getKind()) { -    case SymExpr::RegionValueKind: -    case SymExpr::ConjuredKind: -    case SymExpr::DerivedKind: -    case SymExpr::ExtentKind: -    case SymExpr::MetadataKind: +    case SymExpr::SymbolRegionValueKind: +    case SymExpr::SymbolConjuredKind: +    case SymExpr::SymbolDerivedKind: +    case SymExpr::SymbolExtentKind: +    case SymExpr::SymbolMetadataKind:        break; -    case SymExpr::CastSymbolKind: +    case SymExpr::SymbolCastKind:        return scan(cast<SymbolCast>(sym)->getOperand()); -    case SymExpr::SymIntKind: +    case SymExpr::SymIntExprKind:        return scan(cast<SymIntExpr>(sym)->getLHS()); -    case SymExpr::IntSymKind: +    case SymExpr::IntSymExprKind:        return scan(cast<IntSymExpr>(sym)->getRHS()); -    case SymExpr::SymSymKind: { +    case SymExpr::SymSymExprKind: {        const SymSymExpr *x = cast<SymSymExpr>(sym);        return scan(x->getLHS()) && scan(x->getRHS());      }  | 
