diff options
| author | Ted Kremenek <kremenek@apple.com> | 2011-08-15 22:09:50 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2011-08-15 22:09:50 +0000 |
| commit | 001fd5b4982fc7e9619b4d1e6dfb797cb777d271 (patch) | |
| tree | 0266934c8a570a67f4d481aab28e780d728ea285 /clang/lib/StaticAnalyzer/Core/Environment.cpp | |
| parent | 8bc586e770464d9ac799b79406e33cfc9c10928a (diff) | |
| download | bcm5719-llvm-001fd5b4982fc7e9619b4d1e6dfb797cb777d271.tar.gz bcm5719-llvm-001fd5b4982fc7e9619b4d1e6dfb797cb777d271.zip | |
Rename GRState to ProgramState, and cleanup some code formatting along the way.
llvm-svn: 137665
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/Environment.cpp')
| -rw-r--r-- | clang/lib/StaticAnalyzer/Core/Environment.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/Environment.cpp b/clang/lib/StaticAnalyzer/Core/Environment.cpp index 2572c12a141..2cc8bb0e77b 100644 --- a/clang/lib/StaticAnalyzer/Core/Environment.cpp +++ b/clang/lib/StaticAnalyzer/Core/Environment.cpp @@ -13,7 +13,7 @@ #include "clang/Analysis/AnalysisContext.h" #include "clang/Analysis/CFG.h" -#include "clang/StaticAnalyzer/Core/PathSensitive/GRState.h" +#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h" using namespace clang; using namespace ento; @@ -143,7 +143,7 @@ static inline bool IsLocation(const Stmt *S) { Environment EnvironmentManager::removeDeadBindings(Environment Env, SymbolReaper &SymReaper, - const GRState *ST) { + const ProgramState *ST) { // We construct a new Environment object entirely, as this is cheaper than // individually removing all the subexpression bindings (which will greatly |
