[cfe-commits] r141098 - in /cfe/trunk: include/clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h lib/StaticAnalyzer/Checkers/NoReturnFunctionChecker.cpp

[Anna Zaks]

Author: zaks
Date: Tue Oct  4 13:34:40 2011
New Revision: 141098

URL: http://llvm.org/viewvc/llvm-project?rev=141098&view=rev
Log:
[analyzer] Remove unused methods, add comments to others.

Modified:
    cfe/trunk/include/clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h
    cfe/trunk/lib/StaticAnalyzer/Checkers/NoReturnFunctionChecker.cpp

Modified: 
cfe/trunk/include/clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h
URL: 
http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h?rev=141098&r1=141097&r2=141098&view=diff
==============================================================================
--- cfe/trunk/include/clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h 
(original)
+++ cfe/trunk/include/clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h 
Tue Oct  4 13:34:40 2011
@@ -107,6 +107,8 @@
     return Eng.isObjCGCEnabled();
   }
 
+  /// \brief Generate a default checker node (containing checker tag but no
+  /// checker state changes).
   ExplodedNode *generateNode(bool autoTransition = true) {
     assert(statement && "Only transitions with statements currently 
supported");
     ExplodedNode *N = generateNodeImpl(statement, getState(), false,
@@ -116,18 +118,8 @@
     return N;
   }
   
-  ExplodedNode *generateNode(const Stmt *stmt,
-                             const ProgramState *state,
-                             bool autoTransition = true,
-                             const ProgramPointTag *tag = 0) {
-    assert(state);
-    ExplodedNode *N = generateNodeImpl(stmt, state, false,
-                                       tag ? tag : checkerTag);
-    if (N && autoTransition)
-      addTransition(N);
-    return N;
-  }
-
+  /// \brief Generate a new checker node with the given predecessor.
+  /// Allows checkers to generate a chain of nodes.
   ExplodedNode *generateNode(const ProgramState *state,
                              ExplodedNode *pred,
                              bool autoTransition = true) {
@@ -138,6 +130,7 @@
     return N;
   }
 
+  /// \brief Generate a new checker node.
   ExplodedNode *generateNode(const ProgramState *state,
                              bool autoTransition = true,
                              const ProgramPointTag *tag = 0) {
@@ -149,11 +142,8 @@
     return N;
   }
 
-  ExplodedNode *generateSink(const Stmt *stmt, const ProgramState *state = 0) {
-    return generateNodeImpl(stmt, state ? state : getState(), true,
-                            checkerTag);
-  }
-  
+  /// \brief Generate a sink node. Generating sink stops exploration of the
+  /// given path.
   ExplodedNode *generateSink(const ProgramState *state = 0) {
     assert(statement && "Only transitions with statements currently 
supported");
     return generateNodeImpl(statement, state ? state : getState(), true,

Modified: cfe/trunk/lib/StaticAnalyzer/Checkers/NoReturnFunctionChecker.cpp
URL: 
http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/StaticAnalyzer/Checkers/NoReturnFunctionChecker.cpp?rev=141098&r1=141097&r2=141098&view=diff
==============================================================================
--- cfe/trunk/lib/StaticAnalyzer/Checkers/NoReturnFunctionChecker.cpp (original)
+++ cfe/trunk/lib/StaticAnalyzer/Checkers/NoReturnFunctionChecker.cpp Tue Oct  
4 13:34:40 2011
@@ -77,7 +77,7 @@
   }
 
   if (BuildSinks)
-    C.generateSink(CE);
+    C.generateSink();
 }
 
 static bool END_WITH_NULL isMultiArgSelector(const Selector *Sel, ...) {


_______________________________________________
cfe-commits mailing list
cfe-commits@cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits