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())
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
