@@ -79,9 +79,12 @@ bb1(%1 : @guaranteed $Builtin.NativeObject):
79
79
80
80
bb2:
81
81
end_borrow %1 : $Builtin.NativeObject
82
- br bb3
82
+ br bb4
83
83
84
84
bb3:
85
+ br bb4
86
+
87
+ bb4:
85
88
%9999 = tuple()
86
89
return %9999 : $()
87
90
}
@@ -104,9 +107,12 @@ bb1(%2 : @guaranteed $Builtin.NativeObject):
104
107
105
108
bb2:
106
109
end_borrow %2 : $Builtin.NativeObject
107
- br bb3
110
+ br bb4
108
111
109
112
bb3:
113
+ br bb4
114
+
115
+ bb4:
110
116
%9999 = tuple()
111
117
return %9999 : $()
112
118
}
@@ -123,17 +129,17 @@ bb3:
123
129
// CHECK-LABEL: Error#: 1. Begin Error in Function: 'leak_along_subarg_path'
124
130
// CHECK: Found over consume?!
125
131
// CHECK: Value: %2 = argument of bb1 : $Builtin.NativeObject
126
- // CHECK: Block: bb2
132
+ // CHECK: Block: bb3
127
133
// CHECK: Consuming Users:
128
- // CHECK: br bb3 (%2 : $Builtin.NativeObject)
134
+ // CHECK: br bb4 (%2 : $Builtin.NativeObject)
129
135
// CHECK: end_borrow %2 : $Builtin.NativeObject
130
136
// CHECK: Error#: 1. End Error in Function: 'leak_along_subarg_path'
131
137
//
132
138
// CHECK-LABEL: Error#: 2. Begin Error in Function: 'leak_along_subarg_path'
133
139
// CHECK: Error! Found a leak due to a consuming post-dominance failure!
134
- // CHECK: Value: %5 = argument of bb3 : $Builtin.NativeObject
140
+ // CHECK: Value: %6 = argument of bb4 : $Builtin.NativeObject
135
141
// CHECK: Post Dominating Failure Blocks:
136
- // CHECK: bb5
142
+ // CHECK: bb6
137
143
// CHECK: Error#: 2. End Error in Function: 'leak_along_subarg_path'
138
144
//
139
145
// CHECK-NOT: Error#: {{[0-9][0-9]*}}. End Error in Function: 'leak_along_subarg_path'
@@ -142,19 +148,25 @@ bb0(%0 : @guaranteed $Builtin.NativeObject):
142
148
br bb1(%0 : $Builtin.NativeObject)
143
149
144
150
bb1(%1 : @guaranteed $Builtin.NativeObject):
145
- cond_br undef, bb2, bb5
151
+ cond_br undef, bb2, bb3
146
152
147
153
bb2:
148
- br bb3(%1 : $Builtin.NativeObject)
154
+ br bb7
149
155
150
- bb3(%2 : @guaranteed $Builtin.NativeObject) :
151
- cond_br undef, bb4, bb5
156
+ bb3:
157
+ br bb4(%1 : $Builtin.NativeObject)
152
158
153
- bb4:
154
- end_borrow %2 : $Builtin.NativeObject
155
- br bb5
159
+ bb4(%2 : @guaranteed $Builtin.NativeObject):
160
+ cond_br undef, bb5, bb6
156
161
157
162
bb5:
163
+ end_borrow %2 : $Builtin.NativeObject
164
+ br bb7
165
+
166
+ bb6:
167
+ br bb7
168
+
169
+ bb7:
158
170
end_borrow %1 : $Builtin.NativeObject
159
171
%9999 = tuple()
160
172
return %9999 : $()
164
176
// CHECK: Error! Found a leak due to a consuming post-dominance failure!
165
177
// CHECK: Value: %7 = argument of bb3 : $Builtin.NativeObject
166
178
// CHECK: Post Dominating Failure Blocks:
167
- // CHECK: bb5
179
+ // CHECK: bb6
168
180
// CHECK: Error#: 0. End Error in Function: 'leak_along_subarg_path_2'
169
181
//
170
182
// CHECK-NOT: Error#: {{[0-9][0-9]*}}. End Error in Function: 'leak_along_subarg_path_2'
@@ -181,13 +193,19 @@ bb2:
181
193
br bb3(%2a : $Builtin.NativeObject)
182
194
183
195
bb3(%3 : @guaranteed $Builtin.NativeObject):
184
- cond_br undef, bb4, bb5
196
+ cond_br undef, bb4, bb6
185
197
186
198
bb4:
187
199
end_borrow %3 : $Builtin.NativeObject
188
- br bb5
200
+ br bb7
189
201
190
202
bb5:
203
+ br bb7
204
+
205
+ bb6:
206
+ br bb7
207
+
208
+ bb7:
191
209
end_borrow %2 : $Builtin.NativeObject
192
210
%9999 = tuple()
193
211
return %9999 : $()
204
222
205
223
bb2(%2 : @guaranteed $Builtin.NativeObject):
206
224
end_borrow %2 : $Builtin.NativeObject
207
- cond_br undef, bb3, bb4
225
+ cond_br undef, bb3, bb6
208
226
209
227
bb3:
210
228
br bb4
217
235
bb5:
218
236
end_borrow %1 : $Builtin.NativeObject
219
237
br bb4
238
+
239
+ bb6:
240
+ br bb4
220
241
}
221
242
222
243
// CHECK-NOT: Function: 'good_order_2'
232
253
bb2(%2 : @guaranteed $Builtin.NativeObject):
233
254
end_borrow %2 : $Builtin.NativeObject
234
255
end_borrow %1 : $Builtin.NativeObject
235
- cond_br undef, bb3, bb4
256
+ cond_br undef, bb3, bb6
236
257
237
258
bb3:
238
259
br bb4
245
266
bb5:
246
267
end_borrow %1 : $Builtin.NativeObject
247
268
br bb4
269
+
270
+ bb6:
271
+ br bb4
248
272
}
249
273
250
274
271
295
bb2(%2 : @guaranteed $Builtin.NativeObject):
272
296
end_borrow %1 : $Builtin.NativeObject
273
297
end_borrow %2 : $Builtin.NativeObject
274
- cond_br undef, bb3, bb4
298
+ cond_br undef, bb3, bb6
275
299
276
300
bb3:
277
301
br bb4
284
308
bb5:
285
309
end_borrow %1 : $Builtin.NativeObject
286
310
br bb4
311
+
312
+ bb6:
313
+ br bb4
287
314
}
288
315
289
316
// CHECK-LABEL: Error#: 0. Begin Error in Function: 'bad_order_add_a_level'
0 commit comments