Skip to content

Commit c39de75

Browse files
author
Robert Marsh
committed
C++: change in-predicate comment formatting
1 parent af8a3f2 commit c39de75

File tree

1 file changed

+3
-5
lines changed

1 file changed

+3
-5
lines changed

cpp/ql/src/semmle/code/cpp/rangeanalysis/RangeAnalysis.qll

Lines changed: 3 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -161,11 +161,9 @@ private IRGuardCondition boundFlowCond(ValueNumber vn, NonPhiOperand bound, int
161161
{
162162
exists(int d |
163163
result.comparesLt(vn.getAUse(), bound, d, upper, testIsTrue) and
164-
/*
165-
* `comparesLt` provides bounds of the form `x < y + k` or `x >= y + k`, but we need
166-
* `x <= y + k` so we strengthen here. `testIsTrue` has the same semantics in `comparesLt` as
167-
* it does here, so we don't need to account for it.
168-
*/
164+
// `comparesLt` provides bounds of the form `x < y + k` or `x >= y + k`, but we need
165+
// `x <= y + k` so we strengthen here. `testIsTrue` has the same semantics in `comparesLt` as
166+
// it does here, so we don't need to account for it.
169167
if upper = true
170168
then delta = d-1
171169
else delta = d

0 commit comments

Comments
 (0)