diff options
| author | Dominic Chen <d.c.ddcc@gmail.com> | 2017-02-25 04:51:31 +0000 |
|---|---|---|
| committer | Dominic Chen <d.c.ddcc@gmail.com> | 2017-02-25 04:51:31 +0000 |
| commit | 9bc02cee8ddfe747cfe060a50da5a27d72e6a0b3 (patch) | |
| tree | ff84979d63a28e2fd1788002590239b642992930 /clang/lib/StaticAnalyzer/Core/ConstraintManager.cpp | |
| parent | 9488560bb8828018450ca43844638b2e2d66b070 (diff) | |
| download | bcm5719-llvm-9bc02cee8ddfe747cfe060a50da5a27d72e6a0b3.tar.gz bcm5719-llvm-9bc02cee8ddfe747cfe060a50da5a27d72e6a0b3.zip | |
[analyzer] Refactor and simplify SimpleConstraintManager
Summary: SimpleConstraintManager is difficult to use, and makes assumptions about capabilities of the constraint manager. This patch refactors out those portions into a new RangedConstraintManager, and also fixes some issues with camel case, formatting, and confusing naming.
Reviewers: zaks.anna, dcoughlin
Subscribers: mgorny, xazax.hun, NoQ, rgov, cfe-commits
Differential Revision: https://reviews.llvm.org/D26061
llvm-svn: 296242
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/ConstraintManager.cpp')
| -rw-r--r-- | clang/lib/StaticAnalyzer/Core/ConstraintManager.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/ConstraintManager.cpp b/clang/lib/StaticAnalyzer/Core/ConstraintManager.cpp index b7db8333aaa..8de2b0e8d27 100644 --- a/clang/lib/StaticAnalyzer/Core/ConstraintManager.cpp +++ b/clang/lib/StaticAnalyzer/Core/ConstraintManager.cpp @@ -20,8 +20,8 @@ ConstraintManager::~ConstraintManager() {} static DefinedSVal getLocFromSymbol(const ProgramStateRef &State, SymbolRef Sym) { - const MemRegion *R = State->getStateManager().getRegionManager() - .getSymbolicRegion(Sym); + const MemRegion *R = + State->getStateManager().getRegionManager().getSymbolicRegion(Sym); return loc::MemRegionVal(R); } |
