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 | 1521c85c0469c69009356b589eea6dbff273b7a3 (patch) | |
| tree | ae1a0fe6a202e4a79e6c2d1525ca47e00c93694e | |
| parent | d1c4e757501dcce08f95c6376694988b91546edf (diff) | |
| download | bcm5719-llvm-1521c85c0469c69009356b589eea6dbff273b7a3.tar.gz bcm5719-llvm-1521c85c0469c69009356b589eea6dbff273b7a3.zip | |
Remove dead code.
llvm-svn: 86512
| -rw-r--r-- | clang/include/clang/Analysis/PathSensitive/GRExprEngine.h | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/clang/include/clang/Analysis/PathSensitive/GRExprEngine.h b/clang/include/clang/Analysis/PathSensitive/GRExprEngine.h index f6971374e8e..db8720987ca 100644 --- a/clang/include/clang/Analysis/PathSensitive/GRExprEngine.h +++ b/clang/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. |
