[cfe-commits] r159996 - /cfe/trunk/lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp

[Anna Zaks]

Author: zaks
Date: Tue Jul 10 11:27:55 2012
New Revision: 159996

URL: http://llvm.org/viewvc/llvm-project?rev=159996&view=rev
Log:
[analyzer] Remove redundant check (scalar type is a superset of integer)

PR13319 Reported by Jozsef Mihalicza.

Modified:
    cfe/trunk/lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp

Modified: cfe/trunk/lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp?rev=159996&r1=159995&r2=159996&view=diff
==============================================================================
--- cfe/trunk/lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp (original)
+++ cfe/trunk/lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp Tue Jul 10 11:27:55 2012
@@ -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());