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 | 8698dd63d7b38ec4b64f32756c991528315cc4ec (patch) | |
| tree | 934a673b5e93d9b888d64204e91d123f4a327a6d | |
| parent | b2f1a46402267a385a70bf8dec0a254aed7d6001 (diff) | |
| download | bcm5719-llvm-8698dd63d7b38ec4b64f32756c991528315cc4ec.tar.gz bcm5719-llvm-8698dd63d7b38ec4b64f32756c991528315cc4ec.zip | |
[analyzer] Remove redundant check (scalar type is a superset of integer)
PR13319 Reported by Jozsef Mihalicza.
llvm-svn: 159996
| -rw-r--r-- | clang/lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/clang/lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp b/clang/lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp index 2627f0c982f..5094a033623 100644 --- a/clang/lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp +++ b/clang/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()); |
