diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-11-09 04:19:30 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-11-09 04:19:30 +0000 |
| commit | 8e2a9d8adbd2169b46c2edff5b267b05df3febb0 (patch) | |
| tree | e09ddfc6bf8f04e1b68ac3e4b7b779804e8d569a | |
| parent | d73fef653a24368eb37793928a25ad8872121d9e (diff) | |
Remove dead code.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@86512 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | include/clang/Analysis/PathSensitive/GRExprEngine.h | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/include/clang/Analysis/PathSensitive/GRExprEngine.h b/include/clang/Analysis/PathSensitive/GRExprEngine.h index f6971374e8..db8720987c 100644 --- a/include/clang/Analysis/PathSensitive/GRExprEngine.h +++ b/include/clang/Analysis/PathSensitive/GRExprEngine.h @@ -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. |