commit 4d839b4949efe9e2b16eeab679c25b28e31ea742
author Ted Kremenek <kremenek@apple.com> Fri Mar 07 19:04:53 2008 +0000
committer Ted Kremenek <kremenek@apple.com> Fri Mar 07 19:04:53 2008 +0000
tree 78695b687cddabdba1ae4fc10926e2d977edd91d
parent aa8f976111e75427fa41e0f84b78fe086ce0f4e6

Refined divide-by-zero checking to distinguish between must and may
divide-by-zero errors.


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48013 91177308-0d34-0410-b5e6-96231b3b80d8

Analysis/GRSimpleVals.cpp

diff --git a/Analysis/GRSimpleVals.cpp b/Analysis/GRSimpleVals.cpp
index af8ea2f..95cf3bb 100644
--- a/Analysis/GRSimpleVals.cpp
+++ b/Analysis/GRSimpleVals.cpp
@@ -121,8 +121,8 @@
               "Dereference of undefined value.");
   
   EmitWarning(Diag, SrcMgr,
-              CheckerState->bad_divides_begin(),
-              CheckerState->bad_divides_end(),
+              CheckerState->explicit_bad_divides_begin(),
+              CheckerState->explicit_bad_divides_end(),
               "Division by zero/undefined value.");
   
   EmitWarning(Diag, SrcMgr,