File tree Expand file tree Collapse file tree 1 file changed +4
-2
lines changed
cpp/ql/src/semmle/code/cpp/rangeanalysis Expand file tree Collapse file tree 1 file changed +4
-2
lines changed Original file line number Diff line number Diff line change @@ -840,7 +840,8 @@ private float getLowerBoundsImpl(Expr expr) {
840840 result = safeFloor ( left / 2 .pow ( right ) )
841841 )
842842 // Not explicitly modeled by a SimpleRangeAnalysisExpr
843- ) and not expr instanceof SimpleRangeAnalysisExpr
843+ ) and
844+ not expr instanceof SimpleRangeAnalysisExpr
844845 or
845846 // A modeled expression for range analysis
846847 exists ( SimpleRangeAnalysisExpr rangeAnalysisExpr |
@@ -1035,7 +1036,8 @@ private float getUpperBoundsImpl(Expr expr) {
10351036 result = safeFloor ( left / 2 .pow ( right ) )
10361037 )
10371038 // Not explicitly modeled by a SimpleRangeAnalysisExpr
1038- ) and not expr instanceof SimpleRangeAnalysisExpr
1039+ ) and
1040+ not expr instanceof SimpleRangeAnalysisExpr
10391041 or
10401042 // A modeled expression for range analysis
10411043 exists ( SimpleRangeAnalysisExpr rangeAnalysisExpr |
You can’t perform that action at this time.
0 commit comments