diff options
| author | Anna Zaks <ganna@apple.com> | 2012-07-10 16:27:55 +0000 |
|---|---|---|
| committer | Anna Zaks <ganna@apple.com> | 2012-07-10 16:27:55 +0000 |
| commit | 783db50d09cf2df90679331cca6c7254f4a2fbc5 (patch) | |
| tree | c01654b5cdb80db7df7a56046ed3e6d030759bfc /lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp | |
| parent | e445e5d6377827f222f0d15e18fbd1f86114d2cc (diff) | |
[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
Diffstat (limited to 'lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp')
| -rw-r--r-- | lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp b/lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp index 2627f0c982..5094a03362 100644 --- a/lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp +++ b/lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp @@ -57,8 +57,7 @@ void DivZeroChecker::checkPreStmt(const BinaryOperator *B, 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()); |