Skip to content

Commit 56e1ef5

Browse files
committed
C++: Accept changes in experimental tests after aliased SSA removal
1 parent aefab6d commit 56e1ef5

File tree

2 files changed

+3
-2
lines changed

2 files changed

+3
-2
lines changed

cpp/ql/test/experimental/library-tests/rangeanalysis/arraylengthanalysis/ArrayLengthAnalysisTest.expected

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
| test.cpp:15:8:15:11 | Load: aptr | VNLength(InitializeParameter: count) | 0 | ZeroOffset | 0 |
1+
| test.cpp:15:8:15:11 | Load: aptr | VNLength(Load: count) | 0 | ZeroOffset | 0 |
22
| test.cpp:19:8:19:8 | Load: a | VNLength(Load: count) | 0 | ZeroOffset | 0 |
33
| test.cpp:21:8:21:8 | Load: a | VNLength(Load: count) | -1 | ZeroOffset | 0 |
44
| test.cpp:23:8:23:8 | Load: a | VNLength(Load: count) | 1 | ZeroOffset | 0 |

cpp/ql/test/experimental/library-tests/rangeanalysis/signanalysis/SignAnalysis.expected

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,8 @@
1515
| inline_assembly.c:9:23:9:23 | Uninitialized: definition of y | positive |
1616
| inline_assembly.c:10:3:10:7 | Store: ... = ... | positive strictlyPositive |
1717
| inline_assembly.c:10:7:10:7 | Constant: (unsigned int)... | positive strictlyPositive |
18-
| inline_assembly.c:12:32:12:32 | Load: y | positive strictlyPositive |
18+
| inline_assembly.c:12:29:12:29 | Load: x | positive |
19+
| inline_assembly.c:12:32:12:32 | Load: y | positive |
1920
| inline_assembly.c:21:29:21:29 | Load: x | positive |
2021
| inline_assembly.c:21:32:21:32 | Load: y | positive |
2122
| minmax.c:16:9:16:10 | Constant: 1 | positive strictlyPositive |

0 commit comments

Comments
 (0)