diff options
author | Ted Kremenek <kremenek@apple.com> | 2009-12-04 06:57:49 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2009-12-04 06:57:49 +0000 |
commit | bfb4fc9ebc64ec3db597441d4b79adcd0f69cf58 (patch) | |
tree | ec282d7a1f168ed001701aa0a51fbbe85cf34044 /lib/Analysis/Checker.cpp | |
parent | 6dea40475158edea3b64e1247b07b94db4f48dc8 (diff) |
Rename instance variable to avoid name conflict with parameters, and modify addTransition() to compare the correct state values.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@90552 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/Checker.cpp')
-rw-r--r-- | lib/Analysis/Checker.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Analysis/Checker.cpp b/lib/Analysis/Checker.cpp index 0d907e5016..fb9d04d947 100644 --- a/lib/Analysis/Checker.cpp +++ b/lib/Analysis/Checker.cpp @@ -24,10 +24,10 @@ CheckerContext::~CheckerContext() { // if we are building sinks or we generated a node and decided to not // add it as a transition. if (Dst.size() == size && !B.BuildSinks && !B.HasGeneratedNode) { - if (state && state != B.GetState(Pred)) { + if (ST && ST != B.GetState(Pred)) { static int autoTransitionTag = 0; B.Tag = &autoTransitionTag; - addTransition(state); + addTransition(ST); } else Dst.Add(Pred); |