Rename instance variable to avoid name conflict with parameters, and modify addTransition() to compare the correct state values.
llvm-svn: 90552
diff --git a/clang/lib/Analysis/Checker.cpp b/clang/lib/Analysis/Checker.cpp
index 0d907e5..fb9d04d 100644
--- a/clang/lib/Analysis/Checker.cpp
+++ b/clang/lib/Analysis/Checker.cpp
@@ -24,10 +24,10 @@
// 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);