diff --git a/lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp b/lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp
index 75b7cc4..d4fbfa1 100644
--- a/lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp
+++ b/lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp
@@ -55,7 +55,8 @@
   const ProgramState *stateNotZero, *stateZero;
   llvm::tie(stateNotZero, stateZero) = CM.assumeDual(C.getState(), *DV);
 
-  if (stateZero && !stateNotZero) {
+  if (!stateNotZero) {
+    assert(stateZero);
     if (ExplodedNode *N = C.generateSink(stateZero)) {
       if (!BT)
         BT.reset(new BuiltinBug("Division by zero"));