diff options
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/BasicValueFactory.cpp')
| -rw-r--r-- | clang/lib/StaticAnalyzer/Core/BasicValueFactory.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/BasicValueFactory.cpp b/clang/lib/StaticAnalyzer/Core/BasicValueFactory.cpp index a6c400f3704..8f93cee6263 100644 --- a/clang/lib/StaticAnalyzer/Core/BasicValueFactory.cpp +++ b/clang/lib/StaticAnalyzer/Core/BasicValueFactory.cpp @@ -177,7 +177,7 @@ BasicValueFactory::evalAPSInt(BinaryOperator::Opcode Op, uint64_t Amt = V2.getZExtValue(); - if (Amt > V1.getBitWidth()) + if (Amt >= V1.getBitWidth()) return NULL; return &getValue( V1.operator<<( (unsigned) Amt )); @@ -195,7 +195,7 @@ BasicValueFactory::evalAPSInt(BinaryOperator::Opcode Op, uint64_t Amt = V2.getZExtValue(); - if (Amt > V1.getBitWidth()) + if (Amt >= V1.getBitWidth()) return NULL; return &getValue( V1.operator>>( (unsigned) Amt )); |
