C++: Cosmetic: use [0, 1] instead of [0 .. 1]

jbj · jbj · commit f79c140dc1ab · 2020-08-18T16:48:23.000+02:00
diff --git a/cpp/ql/src/semmle/code/cpp/exprs/Expr.qll b/cpp/ql/src/semmle/code/cpp/exprs/Expr.qll
@@ -544,7 +544,7 @@ class BinaryOperation extends Operation, @bin_op_expr {
    * binary operation.
    */
   predicate hasOperands(Expr e1, Expr e2) {
-    exists(int i | i in [0 .. 1] |
+    exists(int i | i in [0, 1] |
       this.hasChild(e1, i) and
       this.hasChild(e2, 1 - i)
     )

Original file line number	Diff line number	Diff line change
`@@ -544,7 +544,7 @@ class BinaryOperation extends Operation, @bin_op_expr {`
`544`	`544`	`* binary operation.`
`545`	`545`	`*/`
`546`	`546`	`predicate hasOperands(Expr e1, Expr e2) {`
`547`		`- exists(int i \| i in [0 .. 1] \|`
	`547`	`+ exists(int i \| i in [0, 1] \|`
`548`	`548`	`this.hasChild(e1, i) and`
`549`	`549`	`this.hasChild(e2, 1 - i)`
`550`	`550`	`)`