C++: Delete a test. This is no longer useful when every expression is a guard condition.

Author: MathiasVP

cpp/ql/test/library-tests/controlflow/guards-ir/tests.expected

@@ -1,44 +1,3 @@
-astGuards
-| test.c:7:9:7:13 | ... > ... |
-| test.c:17:8:17:12 | ... < ... |
-| test.c:17:8:17:21 | ... && ... |
-| 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:9:58:23 | ... \|\| ... |
-| test.c:58:19:58:23 | ... < ... |
-| test.c:75:9:75:14 | ... == ... |
-| test.c:85:8:85:13 | ... == ... |
-| test.c:85:8:85:23 | ... && ... |
-| 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:9:109:23 | ... \|\| ... |
-| test.c:109:19:109:23 | ... < ... |
-| test.c:126:7:126:7 | 1 |
-| test.c:126:7:126:28 | ... && ... |
-| 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:146:7:146:8 | ! ... |
-| test.c:146:8:146:8 | x |
-| test.c:152:10:152:10 | x |
-| test.c:152:10:152:15 | ... && ... |
-| test.c:152:15:152:15 | y |
-| test.c:156:9:156:19 | ... == ... |
-| test.c:159:9:159:19 | ... == ... |
-| test.c:162:9:162:18 | ... < ... |
-| test.c:165:9:165:18 | ... < ... |
-| test.c:175:13:175:32 | ... == ... |
-| test.c:181:9:181:9 | x |
-| test.cpp:18:8:18:10 | call to get |
-| test.cpp:31:7:31:13 | ... == ... |
-| test.cpp:42:13:42:20 | call to getABool |
 astGuardsCompare
 | 7 | 0 < x+0 when ... > ... is true |
 | 7 | 0 >= x+0 when ... > ... is false |
@@ -901,40 +860,6 @@ astGuardsEnsure_const
 | test.cpp:31:7:31:13 | ... == ... | test.cpp:31:7:31:13 | ... == ... | == | 1 | 31 | 32 |
 | test.cpp:42:13:42:20 | call to getABool | test.cpp:42:13:42:20 | call to getABool | != | 0 | 43 | 45 |
 | test.cpp:42:13:42:20 | call to getABool | test.cpp:42:13:42:20 | call to getABool | == | 1 | 43 | 45 |
-irGuards
-| test.c:7:9:7:13 | CompareGT: ... > ... |
-| test.c:17:8:17:12 | CompareLT: ... < ... |
-| test.c:17:17:17:21 | CompareGT: ... > ... |
-| test.c:26:11:26:15 | CompareGT: ... > ... |
-| test.c:34:16:34:21 | CompareLT: ... < ... |
-| test.c:42:16:42:21 | CompareLT: ... < ... |
-| test.c:44:12:44:16 | CompareGT: ... > ... |
-| test.c:45:16:45:20 | CompareGT: ... > ... |
-| test.c:58:9:58:14 | CompareEQ: ... == ... |
-| test.c:58:19:58:23 | CompareLT: ... < ... |
-| test.c:75:9:75:14 | CompareEQ: ... == ... |
-| test.c:85:8:85:13 | CompareEQ: ... == ... |
-| test.c:85:18:85:23 | CompareNE: ... != ... |
-| test.c:94:11:94:16 | CompareNE: ... != ... |
-| test.c:102:16:102:21 | CompareLT: ... < ... |
-| test.c:109:9:109:14 | CompareEQ: ... == ... |
-| test.c:109:19:109:23 | CompareLT: ... < ... |
-| test.c:126:7:126:7 | CompareNE: 1 |
-| test.c:126:12:126:26 | CompareNE: call to test3_condition |
-| test.c:131:7:131:7 | CompareNE: b |
-| test.c:137:7:137:7 | CompareNE: 0 |
-| test.c:146:7:146:8 | CompareEQ: ! ... |
-| test.c:152:10:152:10 | CompareNE: x |
-| test.c:152:15:152:15 | CompareNE: y |
-| test.c:156:9:156:19 | CompareEQ: ... == ... |
-| test.c:159:9:159:19 | CompareEQ: ... == ... |
-| test.c:162:9:162:18 | CompareLT: ... < ... |
-| test.c:165:9:165:18 | CompareLT: ... < ... |
-| test.c:175:13:175:32 | CompareEQ: ... == ... |
-| test.c:181:9:181:9 | CompareNE: x |
-| test.cpp:18:8:18:12 | CompareNE: (bool)... |
-| test.cpp:31:7:31:13 | CompareEQ: ... == ... |
-| test.cpp:42:13:42:20 | Call: call to getABool |
 irGuardsCompare
 | 7 | 0 < x+0 when CompareGT: ... > ... is true |
 | 7 | 0 >= x+0 when CompareGT: ... > ... is false |

cpp/ql/test/library-tests/controlflow/guards-ir/tests.ql

@@ -1,8 +1,6 @@
 import cpp
 import semmle.code.cpp.controlflow.IRGuards
 
-query predicate astGuards(GuardCondition guard) { any() }
-
 query predicate astGuardsCompare(int startLine, string msg) {
   exists(GuardCondition guard, Expr left, int k, string op |
     exists(boolean sense, string which |
@@ -70,8 +68,6 @@ query predicate astGuardsEnsure_const(
   )
 }
 
-query predicate irGuards(IRGuardCondition guard) { any() }
-
 query predicate irGuardsCompare(int startLine, string msg) {
   exists(IRGuardCondition guard, Operand left, int k, string op |
     exists(boolean sense, string which |