Skip to content

Commit fad49ff

Browse files
committed
C++: Accept qltest change (useless guard tautology removed).
1 parent 613c789 commit fad49ff

File tree

1 file changed

+0
-1
lines changed

1 file changed

+0
-1
lines changed

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

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -115,7 +115,6 @@
115115
| test.c:127:9:127:9 | 1 | not 0 | test.c:131:10:132:16 | { ... } |
116116
| test.c:131:7:131:7 | b | not 0 | test.c:131:10:132:16 | { ... } |
117117
| test.c:131:7:131:7 | b | true | test.c:131:10:132:16 | { ... } |
118-
| test.c:137:7:137:7 | 0 | 0 | test.c:142:3:136:10 | return ... |
119118
| test.c:137:7:137:7 | 0 | false | test.c:142:3:136:10 | return ... |
120119
| test.c:145:16:145:16 | x | 0 | test.c:146:11:147:9 | { ... } |
121120
| test.c:146:7:146:8 | ! ... | true | test.c:146:11:147:9 | { ... } |

0 commit comments

Comments
 (0)