C++: accept test output and add IR guards tests

2026-05-02 04:05:14 +02:00 · 2018-09-14 11:01:28 -07:00
parent d7e630b3c6
commit ad8f30d2f7
12 changed files with 458 additions and 5 deletions
--- a/cpp/ql/test/library-tests/controlflow/guards-ir/ASTGuards.expected
+++ b/cpp/ql/test/library-tests/controlflow/guards-ir/ASTGuards.expected
@@ -28,5 +28,6 @@
 | test.c:146:7:146:8 | ! ... |
 | test.c:146:8:146:8 | x |
 | test.cpp:18:8:18:10 | call to get |
+| test.cpp:18:8:18:12 | (bool)... |
 | test.cpp:31:7:31:13 | ... == ... |
 | test.cpp:42:13:42:20 | call to getABool |
--- a/cpp/ql/test/library-tests/controlflow/guards-ir/ASTGuardsCompare.expected
+++ b/cpp/ql/test/library-tests/controlflow/guards-ir/ASTGuardsCompare.expected
@@ -14,6 +14,10 @@
 | 17 | y < 1+1 when ... > ... is false |
 | 17 | y >= 1+1 when ... && ... is true |
 | 17 | y >= 1+1 when ... > ... is true |
+| 18 | call to get != call to get+0 when (bool)... is true |
+| 18 | call to get != call to get+0 when call to get is true |
+| 18 | call to get == call to get+0 when (bool)... is false |
+| 18 | call to get == call to get+0 when call to get is false |
 | 26 | 0 < x+0 when ... > ... is true |
 | 26 | 0 >= x+0 when ... > ... is false |
 | 26 | x < 0+1 when ... > ... is false |
--- a/cpp/ql/test/library-tests/controlflow/guards-ir/ASTGuardsControl.expected
+++ b/cpp/ql/test/library-tests/controlflow/guards-ir/ASTGuardsControl.expected
@@ -74,17 +74,18 @@
 | test.c:109:19:109:23 | ... < ... | false | 113 | 113 |
 | test.c:126:7:126:7 | 1 | true | 126 | 126 |
 | test.c:126:7:126:7 | 1 | true | 126 | 128 |
-| test.c:126:7:126:7 | 1 | true | 131 | 131 |
-| test.c:126:7:126:7 | 1 | true | 131 | 132 |
-| test.c:126:7:126:7 | 1 | true | 134 | 123 |
 | test.c:126:7:126:28 | ... && ... | true | 126 | 128 |
 | test.c:126:12:126:26 | call to test3_condition | true | 126 | 128 |
 | test.c:131:7:131:7 | b | true | 131 | 132 |
-| test.c:137:7:137:7 | 0 | false | 142 | 136 |
+| test.c:137:7:137:7 | 0 | true | 137 | 138 |
+| test.c:137:7:137:7 | 0 | true | 138 | 139 |
 | test.c:138:9:138:9 | i | true | 138 | 139 |
 | test.c:146:7:146:8 | ! ... | true | 146 | 147 |
 | test.c:146:8:146:8 | x | false | 146 | 147 |
-| test.cpp:18:8:18:10 | call to get | false | 20 | 16 |
+| test.cpp:18:8:18:10 | call to get | true | 19 | 19 |
+| test.cpp:18:8:18:12 | (bool)... | true | 19 | 19 |
+| test.cpp:31:7:31:13 | ... == ... | false | 30 | 30 |
 | test.cpp:31:7:31:13 | ... == ... | false | 34 | 34 |
+| test.cpp:31:7:31:13 | ... == ... | true | 30 | 30 |
 | test.cpp:31:7:31:13 | ... == ... | true | 31 | 32 |
 | test.cpp:42:13:42:20 | call to getABool | true | 43 | 45 |
--- a/cpp/ql/test/library-tests/controlflow/guards-ir/ASTGuardsEnsure.expected
+++ b/cpp/ql/test/library-tests/controlflow/guards-ir/ASTGuardsEnsure.expected
@@ -154,7 +154,13 @@
 | test.c:109:9:109:23 | ... \|\| ... | test.c:109:23:109:23 | 0 | < | test.c:109:19:109:19 | y | 1 | 113 | 113 |
 | test.c:109:19:109:23 | ... < ... | test.c:109:19:109:19 | y | >= | test.c:109:23:109:23 | 0 | 0 | 113 | 113 |
 | test.c:109:19:109:23 | ... < ... | test.c:109:23:109:23 | 0 | < | test.c:109:19:109:19 | y | 1 | 113 | 113 |
+| test.cpp:18:8:18:10 | call to get | test.cpp:18:8:18:10 | call to get | != | test.cpp:18:8:18:10 | call to get | 0 | 19 | 19 |
+| test.cpp:18:8:18:12 | (bool)... | test.cpp:18:8:18:10 | call to get | != | test.cpp:18:8:18:10 | call to get | 0 | 19 | 19 |
+| test.cpp:31:7:31:13 | ... == ... | test.cpp:31:7:31:7 | x | != | test.cpp:31:12:31:13 | - ... | 0 | 30 | 30 |
 | test.cpp:31:7:31:13 | ... == ... | test.cpp:31:7:31:7 | x | != | test.cpp:31:12:31:13 | - ... | 0 | 34 | 34 |
+| test.cpp:31:7:31:13 | ... == ... | test.cpp:31:7:31:7 | x | == | test.cpp:31:12:31:13 | - ... | 0 | 30 | 30 |
 | test.cpp:31:7:31:13 | ... == ... | test.cpp:31:7:31:7 | x | == | test.cpp:31:12:31:13 | - ... | 0 | 31 | 32 |
+| test.cpp:31:7:31:13 | ... == ... | test.cpp:31:12:31:13 | - ... | != | test.cpp:31:7:31:7 | x | 0 | 30 | 30 |
 | test.cpp:31:7:31:13 | ... == ... | test.cpp:31:12:31:13 | - ... | != | test.cpp:31:7:31:7 | x | 0 | 34 | 34 |
+| test.cpp:31:7:31:13 | ... == ... | test.cpp:31:12:31:13 | - ... | == | test.cpp:31:7:31:7 | x | 0 | 30 | 30 |
 | test.cpp:31:7:31:13 | ... == ... | test.cpp:31:12:31:13 | - ... | == | test.cpp:31:7:31:7 | x | 0 | 31 | 32 |
--- a/cpp/ql/test/library-tests/controlflow/guards-ir/IRGuards.expected
+++ b/cpp/ql/test/library-tests/controlflow/guards-ir/IRGuards.expected
@@ -0,0 +1,26 @@
+| test.c:7:9:7:13 | ... > ... |
+| test.c:17:8:17:12 | ... < ... |
+| test.c:17:17:17:21 | ... > ... |
+| test.c:26:11:26:15 | ... > ... |
+| test.c:34:16:34:21 | ... < ... |
+| test.c:42:16:42:21 | ... < ... |
+| test.c:44:12:44:16 | ... > ... |
+| test.c:45:16:45:20 | ... > ... |
+| test.c:58:9:58:14 | ... == ... |
+| test.c:58:19:58:23 | ... < ... |
+| test.c:75:9:75:14 | ... == ... |
+| test.c:85:8:85:13 | ... == ... |
+| test.c:85:18:85:23 | ... != ... |
+| test.c:94:11:94:16 | ... != ... |
+| test.c:102:16:102:21 | ... < ... |
+| test.c:109:9:109:14 | ... == ... |
+| test.c:109:19:109:23 | ... < ... |
+| test.c:126:7:126:7 | 1 |
+| test.c:126:12:126:26 | call to test3_condition |
+| test.c:131:7:131:7 | b |
+| test.c:137:7:137:7 | 0 |
+| test.c:138:9:138:9 | i |
+| test.c:146:8:146:8 | x |
+| test.cpp:18:8:18:12 | (bool)... |
+| test.cpp:31:7:31:13 | ... == ... |
+| test.cpp:42:13:42:20 | call to getABool |
--- a/cpp/ql/test/library-tests/controlflow/guards-ir/IRGuards.ql
+++ b/cpp/ql/test/library-tests/controlflow/guards-ir/IRGuards.ql
@@ -0,0 +1,5 @@
+import cpp
+import semmle.code.cpp.controlflow.IRGuards
+
+from IRGuardCondition guard
+select guard.getAST()
--- a/cpp/ql/test/library-tests/controlflow/guards-ir/IRGuardsCompare.expected
+++ b/cpp/ql/test/library-tests/controlflow/guards-ir/IRGuardsCompare.expected
@@ -0,0 +1,104 @@
+| 7 | 0 < x+0 when ... > ... is true |
+| 7 | 0 >= x+0 when ... > ... is false |
+| 7 | x < 0+1 when ... > ... is false |
+| 7 | x >= 0+1 when ... > ... is true |
+| 17 | 0 < x+1 when ... < ... is false |
+| 17 | 0 >= x+1 when ... < ... is true |
+| 17 | 1 < y+0 when ... > ... is true |
+| 17 | 1 >= y+0 when ... > ... is false |
+| 17 | (long)... < y+0 when ... > ... is true |
+| 17 | (long)... >= y+0 when ... > ... is false |
+| 17 | x < 0+0 when ... < ... is true |
+| 17 | x >= 0+0 when ... < ... is false |
+| 17 | y < 1+1 when ... > ... is false |
+| 17 | y < (long)...+1 when ... > ... is false |
+| 17 | y >= 1+1 when ... > ... is true |
+| 17 | y >= (long)...+1 when ... > ... is true |
+| 18 | (bool)... != call to get+0 when (bool)... is true |
+| 18 | (bool)... != call to get+0 when call to get is true |
+| 18 | (bool)... == call to get+0 when (bool)... is false |
+| 18 | (bool)... == call to get+0 when call to get is false |
+| 18 | call to get != (bool)...+0 when (bool)... is true |
+| 18 | call to get != (bool)...+0 when call to get is true |
+| 18 | call to get != call to get+0 when (bool)... is true |
+| 18 | call to get != call to get+0 when call to get is true |
+| 18 | call to get == (bool)...+0 when (bool)... is false |
+| 18 | call to get == (bool)...+0 when call to get is false |
+| 18 | call to get == call to get+0 when (bool)... is false |
+| 18 | call to get == call to get+0 when call to get is false |
+| 26 | 0 < x+0 when ... > ... is true |
+| 26 | 0 >= x+0 when ... > ... is false |
+| 26 | x < 0+1 when ... > ... is false |
+| 26 | x >= 0+1 when ... > ... is true |
+| 31 | - ... != x+0 when ... == ... is false |
+| 31 | - ... == x+0 when ... == ... is true |
+| 31 | x != - ...+0 when ... == ... is false |
+| 31 | x == - ...+0 when ... == ... is true |
+| 34 | 10 < j+1 when ... < ... is false |
+| 34 | 10 >= j+1 when ... < ... is true |
+| 34 | j < 10+0 when ... < ... is true |
+| 34 | j >= 10+0 when ... < ... is false |
+| 42 | 10 < j+1 when ... < ... is false |
+| 42 | 10 >= j+1 when ... < ... is true |
+| 42 | j < 10+0 when ... < ... is true |
+| 42 | j >= 10+0 when ... < ... is false |
+| 44 | 0 < z+0 when ... > ... is true |
+| 44 | 0 >= z+0 when ... > ... is false |
+| 44 | z < 0+1 when ... > ... is false |
+| 44 | z >= 0+1 when ... > ... is true |
+| 45 | 0 < y+0 when ... > ... is true |
+| 45 | 0 >= y+0 when ... > ... is false |
+| 45 | (long)... < y+0 when ... > ... is true |
+| 45 | (long)... >= y+0 when ... > ... is false |
+| 45 | y < 0+1 when ... > ... is false |
+| 45 | y < (long)...+1 when ... > ... is false |
+| 45 | y >= 0+1 when ... > ... is true |
+| 45 | y >= (long)...+1 when ... > ... is true |
+| 58 | 0 != x+0 when ... == ... is false |
+| 58 | 0 < y+1 when ... < ... is false |
+| 58 | 0 == x+0 when ... == ... is true |
+| 58 | 0 >= y+1 when ... < ... is true |
+| 58 | (long)... < y+1 when ... < ... is false |
+| 58 | (long)... >= y+1 when ... < ... is true |
+| 58 | x != 0+0 when ... == ... is false |
+| 58 | x == 0+0 when ... == ... is true |
+| 58 | y < 0+0 when ... < ... is true |
+| 58 | y < (long)...+0 when ... < ... is true |
+| 58 | y >= 0+0 when ... < ... is false |
+| 58 | y >= (long)...+0 when ... < ... is false |
+| 75 | 0 != x+0 when ... == ... is false |
+| 75 | 0 == x+0 when ... == ... is true |
+| 75 | x != 0+0 when ... == ... is false |
+| 75 | x == 0+0 when ... == ... is true |
+| 85 | 0 != x+0 when ... == ... is false |
+| 85 | 0 != y+0 when ... != ... is true |
+| 85 | 0 == x+0 when ... == ... is true |
+| 85 | 0 == y+0 when ... != ... is false |
+| 85 | (long)... != y+0 when ... != ... is true |
+| 85 | (long)... == y+0 when ... != ... is false |
+| 85 | x != 0+0 when ... == ... is false |
+| 85 | x == 0+0 when ... == ... is true |
+| 85 | y != 0+0 when ... != ... is true |
+| 85 | y != (long)...+0 when ... != ... is true |
+| 85 | y == 0+0 when ... != ... is false |
+| 85 | y == (long)...+0 when ... != ... is false |
+| 94 | 0 != x+0 when ... != ... is true |
+| 94 | 0 == x+0 when ... != ... is false |
+| 94 | x != 0+0 when ... != ... is true |
+| 94 | x == 0+0 when ... != ... is false |
+| 102 | 10 < j+1 when ... < ... is false |
+| 102 | 10 >= j+1 when ... < ... is true |
+| 102 | j < 10+0 when ... < ... is true |
+| 102 | j >= 10+0 when ... < ... is false |
+| 109 | 0 != x+0 when ... == ... is false |
+| 109 | 0 < y+1 when ... < ... is false |
+| 109 | 0 == x+0 when ... == ... is true |
+| 109 | 0 >= y+1 when ... < ... is true |
+| 109 | (long)... < y+1 when ... < ... is false |
+| 109 | (long)... >= y+1 when ... < ... is true |
+| 109 | x != 0+0 when ... == ... is false |
+| 109 | x == 0+0 when ... == ... is true |
+| 109 | y < 0+0 when ... < ... is true |
+| 109 | y < (long)...+0 when ... < ... is true |
+| 109 | y >= 0+0 when ... < ... is false |
+| 109 | y >= (long)...+0 when ... < ... is false |
--- a/cpp/ql/test/library-tests/controlflow/guards-ir/IRGuardsCompare.ql
+++ b/cpp/ql/test/library-tests/controlflow/guards-ir/IRGuardsCompare.ql
@@ -0,0 +1,30 @@
+/**
+ * @name Guards comparison test
+ * @description List comparison parts.
+ * @kind test
+ */
+
+import cpp
+import semmle.code.cpp.controlflow.IRGuards
+
+Element clearConversions(Element e) {
+  if e instanceof Conversion
+  then result = e.(Conversion).getExpr*()
+  else result = e
+}
+
+from IRGuardCondition guard, Instruction left, Instruction right, int k, string which, string op, string msg
+where 
+(exists(boolean sense | sense = true and which = "true" or sense = false and which = "false" |
+    guard.comparesLt(left, right, k, true, sense) and op = " < "
+    or
+    guard.comparesLt(left, right, k, false, sense) and op = " >= "
+    or
+    guard.comparesEq(left, right, k, true, sense) and op = " == "
+    or 
+    guard.comparesEq(left, right, k, false, sense)  and op = " != "
+ )
+)
+and msg = clearConversions(left.getAST()) + op + clearConversions(right.getAST()) + "+" + k + " when " + clearConversions(guard.getAST()) + " is " + which
+
+select guard.getLocation().getStartLine(), msg
--- a/cpp/ql/test/library-tests/controlflow/guards-ir/IRGuardsControl.expected
+++ b/cpp/ql/test/library-tests/controlflow/guards-ir/IRGuardsControl.expected
@@ -0,0 +1,85 @@
+| test.c:7:9:7:13 | ... > ... | false | 11 | 11 |
+| test.c:7:9:7:13 | ... > ... | true | 8 | 8 |
+| test.c:17:8:17:12 | ... < ... | true | 17 | 17 |
+| test.c:17:8:17:12 | ... < ... | true | 18 | 18 |
+| test.c:17:17:17:21 | ... > ... | true | 18 | 18 |
+| test.c:26:11:26:15 | ... > ... | false | 2 | 2 |
+| test.c:26:11:26:15 | ... > ... | false | 31 | 31 |
+| test.c:26:11:26:15 | ... > ... | false | 34 | 34 |
+| test.c:26:11:26:15 | ... > ... | false | 35 | 35 |
+| test.c:26:11:26:15 | ... > ... | false | 39 | 39 |
+| test.c:26:11:26:15 | ... > ... | false | 42 | 42 |
+| test.c:26:11:26:15 | ... > ... | false | 43 | 43 |
+| test.c:26:11:26:15 | ... > ... | false | 45 | 45 |
+| test.c:26:11:26:15 | ... > ... | false | 46 | 46 |
+| test.c:26:11:26:15 | ... > ... | false | 49 | 49 |
+| test.c:26:11:26:15 | ... > ... | false | 52 | 52 |
+| test.c:26:11:26:15 | ... > ... | false | 56 | 56 |
+| test.c:26:11:26:15 | ... > ... | false | 58 | 58 |
+| test.c:26:11:26:15 | ... > ... | false | 59 | 59 |
+| test.c:26:11:26:15 | ... > ... | false | 62 | 62 |
+| test.c:26:11:26:15 | ... > ... | true | 27 | 27 |
+| test.c:34:16:34:21 | ... < ... | false | 2 | 2 |
+| test.c:34:16:34:21 | ... < ... | false | 39 | 39 |
+| test.c:34:16:34:21 | ... < ... | false | 42 | 42 |
+| test.c:34:16:34:21 | ... < ... | false | 43 | 43 |
+| test.c:34:16:34:21 | ... < ... | false | 45 | 45 |
+| test.c:34:16:34:21 | ... < ... | false | 46 | 46 |
+| test.c:34:16:34:21 | ... < ... | false | 49 | 49 |
+| test.c:34:16:34:21 | ... < ... | false | 52 | 52 |
+| test.c:34:16:34:21 | ... < ... | false | 56 | 56 |
+| test.c:34:16:34:21 | ... < ... | false | 58 | 58 |
+| test.c:34:16:34:21 | ... < ... | false | 59 | 59 |
+| test.c:34:16:34:21 | ... < ... | false | 62 | 62 |
+| test.c:34:16:34:21 | ... < ... | true | 35 | 35 |
+| test.c:42:16:42:21 | ... < ... | true | 42 | 42 |
+| test.c:42:16:42:21 | ... < ... | true | 43 | 43 |
+| test.c:42:16:42:21 | ... < ... | true | 45 | 45 |
+| test.c:42:16:42:21 | ... < ... | true | 46 | 46 |
+| test.c:42:16:42:21 | ... < ... | true | 49 | 49 |
+| test.c:42:16:42:21 | ... < ... | true | 52 | 52 |
+| test.c:44:12:44:16 | ... > ... | false | 52 | 52 |
+| test.c:44:12:44:16 | ... > ... | true | 45 | 45 |
+| test.c:44:12:44:16 | ... > ... | true | 46 | 46 |
+| test.c:44:12:44:16 | ... > ... | true | 49 | 49 |
+| test.c:45:16:45:20 | ... > ... | false | 49 | 49 |
+| test.c:45:16:45:20 | ... > ... | true | 46 | 46 |
+| test.c:58:9:58:14 | ... == ... | false | 58 | 58 |
+| test.c:58:9:58:14 | ... == ... | false | 62 | 62 |
+| test.c:58:19:58:23 | ... < ... | false | 62 | 62 |
+| test.c:75:9:75:14 | ... == ... | false | 79 | 79 |
+| test.c:75:9:75:14 | ... == ... | true | 76 | 76 |
+| test.c:85:8:85:13 | ... == ... | true | 85 | 85 |
+| test.c:85:8:85:13 | ... == ... | true | 86 | 86 |
+| test.c:85:18:85:23 | ... != ... | true | 86 | 86 |
+| test.c:94:11:94:16 | ... != ... | false | 70 | 70 |
+| test.c:94:11:94:16 | ... != ... | false | 99 | 99 |
+| test.c:94:11:94:16 | ... != ... | false | 102 | 102 |
+| test.c:94:11:94:16 | ... != ... | false | 103 | 103 |
+| test.c:94:11:94:16 | ... != ... | false | 107 | 107 |
+| test.c:94:11:94:16 | ... != ... | false | 109 | 109 |
+| test.c:94:11:94:16 | ... != ... | false | 110 | 110 |
+| test.c:94:11:94:16 | ... != ... | false | 113 | 113 |
+| test.c:94:11:94:16 | ... != ... | true | 95 | 95 |
+| test.c:102:16:102:21 | ... < ... | false | 70 | 70 |
+| test.c:102:16:102:21 | ... < ... | false | 107 | 107 |
+| test.c:102:16:102:21 | ... < ... | false | 109 | 109 |
+| test.c:102:16:102:21 | ... < ... | false | 110 | 110 |
+| test.c:102:16:102:21 | ... < ... | false | 113 | 113 |
+| test.c:102:16:102:21 | ... < ... | true | 103 | 103 |
+| test.c:109:9:109:14 | ... == ... | false | 109 | 109 |
+| test.c:109:9:109:14 | ... == ... | false | 113 | 113 |
+| test.c:109:19:109:23 | ... < ... | false | 113 | 113 |
+| test.c:126:7:126:7 | 1 | true | 126 | 126 |
+| test.c:126:7:126:7 | 1 | true | 127 | 127 |
+| test.c:126:12:126:26 | call to test3_condition | true | 127 | 127 |
+| test.c:131:7:131:7 | b | true | 132 | 132 |
+| test.c:137:7:137:7 | 0 | true | 138 | 138 |
+| test.c:137:7:137:7 | 0 | true | 139 | 139 |
+| test.c:138:9:138:9 | i | true | 139 | 139 |
+| test.c:146:8:146:8 | x | false | 147 | 147 |
+| test.cpp:18:8:18:12 | (bool)... | true | 0 | 0 |
+| test.cpp:31:7:31:13 | ... == ... | false | 34 | 34 |
+| test.cpp:31:7:31:13 | ... == ... | true | 30 | 30 |
+| test.cpp:31:7:31:13 | ... == ... | true | 32 | 32 |
+| test.cpp:42:13:42:20 | call to getABool | true | 44 | 44 |
--- a/cpp/ql/test/library-tests/controlflow/guards-ir/IRGuardsControl.ql
+++ b/cpp/ql/test/library-tests/controlflow/guards-ir/IRGuardsControl.ql
@@ -0,0 +1,16 @@
+/**
+ * @name Guards control test
+ * @description List which guards control which blocks
+ * @kind test
+ */
+
+import cpp
+import semmle.code.cpp.controlflow.IRGuards
+
+from IRGuardCondition guard, boolean sense, int start, int end
+where 
+exists(IRBlock block |
+       guard.controls(block, sense) and
+       block.getLocation().hasLocationInfo(_, start, _, end, _)
+)
+select guard.getAST(), sense, start, end
--- a/cpp/ql/test/library-tests/controlflow/guards-ir/IRGuardsEnsure.expected
+++ b/cpp/ql/test/library-tests/controlflow/guards-ir/IRGuardsEnsure.expected
@@ -0,0 +1,152 @@
+| test.c:7:9:7:13 | ... > ... | test.c:7:9:7:9 | x | < | test.c:7:13:7:13 | 0 | 1 | 11 | 11 |
+| test.c:7:9:7:13 | ... > ... | test.c:7:9:7:9 | x | >= | test.c:7:13:7:13 | 0 | 1 | 8 | 8 |
+| test.c:7:9:7:13 | ... > ... | test.c:7:13:7:13 | 0 | < | test.c:7:9:7:9 | x | 0 | 8 | 8 |
+| test.c:7:9:7:13 | ... > ... | test.c:7:13:7:13 | 0 | >= | test.c:7:9:7:9 | x | 0 | 11 | 11 |
+| test.c:17:8:17:12 | ... < ... | test.c:17:8:17:8 | x | < | test.c:17:12:17:12 | 0 | 0 | 17 | 17 |
+| test.c:17:8:17:12 | ... < ... | test.c:17:8:17:8 | x | < | test.c:17:12:17:12 | 0 | 0 | 18 | 18 |
+| test.c:17:8:17:12 | ... < ... | test.c:17:12:17:12 | 0 | >= | test.c:17:8:17:8 | x | 1 | 17 | 17 |
+| test.c:17:8:17:12 | ... < ... | test.c:17:12:17:12 | 0 | >= | test.c:17:8:17:8 | x | 1 | 18 | 18 |
+| test.c:17:17:17:21 | ... > ... | test.c:17:17:17:17 | y | >= | test.c:17:21:17:21 | (long)... | 1 | 18 | 18 |
+| test.c:17:17:17:21 | ... > ... | test.c:17:21:17:21 | (long)... | < | test.c:17:17:17:17 | y | 0 | 18 | 18 |
+| test.c:26:11:26:15 | ... > ... | test.c:26:11:26:11 | x | < | test.c:26:15:26:15 | 0 | 1 | 2 | 2 |
+| test.c:26:11:26:15 | ... > ... | test.c:26:11:26:11 | x | < | test.c:26:15:26:15 | 0 | 1 | 31 | 31 |
+| test.c:26:11:26:15 | ... > ... | test.c:26:11:26:11 | x | < | test.c:26:15:26:15 | 0 | 1 | 34 | 34 |
+| test.c:26:11:26:15 | ... > ... | test.c:26:11:26:11 | x | < | test.c:26:15:26:15 | 0 | 1 | 35 | 35 |
+| test.c:26:11:26:15 | ... > ... | test.c:26:11:26:11 | x | < | test.c:26:15:26:15 | 0 | 1 | 39 | 39 |
+| test.c:26:11:26:15 | ... > ... | test.c:26:11:26:11 | x | < | test.c:26:15:26:15 | 0 | 1 | 42 | 42 |
+| test.c:26:11:26:15 | ... > ... | test.c:26:11:26:11 | x | < | test.c:26:15:26:15 | 0 | 1 | 43 | 43 |
+| test.c:26:11:26:15 | ... > ... | test.c:26:11:26:11 | x | < | test.c:26:15:26:15 | 0 | 1 | 45 | 45 |
+| test.c:26:11:26:15 | ... > ... | test.c:26:11:26:11 | x | < | test.c:26:15:26:15 | 0 | 1 | 46 | 46 |
+| test.c:26:11:26:15 | ... > ... | test.c:26:11:26:11 | x | < | test.c:26:15:26:15 | 0 | 1 | 49 | 49 |
+| test.c:26:11:26:15 | ... > ... | test.c:26:11:26:11 | x | < | test.c:26:15:26:15 | 0 | 1 | 52 | 52 |
+| test.c:26:11:26:15 | ... > ... | test.c:26:11:26:11 | x | < | test.c:26:15:26:15 | 0 | 1 | 56 | 56 |
+| test.c:26:11:26:15 | ... > ... | test.c:26:11:26:11 | x | < | test.c:26:15:26:15 | 0 | 1 | 58 | 58 |
+| test.c:26:11:26:15 | ... > ... | test.c:26:11:26:11 | x | < | test.c:26:15:26:15 | 0 | 1 | 59 | 59 |
+| test.c:26:11:26:15 | ... > ... | test.c:26:11:26:11 | x | < | test.c:26:15:26:15 | 0 | 1 | 62 | 62 |
+| test.c:26:11:26:15 | ... > ... | test.c:26:11:26:11 | x | >= | test.c:26:15:26:15 | 0 | 1 | 27 | 27 |
+| test.c:26:11:26:15 | ... > ... | test.c:26:15:26:15 | 0 | < | test.c:26:11:26:11 | x | 0 | 27 | 27 |
+| test.c:26:11:26:15 | ... > ... | test.c:26:15:26:15 | 0 | >= | test.c:26:11:26:11 | x | 0 | 2 | 2 |
+| test.c:26:11:26:15 | ... > ... | test.c:26:15:26:15 | 0 | >= | test.c:26:11:26:11 | x | 0 | 31 | 31 |
+| test.c:26:11:26:15 | ... > ... | test.c:26:15:26:15 | 0 | >= | test.c:26:11:26:11 | x | 0 | 34 | 34 |
+| test.c:26:11:26:15 | ... > ... | test.c:26:15:26:15 | 0 | >= | test.c:26:11:26:11 | x | 0 | 35 | 35 |
+| test.c:26:11:26:15 | ... > ... | test.c:26:15:26:15 | 0 | >= | test.c:26:11:26:11 | x | 0 | 39 | 39 |
+| test.c:26:11:26:15 | ... > ... | test.c:26:15:26:15 | 0 | >= | test.c:26:11:26:11 | x | 0 | 42 | 42 |
+| test.c:26:11:26:15 | ... > ... | test.c:26:15:26:15 | 0 | >= | test.c:26:11:26:11 | x | 0 | 43 | 43 |
+| test.c:26:11:26:15 | ... > ... | test.c:26:15:26:15 | 0 | >= | test.c:26:11:26:11 | x | 0 | 45 | 45 |
+| test.c:26:11:26:15 | ... > ... | test.c:26:15:26:15 | 0 | >= | test.c:26:11:26:11 | x | 0 | 46 | 46 |
+| test.c:26:11:26:15 | ... > ... | test.c:26:15:26:15 | 0 | >= | test.c:26:11:26:11 | x | 0 | 49 | 49 |
+| test.c:26:11:26:15 | ... > ... | test.c:26:15:26:15 | 0 | >= | test.c:26:11:26:11 | x | 0 | 52 | 52 |
+| test.c:26:11:26:15 | ... > ... | test.c:26:15:26:15 | 0 | >= | test.c:26:11:26:11 | x | 0 | 56 | 56 |
+| test.c:26:11:26:15 | ... > ... | test.c:26:15:26:15 | 0 | >= | test.c:26:11:26:11 | x | 0 | 58 | 58 |
+| test.c:26:11:26:15 | ... > ... | test.c:26:15:26:15 | 0 | >= | test.c:26:11:26:11 | x | 0 | 59 | 59 |
+| test.c:26:11:26:15 | ... > ... | test.c:26:15:26:15 | 0 | >= | test.c:26:11:26:11 | x | 0 | 62 | 62 |
+| test.c:34:16:34:21 | ... < ... | test.c:34:16:34:16 | j | < | test.c:34:20:34:21 | 10 | 0 | 35 | 35 |
+| test.c:34:16:34:21 | ... < ... | test.c:34:16:34:16 | j | >= | test.c:34:20:34:21 | 10 | 0 | 2 | 2 |
+| test.c:34:16:34:21 | ... < ... | test.c:34:16:34:16 | j | >= | test.c:34:20:34:21 | 10 | 0 | 39 | 39 |
+| test.c:34:16:34:21 | ... < ... | test.c:34:16:34:16 | j | >= | test.c:34:20:34:21 | 10 | 0 | 42 | 42 |
+| test.c:34:16:34:21 | ... < ... | test.c:34:16:34:16 | j | >= | test.c:34:20:34:21 | 10 | 0 | 43 | 43 |
+| test.c:34:16:34:21 | ... < ... | test.c:34:16:34:16 | j | >= | test.c:34:20:34:21 | 10 | 0 | 45 | 45 |
+| test.c:34:16:34:21 | ... < ... | test.c:34:16:34:16 | j | >= | test.c:34:20:34:21 | 10 | 0 | 46 | 46 |
+| test.c:34:16:34:21 | ... < ... | test.c:34:16:34:16 | j | >= | test.c:34:20:34:21 | 10 | 0 | 49 | 49 |
+| test.c:34:16:34:21 | ... < ... | test.c:34:16:34:16 | j | >= | test.c:34:20:34:21 | 10 | 0 | 52 | 52 |
+| test.c:34:16:34:21 | ... < ... | test.c:34:16:34:16 | j | >= | test.c:34:20:34:21 | 10 | 0 | 56 | 56 |
+| test.c:34:16:34:21 | ... < ... | test.c:34:16:34:16 | j | >= | test.c:34:20:34:21 | 10 | 0 | 58 | 58 |
+| test.c:34:16:34:21 | ... < ... | test.c:34:16:34:16 | j | >= | test.c:34:20:34:21 | 10 | 0 | 59 | 59 |
+| test.c:34:16:34:21 | ... < ... | test.c:34:16:34:16 | j | >= | test.c:34:20:34:21 | 10 | 0 | 62 | 62 |
+| test.c:34:16:34:21 | ... < ... | test.c:34:20:34:21 | 10 | < | test.c:34:16:34:16 | j | 1 | 2 | 2 |
+| test.c:34:16:34:21 | ... < ... | test.c:34:20:34:21 | 10 | < | test.c:34:16:34:16 | j | 1 | 39 | 39 |
+| test.c:34:16:34:21 | ... < ... | test.c:34:20:34:21 | 10 | < | test.c:34:16:34:16 | j | 1 | 42 | 42 |
+| test.c:34:16:34:21 | ... < ... | test.c:34:20:34:21 | 10 | < | test.c:34:16:34:16 | j | 1 | 43 | 43 |
+| test.c:34:16:34:21 | ... < ... | test.c:34:20:34:21 | 10 | < | test.c:34:16:34:16 | j | 1 | 45 | 45 |
+| test.c:34:16:34:21 | ... < ... | test.c:34:20:34:21 | 10 | < | test.c:34:16:34:16 | j | 1 | 46 | 46 |
+| test.c:34:16:34:21 | ... < ... | test.c:34:20:34:21 | 10 | < | test.c:34:16:34:16 | j | 1 | 49 | 49 |
+| test.c:34:16:34:21 | ... < ... | test.c:34:20:34:21 | 10 | < | test.c:34:16:34:16 | j | 1 | 52 | 52 |
+| test.c:34:16:34:21 | ... < ... | test.c:34:20:34:21 | 10 | < | test.c:34:16:34:16 | j | 1 | 56 | 56 |
+| test.c:34:16:34:21 | ... < ... | test.c:34:20:34:21 | 10 | < | test.c:34:16:34:16 | j | 1 | 58 | 58 |
+| test.c:34:16:34:21 | ... < ... | test.c:34:20:34:21 | 10 | < | test.c:34:16:34:16 | j | 1 | 59 | 59 |
+| test.c:34:16:34:21 | ... < ... | test.c:34:20:34:21 | 10 | < | test.c:34:16:34:16 | j | 1 | 62 | 62 |
+| test.c:34:16:34:21 | ... < ... | test.c:34:20:34:21 | 10 | >= | test.c:34:16:34:16 | j | 1 | 35 | 35 |
+| test.c:42:16:42:21 | ... < ... | test.c:42:16:42:16 | j | < | test.c:42:20:42:21 | 10 | 0 | 42 | 42 |
+| test.c:42:16:42:21 | ... < ... | test.c:42:16:42:16 | j | < | test.c:42:20:42:21 | 10 | 0 | 43 | 43 |
+| test.c:42:16:42:21 | ... < ... | test.c:42:16:42:16 | j | < | test.c:42:20:42:21 | 10 | 0 | 45 | 45 |
+| test.c:42:16:42:21 | ... < ... | test.c:42:16:42:16 | j | < | test.c:42:20:42:21 | 10 | 0 | 46 | 46 |
+| test.c:42:16:42:21 | ... < ... | test.c:42:16:42:16 | j | < | test.c:42:20:42:21 | 10 | 0 | 49 | 49 |
+| test.c:42:16:42:21 | ... < ... | test.c:42:16:42:16 | j | < | test.c:42:20:42:21 | 10 | 0 | 52 | 52 |
+| test.c:42:16:42:21 | ... < ... | test.c:42:20:42:21 | 10 | >= | test.c:42:16:42:16 | j | 1 | 42 | 42 |
+| test.c:42:16:42:21 | ... < ... | test.c:42:20:42:21 | 10 | >= | test.c:42:16:42:16 | j | 1 | 43 | 43 |
+| test.c:42:16:42:21 | ... < ... | test.c:42:20:42:21 | 10 | >= | test.c:42:16:42:16 | j | 1 | 45 | 45 |
+| test.c:42:16:42:21 | ... < ... | test.c:42:20:42:21 | 10 | >= | test.c:42:16:42:16 | j | 1 | 46 | 46 |
+| test.c:42:16:42:21 | ... < ... | test.c:42:20:42:21 | 10 | >= | test.c:42:16:42:16 | j | 1 | 49 | 49 |
+| test.c:42:16:42:21 | ... < ... | test.c:42:20:42:21 | 10 | >= | test.c:42:16:42:16 | j | 1 | 52 | 52 |
+| test.c:44:12:44:16 | ... > ... | test.c:44:12:44:12 | z | < | test.c:44:16:44:16 | 0 | 1 | 52 | 52 |
+| test.c:44:12:44:16 | ... > ... | test.c:44:12:44:12 | z | >= | test.c:44:16:44:16 | 0 | 1 | 45 | 45 |
+| test.c:44:12:44:16 | ... > ... | test.c:44:12:44:12 | z | >= | test.c:44:16:44:16 | 0 | 1 | 46 | 46 |
+| test.c:44:12:44:16 | ... > ... | test.c:44:12:44:12 | z | >= | test.c:44:16:44:16 | 0 | 1 | 49 | 49 |
+| test.c:44:12:44:16 | ... > ... | test.c:44:16:44:16 | 0 | < | test.c:44:12:44:12 | z | 0 | 45 | 45 |
+| test.c:44:12:44:16 | ... > ... | test.c:44:16:44:16 | 0 | < | test.c:44:12:44:12 | z | 0 | 46 | 46 |
+| test.c:44:12:44:16 | ... > ... | test.c:44:16:44:16 | 0 | < | test.c:44:12:44:12 | z | 0 | 49 | 49 |
+| test.c:44:12:44:16 | ... > ... | test.c:44:16:44:16 | 0 | >= | test.c:44:12:44:12 | z | 0 | 52 | 52 |
+| test.c:45:16:45:20 | ... > ... | test.c:45:16:45:16 | y | < | test.c:45:20:45:20 | (long)... | 1 | 49 | 49 |
+| test.c:45:16:45:20 | ... > ... | test.c:45:16:45:16 | y | >= | test.c:45:20:45:20 | (long)... | 1 | 46 | 46 |
+| test.c:45:16:45:20 | ... > ... | test.c:45:20:45:20 | (long)... | < | test.c:45:16:45:16 | y | 0 | 46 | 46 |
+| test.c:45:16:45:20 | ... > ... | test.c:45:20:45:20 | (long)... | >= | test.c:45:16:45:16 | y | 0 | 49 | 49 |
+| test.c:58:9:58:14 | ... == ... | test.c:58:9:58:9 | x | != | test.c:58:14:58:14 | 0 | 0 | 58 | 58 |
+| test.c:58:9:58:14 | ... == ... | test.c:58:9:58:9 | x | != | test.c:58:14:58:14 | 0 | 0 | 62 | 62 |
+| test.c:58:9:58:14 | ... == ... | test.c:58:14:58:14 | 0 | != | test.c:58:9:58:9 | x | 0 | 58 | 58 |
+| test.c:58:9:58:14 | ... == ... | test.c:58:14:58:14 | 0 | != | test.c:58:9:58:9 | x | 0 | 62 | 62 |
+| test.c:58:19:58:23 | ... < ... | test.c:58:19:58:19 | y | >= | test.c:58:23:58:23 | (long)... | 0 | 62 | 62 |
+| test.c:58:19:58:23 | ... < ... | test.c:58:23:58:23 | (long)... | < | test.c:58:19:58:19 | y | 1 | 62 | 62 |
+| test.c:75:9:75:14 | ... == ... | test.c:75:9:75:9 | x | != | test.c:75:14:75:14 | 0 | 0 | 79 | 79 |
+| test.c:75:9:75:14 | ... == ... | test.c:75:9:75:9 | x | == | test.c:75:14:75:14 | 0 | 0 | 76 | 76 |
+| test.c:75:9:75:14 | ... == ... | test.c:75:14:75:14 | 0 | != | test.c:75:9:75:9 | x | 0 | 79 | 79 |
+| test.c:75:9:75:14 | ... == ... | test.c:75:14:75:14 | 0 | == | test.c:75:9:75:9 | x | 0 | 76 | 76 |
+| test.c:85:8:85:13 | ... == ... | test.c:85:8:85:8 | x | == | test.c:85:13:85:13 | 0 | 0 | 85 | 85 |
+| test.c:85:8:85:13 | ... == ... | test.c:85:8:85:8 | x | == | test.c:85:13:85:13 | 0 | 0 | 86 | 86 |
+| test.c:85:8:85:13 | ... == ... | test.c:85:13:85:13 | 0 | == | test.c:85:8:85:8 | x | 0 | 85 | 85 |
+| test.c:85:8:85:13 | ... == ... | test.c:85:13:85:13 | 0 | == | test.c:85:8:85:8 | x | 0 | 86 | 86 |
+| test.c:85:18:85:23 | ... != ... | test.c:85:18:85:18 | y | != | test.c:85:23:85:23 | (long)... | 0 | 86 | 86 |
+| test.c:85:18:85:23 | ... != ... | test.c:85:23:85:23 | (long)... | != | test.c:85:18:85:18 | y | 0 | 86 | 86 |
+| test.c:94:11:94:16 | ... != ... | test.c:94:11:94:11 | x | != | test.c:94:16:94:16 | 0 | 0 | 95 | 95 |
+| test.c:94:11:94:16 | ... != ... | test.c:94:11:94:11 | x | == | test.c:94:16:94:16 | 0 | 0 | 70 | 70 |
+| test.c:94:11:94:16 | ... != ... | test.c:94:11:94:11 | x | == | test.c:94:16:94:16 | 0 | 0 | 99 | 99 |
+| test.c:94:11:94:16 | ... != ... | test.c:94:11:94:11 | x | == | test.c:94:16:94:16 | 0 | 0 | 102 | 102 |
+| test.c:94:11:94:16 | ... != ... | test.c:94:11:94:11 | x | == | test.c:94:16:94:16 | 0 | 0 | 103 | 103 |
+| test.c:94:11:94:16 | ... != ... | test.c:94:11:94:11 | x | == | test.c:94:16:94:16 | 0 | 0 | 107 | 107 |
+| test.c:94:11:94:16 | ... != ... | test.c:94:11:94:11 | x | == | test.c:94:16:94:16 | 0 | 0 | 109 | 109 |
+| test.c:94:11:94:16 | ... != ... | test.c:94:11:94:11 | x | == | test.c:94:16:94:16 | 0 | 0 | 110 | 110 |
+| test.c:94:11:94:16 | ... != ... | test.c:94:11:94:11 | x | == | test.c:94:16:94:16 | 0 | 0 | 113 | 113 |
+| test.c:94:11:94:16 | ... != ... | test.c:94:16:94:16 | 0 | != | test.c:94:11:94:11 | x | 0 | 95 | 95 |
+| test.c:94:11:94:16 | ... != ... | test.c:94:16:94:16 | 0 | == | test.c:94:11:94:11 | x | 0 | 70 | 70 |
+| test.c:94:11:94:16 | ... != ... | test.c:94:16:94:16 | 0 | == | test.c:94:11:94:11 | x | 0 | 99 | 99 |
+| test.c:94:11:94:16 | ... != ... | test.c:94:16:94:16 | 0 | == | test.c:94:11:94:11 | x | 0 | 102 | 102 |
+| test.c:94:11:94:16 | ... != ... | test.c:94:16:94:16 | 0 | == | test.c:94:11:94:11 | x | 0 | 103 | 103 |
+| test.c:94:11:94:16 | ... != ... | test.c:94:16:94:16 | 0 | == | test.c:94:11:94:11 | x | 0 | 107 | 107 |
+| test.c:94:11:94:16 | ... != ... | test.c:94:16:94:16 | 0 | == | test.c:94:11:94:11 | x | 0 | 109 | 109 |
+| test.c:94:11:94:16 | ... != ... | test.c:94:16:94:16 | 0 | == | test.c:94:11:94:11 | x | 0 | 110 | 110 |
+| test.c:94:11:94:16 | ... != ... | test.c:94:16:94:16 | 0 | == | test.c:94:11:94:11 | x | 0 | 113 | 113 |
+| test.c:102:16:102:21 | ... < ... | test.c:102:16:102:16 | j | < | test.c:102:20:102:21 | 10 | 0 | 103 | 103 |
+| test.c:102:16:102:21 | ... < ... | test.c:102:16:102:16 | j | >= | test.c:102:20:102:21 | 10 | 0 | 70 | 70 |
+| test.c:102:16:102:21 | ... < ... | test.c:102:16:102:16 | j | >= | test.c:102:20:102:21 | 10 | 0 | 107 | 107 |
+| test.c:102:16:102:21 | ... < ... | test.c:102:16:102:16 | j | >= | test.c:102:20:102:21 | 10 | 0 | 109 | 109 |
+| test.c:102:16:102:21 | ... < ... | test.c:102:16:102:16 | j | >= | test.c:102:20:102:21 | 10 | 0 | 110 | 110 |
+| test.c:102:16:102:21 | ... < ... | test.c:102:16:102:16 | j | >= | test.c:102:20:102:21 | 10 | 0 | 113 | 113 |
+| test.c:102:16:102:21 | ... < ... | test.c:102:20:102:21 | 10 | < | test.c:102:16:102:16 | j | 1 | 70 | 70 |
+| test.c:102:16:102:21 | ... < ... | test.c:102:20:102:21 | 10 | < | test.c:102:16:102:16 | j | 1 | 107 | 107 |
+| test.c:102:16:102:21 | ... < ... | test.c:102:20:102:21 | 10 | < | test.c:102:16:102:16 | j | 1 | 109 | 109 |
+| test.c:102:16:102:21 | ... < ... | test.c:102:20:102:21 | 10 | < | test.c:102:16:102:16 | j | 1 | 110 | 110 |
+| test.c:102:16:102:21 | ... < ... | test.c:102:20:102:21 | 10 | < | test.c:102:16:102:16 | j | 1 | 113 | 113 |
+| test.c:102:16:102:21 | ... < ... | test.c:102:20:102:21 | 10 | >= | test.c:102:16:102:16 | j | 1 | 103 | 103 |
+| test.c:109:9:109:14 | ... == ... | test.c:109:9:109:9 | x | != | test.c:109:14:109:14 | 0 | 0 | 109 | 109 |
+| test.c:109:9:109:14 | ... == ... | test.c:109:9:109:9 | x | != | test.c:109:14:109:14 | 0 | 0 | 113 | 113 |
+| test.c:109:9:109:14 | ... == ... | test.c:109:14:109:14 | 0 | != | test.c:109:9:109:9 | x | 0 | 109 | 109 |
+| test.c:109:9:109:14 | ... == ... | test.c:109:14:109:14 | 0 | != | test.c:109:9:109:9 | x | 0 | 113 | 113 |
+| test.c:109:19:109:23 | ... < ... | test.c:109:19:109:19 | y | >= | test.c:109:23:109:23 | (long)... | 0 | 113 | 113 |
+| test.c:109:19:109:23 | ... < ... | test.c:109:23:109:23 | (long)... | < | test.c:109:19:109:19 | y | 1 | 113 | 113 |
+| test.cpp:18:8:18:12 | (bool)... | test.cpp:18:8:18:10 | call to get | != | test.cpp:18:8:18:12 | (bool)... | 0 | 0 | 0 |
+| test.cpp:18:8:18:12 | (bool)... | test.cpp:18:8:18:12 | (bool)... | != | test.cpp:18:8:18:10 | call to get | 0 | 0 | 0 |
+| test.cpp:31:7:31:13 | ... == ... | test.cpp:31:7:31:7 | x | != | test.cpp:31:12:31:13 | - ... | 0 | 34 | 34 |
+| test.cpp:31:7:31:13 | ... == ... | test.cpp:31:7:31:7 | x | == | test.cpp:31:12:31:13 | - ... | 0 | 30 | 30 |
+| test.cpp:31:7:31:13 | ... == ... | test.cpp:31:7:31:7 | x | == | test.cpp:31:12:31:13 | - ... | 0 | 32 | 32 |
+| test.cpp:31:7:31:13 | ... == ... | test.cpp:31:12:31:13 | - ... | != | test.cpp:31:7:31:7 | x | 0 | 34 | 34 |
+| test.cpp:31:7:31:13 | ... == ... | test.cpp:31:12:31:13 | - ... | == | test.cpp:31:7:31:7 | x | 0 | 30 | 30 |
+| test.cpp:31:7:31:13 | ... == ... | test.cpp:31:12:31:13 | - ... | == | test.cpp:31:7:31:7 | x | 0 | 32 | 32 |
--- a/cpp/ql/test/library-tests/controlflow/guards-ir/IRGuardsEnsure.ql
+++ b/cpp/ql/test/library-tests/controlflow/guards-ir/IRGuardsEnsure.ql
@@ -0,0 +1,23 @@
+/**
+ * @name Guards control test
+ * @description List which guards ensure which inequalities apply to which blocks
+ * @kind test
+ */
+
+import cpp
+import semmle.code.cpp.controlflow.IRGuards
+
+
+from IRGuardCondition guard, Instruction left, Instruction right, int k, int start, int end, string op
+where 
+exists(IRBlock block |
+       guard.ensuresLt(left, right, k, block, true) and op = "<"
+       or
+       guard.ensuresLt(left, right, k, block, false) and op = ">=" 
+        or
+       guard.ensuresEq(left, right, k, block, true) and op = "=="
+       or
+       guard.ensuresEq(left, right, k, block, false) and op = "!=" |
+       block.getLocation().hasLocationInfo(_, start, _, end, _)
+)
+select guard.getAST(), left.getAST(), op, right.getAST(), k, start, end