[cfe-commits] r86512 - /cfe/trunk/include/clang/Analysis/PathSensitive/GRExprEngine.h

[Zhongxing Xu]

Author: zhongxingxu
Date: Sun Nov  8 22:19:30 2009
New Revision: 86512

URL: http://llvm.org/viewvc/llvm-project?rev=86512&view=rev
Log:
Remove dead code.

Modified:
    cfe/trunk/include/clang/Analysis/PathSensitive/GRExprEngine.h

Modified: cfe/trunk/include/clang/Analysis/PathSensitive/GRExprEngine.h
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Analysis/PathSensitive/GRExprEngine.h?rev=86512&r1=86511&r2=86512&view=diff

==============================================================================
--- cfe/trunk/include/clang/Analysis/PathSensitive/GRExprEngine.h (original)
+++ cfe/trunk/include/clang/Analysis/PathSensitive/GRExprEngine.h Sun Nov  8 22:19:30 2009
@@ -504,9 +504,6 @@
   void VisitUnaryOperator(UnaryOperator* B, ExplodedNode* Pred, ExplodedNodeSet& Dst,
                           bool asLValue);
 
-  const GRState* CheckDivideZero(Expr* Ex, const GRState* St, ExplodedNode* Pred,
-                                 SVal Denom);
-
   /// EvalEagerlyAssume - Given the nodes in 'Src', eagerly assume symbolic
   ///  expressions of the form 'x != 0' and generate new nodes (stored in Dst)
   ///  with those assumptions.