]> granicus.if.org Git - clang/commitdiff
Remove dead code.
authorZhongxing Xu <xuzhongxing@gmail.com>
Mon, 9 Nov 2009 04:19:30 +0000 (04:19 +0000)
committerZhongxing Xu <xuzhongxing@gmail.com>
Mon, 9 Nov 2009 04:19:30 +0000 (04:19 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@86512 91177308-0d34-0410-b5e6-96231b3b80d8

include/clang/Analysis/PathSensitive/GRExprEngine.h

index f6971374e8e80f91b075e584b27454ab85c9880e..db8720987ca27d4c60abb4dea85e626b110dc175 100644 (file)
@@ -504,9 +504,6 @@ protected:
   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.