@@ -19,7 +19,7 @@ fn test_complex() -> () {
1919 bb0 : {
2020 StorageLive ( _1) ;
2121 StorageLive ( _2) ;
22- _2 = E :: f ( ) -> [ return : bb1, unwind: bb34 ] ;
22+ _2 = E :: f ( ) -> [ return : bb1, unwind: bb35 ] ;
2323 }
2424
2525 bb1 : {
@@ -42,7 +42,7 @@ fn test_complex() -> () {
4242
4343 bb5 : {
4444 StorageLive ( _4) ;
45- _4 = always_true ( ) -> [ return : bb6, unwind: bb34 ] ;
45+ _4 = always_true ( ) -> [ return : bb6, unwind: bb35 ] ;
4646 }
4747
4848 bb6 : {
@@ -64,7 +64,7 @@ fn test_complex() -> () {
6464 }
6565
6666 bb9 : {
67- drop( _7) -> [ return : bb11, unwind: bb34 ] ;
67+ drop( _7) -> [ return : bb11, unwind: bb35 ] ;
6868 }
6969
7070 bb10: {
@@ -78,7 +78,7 @@ fn test_complex() -> () {
7878 }
7979
8080 bb12 : {
81- drop( _7) -> [ return : bb13, unwind: bb34 ] ;
81+ drop( _7) -> [ return : bb13, unwind: bb35 ] ;
8282 }
8383
8484 bb13 : {
@@ -98,7 +98,7 @@ fn test_complex() -> () {
9898 }
9999
100100 bb15 : {
101- drop( _10) -> [ return : bb17, unwind: bb34 ] ;
101+ drop( _10) -> [ return : bb17, unwind: bb35 ] ;
102102 }
103103
104104 bb16: {
@@ -113,11 +113,12 @@ fn test_complex() -> () {
113113
114114 bb18: {
115115 _1 = const ( ) ;
116+ StorageDead ( _2) ;
116117 goto -> bb22;
117118 }
118119
119120 bb19 : {
120- drop( _10) -> [ return : bb20, unwind: bb34 ] ;
121+ drop( _10) -> [ return : bb20, unwind: bb35 ] ;
121122 }
122123
123124 bb20 : {
@@ -127,6 +128,7 @@ fn test_complex() -> () {
127128 }
128129
129130 bb21 : {
131+ StorageDead ( _2) ;
130132 _1 = const ( ) ;
131133 goto -> bb22;
132134 }
@@ -135,18 +137,17 @@ fn test_complex() -> () {
135137 StorageDead ( _8) ;
136138 StorageDead ( _5) ;
137139 StorageDead ( _4) ;
138- StorageDead ( _2) ;
139140 StorageDead ( _1) ;
140141 StorageLive ( _11) ;
141- _11 = always_true ( ) -> [ return : bb23, unwind: bb34 ] ;
142+ _11 = always_true ( ) -> [ return : bb23, unwind: bb35 ] ;
142143 }
143144
144145 bb23 : {
145146 switchInt( move _11) -> [ 0 : bb25, otherwise: bb24] ;
146147 }
147148
148149 bb24: {
149- goto -> bb32 ;
150+ goto -> bb33 ;
150151 }
151152
152153 bb25: {
@@ -155,7 +156,7 @@ fn test_complex() -> () {
155156
156157 bb26 : {
157158 StorageLive ( _12) ;
158- _12 = E :: f ( ) -> [ return : bb27, unwind: bb34 ] ;
159+ _12 = E :: f ( ) -> [ return : bb27, unwind: bb35 ] ;
159160 }
160161
161162 bb27 : {
@@ -178,21 +179,26 @@ fn test_complex() -> () {
178179
179180 bb31: {
180181 _0 = const ( ) ;
181- goto -> bb33;
182+ StorageDead ( _12) ;
183+ goto -> bb34;
182184 }
183185
184186 bb32 : {
185- _0 = const ( ) ;
187+ StorageDead ( _12 ) ;
186188 goto -> bb33;
187189 }
188190
189191 bb33: {
192+ _0 = const ( ) ;
193+ goto -> bb34;
194+ }
195+
196+ bb34 : {
190197 StorageDead ( _11) ;
191- StorageDead ( _12) ;
192198 return ;
193199 }
194200
195- bb34 ( cleanup) : {
201+ bb35 ( cleanup) : {
196202 resume;
197203 }
198204}
0 commit comments