commit 783db50d09cf2df90679331cca6c7254f4a2fbc5
author Anna Zaks <ganna@apple.com> Tue Jul 10 16:27:55 2012 +0000
committer Anna Zaks <ganna@apple.com> Tue Jul 10 16:27:55 2012 +0000
tree c01654b5cdb80db7df7a56046ed3e6d030759bfc
parent e445e5d6377827f222f0d15e18fbd1f86114d2cc

[analyzer] Remove redundant check (scalar type is a superset of integer)

PR13319 Reported by Jozsef Mihalicza.

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

lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp

diff --git a/lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp b/lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp
index 2627f0c..5094a03 100644
--- a/lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp
+++ b/lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp
@@ -57,8 +57,7 @@
       Op != BO_RemAssign)
     return;
 
-  if (!B->getRHS()->getType()->isIntegerType() ||
-      !B->getRHS()->getType()->isScalarType())
+  if (!B->getRHS()->getType()->isScalarType())
     return;
 
   SVal Denom = C.getState()->getSVal(B->getRHS(), C.getLocationContext());