commit b473816b4a067514385281be17ba7a1e1c84a483
author Anna Zaks <ganna@apple.com> Tue Oct 25 19:57:06 2011 +0000
committer Anna Zaks <ganna@apple.com> Tue Oct 25 19:57:06 2011 +0000
tree 6f87b9e202b17132400fbdb8174dad93e4263986
parent 513921dc8a1e542ecc0b2cf787cdac2dec8f4077

[analyzer] Simplify CheckerContext

Remove dead members/parameters: ProgramState, respondsToCallback, autoTransition.
Remove addTransition method since it's the same as generateNode. Maybe we should
rename generateNode to genTransition (since a transition is always automatically
generated)?

llvm-svn: 142946

clang/lib/StaticAnalyzer/Checkers/ObjCAtSyncChecker.cpp

diff --git a/clang/lib/StaticAnalyzer/Checkers/ObjCAtSyncChecker.cpp b/clang/lib/StaticAnalyzer/Checkers/ObjCAtSyncChecker.cpp
index 3e4e07b..85ed860 100644
--- a/clang/lib/StaticAnalyzer/Checkers/ObjCAtSyncChecker.cpp
+++ b/clang/lib/StaticAnalyzer/Checkers/ObjCAtSyncChecker.cpp
@@ -84,7 +84,7 @@
   }
 
   if (notNullState)
-    C.addTransition(notNullState);
+    C.generateNode(notNullState);
 }
 
 void ento::registerObjCAtSyncChecker(CheckerManager &mgr) {