java: separate bounds onto different lines

yoff · yoff · commit 37935eea3b97 · 2024-11-25T12:32:11.000+01:00
diff --git a/java/ql/test/library-tests/dataflow/range-analysis-inline/B.java b/java/ql/test/library-tests/dataflow/range-analysis-inline/B.java
@@ -27,7 +27,8 @@ public int forloopexitstep() {
 
     public int forloopexitupd() {
         int result = 0;
-        for (; result < 10; result++) { // $ bound="result in [0..9]" bound="result in [0..10]"
+        for (; result < 10; // $ bound="result in [0..10]"
+            result++) { // $ bound="result in [0..9]"
         }
         return result; // $ bound="result = 10"
     }
@@ -46,7 +47,8 @@ public int forloopexitnested() {
 
     public int emptyforloop() {
         int result = 0;
-        for (int i = 0; i < 0; i++) { // $ bound="i = 0" bound="i in [0..-1]"
+        for (int i = 0; i < 0; // $ bound="i = 0"
+            i++) { // $ bound="i in [0..-1]"
             result = i; // $ bound="i in [0..-1]"
         }
         return result; // $ bound="result = 0"

Original file line number	Diff line number	Diff line change
`@@ -27,7 +27,8 @@ public int forloopexitstep() {`
`27`	`27`
`28`	`28`	`public int forloopexitupd() {`
`29`	`29`	`int result = 0;`
`30`		`- for (; result < 10; result++) { // $ bound="result in [0..9]" bound="result in [0..10]"`
	`30`	`+ for (; result < 10; // $ bound="result in [0..10]"`
	`31`	`+ result++) { // $ bound="result in [0..9]"`
`31`	`32`	`}`
`32`	`33`	`return result; // $ bound="result = 10"`
`33`	`34`	`}`
`@@ -46,7 +47,8 @@ public int forloopexitnested() {`
`46`	`47`
`47`	`48`	`public int emptyforloop() {`
`48`	`49`	`int result = 0;`
`49`		`- for (int i = 0; i < 0; i++) { // $ bound="i = 0" bound="i in [0..-1]"`
	`50`	`+ for (int i = 0; i < 0; // $ bound="i = 0"`
	`51`	`+ i++) { // $ bound="i in [0..-1]"`
`50`	`52`	`result = i; // $ bound="i in [0..-1]"`
`51`	`53`	`}`
`52`	`54`	`return result; // $ bound="result = 0"`