We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent a7c22db commit 2e39251Copy full SHA for 2e39251
cpp/ql/src/semmle/code/cpp/rangeanalysis/SimpleRangeAnalysis.qll
@@ -126,7 +126,7 @@ private class UnsignedBitwiseAndExpr extends BitwiseAndExpr {
126
UnsignedBitwiseAndExpr() {
127
(
128
getLeftOperand().getFullyConverted().getType().getUnderlyingType().(IntegralType).isUnsigned() or
129
- getLeftOperand().getValue().toInt() >= 0
+ getLeftOperand().getFullyConverted().getValue().toInt() >= 0
130
) and
131
132
getRightOperand()
@@ -135,7 +135,7 @@ private class UnsignedBitwiseAndExpr extends BitwiseAndExpr {
135
.getUnderlyingType()
136
.(IntegralType)
137
.isUnsigned() or
138
- getRightOperand().getValue().toInt() >= 0
+ getRightOperand().getFullyConverted().getValue().toInt() >= 0
139
)
140
}
141
0 commit comments