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

Ted Kremenek kremenek at apple.com
Mon Oct 20 20:31:53 PDT 2008


Author: kremenek
Date: Mon Oct 20 22:31:53 2008
New Revision: 57876

URL: http://llvm.org/viewvc/llvm-project?rev=57876&view=rev
Log:
Change signature for CheckDivideZero.

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=57876&r1=57875&r2=57876&view=diff

==============================================================================
--- cfe/trunk/include/clang/Analysis/PathSensitive/GRExprEngine.h (original)
+++ cfe/trunk/include/clang/Analysis/PathSensitive/GRExprEngine.h Mon Oct 20 22:31:53 2008
@@ -538,8 +538,8 @@
   void VisitUnaryOperator(UnaryOperator* B, NodeTy* Pred, NodeSet& Dst,
                           bool asLValue);
  
-  bool CheckDivideZero(Expr* Ex, const GRState* St, NodeTy* Pred,
-                       SVal Denom);  
+  const GRState* CheckDivideZero(Expr* Ex, const GRState* St, NodeTy* Pred,
+                                 SVal Denom);  
   
   SVal EvalCast(SVal X, QualType CastT) {
     if (X.isUnknownOrUndef())





More information about the cfe-commits mailing list