Skip to content

Commit f323fa1

Browse files
author
Robert Marsh
committed
C++: test changes from previous commit
The IR for the conversion to bool results in a comparison where the left hand side is not the result of any expression in the AST, so they can't be usefully converted back to the AST
1 parent e2d24a2 commit f323fa1

File tree

2 files changed

+0
-3
lines changed

2 files changed

+0
-3
lines changed

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

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -14,8 +14,6 @@
1414
| 17 | y < 1+1 when ... > ... is false |
1515
| 17 | y >= 1+1 when ... && ... is true |
1616
| 17 | y >= 1+1 when ... > ... is true |
17-
| 18 | call to get != call to get+0 when call to get is true |
18-
| 18 | call to get == call to get+0 when call to get is false |
1917
| 26 | 0 < x+0 when ... > ... is true |
2018
| 26 | 0 >= x+0 when ... > ... is false |
2119
| 26 | x < 0+1 when ... > ... is false |

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

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -154,7 +154,6 @@
154154
| test.c:109:9:109:23 | ... \|\| ... | test.c:109:23:109:23 | 0 | < | test.c:109:19:109:19 | y | 1 | 113 | 113 |
155155
| test.c:109:19:109:23 | ... < ... | test.c:109:19:109:19 | y | >= | test.c:109:23:109:23 | 0 | 0 | 113 | 113 |
156156
| test.c:109:19:109:23 | ... < ... | test.c:109:23:109:23 | 0 | < | test.c:109:19:109:19 | y | 1 | 113 | 113 |
157-
| 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 |
158157
| test.cpp:31:7:31:13 | ... == ... | test.cpp:31:7:31:7 | x | != | test.cpp:31:12:31:13 | - ... | 0 | 30 | 30 |
159158
| test.cpp:31:7:31:13 | ... == ... | test.cpp:31:7:31:7 | x | != | test.cpp:31:12:31:13 | - ... | 0 | 34 | 34 |
160159
| test.cpp:31:7:31:13 | ... == ... | test.cpp:31:7:31:7 | x | == | test.cpp:31:12:31:13 | - ... | 0 | 30 | 30 |

0 commit comments

Comments
 (0)