summaryrefslogtreecommitdiffstats
path: root/clang/lib
diff options
context:
space:
mode:
Diffstat (limited to 'clang/lib')
-rw-r--r--clang/lib/StaticAnalyzer/Core/BasicValueFactory.cpp4
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 ));
OpenPOWER on IntegriCloud