@@ -251,57 +251,58 @@ fn main_0() -> i32 {
251251 let four: Value < Box < [ u8 ] > > = Rc :: new ( RefCell :: new ( Box :: new ( [ 10_u8 , 0_u8 , 0_u8 , 1_u8 ] ) ) ) ;
252252 assert ! (
253253 ( ( ( {
254- let mut __i: usize = 0 ;
255- loop {
256- let __c1 = {
257- let __text = if 2 == libc:: AF_INET {
258- let mut __b = [ 0u8 ; 4 ] ;
259- for __i in 0 ..4 {
260- __b[ __i] = ( ( four. as_pointer( ) as Ptr <u8 >) as Ptr <u8 >)
261- . to_any( )
262- . reinterpret_cast:: <u8 >( )
263- . offset( __i)
264- . read( ) ;
265- }
266- Some ( std:: net:: Ipv4Addr :: from( __b) . to_string( ) )
267- } else if 2 == libc:: AF_INET6 {
268- let mut __b = [ 0u8 ; 16 ] ;
269- for __i in 0 ..16 {
270- __b[ __i] = ( ( four. as_pointer( ) as Ptr <u8 >) as Ptr <u8 >)
271- . to_any( )
272- . reinterpret_cast:: <u8 >( )
254+ let mut __p1 = {
255+ let __text = if 2 == libc:: AF_INET {
256+ let mut __b = [ 0u8 ; 4 ] ;
257+ for __i in 0 ..4 {
258+ __b[ __i] = ( ( four. as_pointer( ) as Ptr <u8 >) as Ptr <u8 >)
259+ . to_any( )
260+ . reinterpret_cast:: <u8 >( )
261+ . offset( __i)
262+ . read( ) ;
263+ }
264+ Some ( std:: net:: Ipv4Addr :: from( __b) . to_string( ) )
265+ } else if 2 == libc:: AF_INET6 {
266+ let mut __b = [ 0u8 ; 16 ] ;
267+ for __i in 0 ..16 {
268+ __b[ __i] = ( ( four. as_pointer( ) as Ptr <u8 >) as Ptr <u8 >)
269+ . to_any( )
270+ . reinterpret_cast:: <u8 >( )
271+ . offset( __i)
272+ . read( ) ;
273+ }
274+ Some ( std:: net:: Ipv6Addr :: from( __b) . to_string( ) )
275+ } else {
276+ None
277+ } ;
278+ match __text {
279+ Some ( __s)
280+ if ( __s. len( ) as u32 ) < ( :: std:: mem:: size_of:: <[ u8 ; 64 ] >( ) as u32 ) =>
281+ {
282+ for __i in 0 ..__s. len( ) {
283+ ( text. as_pointer( ) as Ptr <u8 >)
273284 . offset( __i)
274- . read( ) ;
275- }
276- Some ( std:: net:: Ipv6Addr :: from( __b) . to_string( ) )
277- } else {
278- None
279- } ;
280- match __text {
281- Some ( __s)
282- if ( __s. len( ) as u32 ) < ( :: std:: mem:: size_of:: <[ u8 ; 64 ] >( ) as u32 ) =>
283- {
284- for __i in 0 ..__s. len( ) {
285- ( text. as_pointer( ) as Ptr <u8 >)
286- . offset( __i)
287- . write( __s. as_bytes( ) [ __i] ) ;
288- }
289- ( text. as_pointer( ) as Ptr <u8 >) . offset( __s. len( ) ) . write( 0 ) ;
290- ( text. as_pointer( ) as Ptr <u8 >) . clone( )
285+ . write( __s. as_bytes( ) [ __i] ) ;
291286 }
292- _ => Ptr :: null( ) ,
287+ ( text. as_pointer( ) as Ptr <u8 >) . offset( __s. len( ) ) . write( 0 ) ;
288+ ( text. as_pointer( ) as Ptr <u8 >) . clone( )
293289 }
290+ _ => Ptr :: null( ) ,
294291 }
295- . offset( __i)
296- . read( ) ;
297- let __c2 = Ptr :: from_string_literal( b"10.0.0.1" ) . offset( __i) . read( ) ;
292+ }
293+ . clone( ) ;
294+ let mut __p2 = Ptr :: from_string_literal( b"10.0.0.1" ) . clone( ) ;
295+ loop {
296+ let __c1 = __p1. read( ) ;
297+ let __c2 = __p2. read( ) ;
298298 if __c1 != __c2 {
299299 break ( __c1 as i32 ) - ( __c2 as i32 ) ;
300300 }
301301 if __c1 == 0 {
302302 break 0 ;
303303 }
304- __i += 1 ;
304+ __p1 += 1 ;
305+ __p2 += 1 ;
305306 }
306307 } == 0 ) as i32 )
307308 != 0 )
@@ -327,57 +328,58 @@ fn main_0() -> i32 {
327328 ( * sixteen. borrow_mut ( ) ) [ ( 15 ) as usize ] = 1_u8 ;
328329 assert ! (
329330 ( ( ( {
330- let mut __i: usize = 0 ;
331- loop {
332- let __c1 = {
333- let __text = if 10 == libc:: AF_INET {
334- let mut __b = [ 0u8 ; 4 ] ;
335- for __i in 0 ..4 {
336- __b[ __i] = ( ( sixteen. as_pointer( ) as Ptr <u8 >) as Ptr <u8 >)
337- . to_any( )
338- . reinterpret_cast:: <u8 >( )
339- . offset( __i)
340- . read( ) ;
341- }
342- Some ( std:: net:: Ipv4Addr :: from( __b) . to_string( ) )
343- } else if 10 == libc:: AF_INET6 {
344- let mut __b = [ 0u8 ; 16 ] ;
345- for __i in 0 ..16 {
346- __b[ __i] = ( ( sixteen. as_pointer( ) as Ptr <u8 >) as Ptr <u8 >)
347- . to_any( )
348- . reinterpret_cast:: <u8 >( )
331+ let mut __p1 = {
332+ let __text = if 10 == libc:: AF_INET {
333+ let mut __b = [ 0u8 ; 4 ] ;
334+ for __i in 0 ..4 {
335+ __b[ __i] = ( ( sixteen. as_pointer( ) as Ptr <u8 >) as Ptr <u8 >)
336+ . to_any( )
337+ . reinterpret_cast:: <u8 >( )
338+ . offset( __i)
339+ . read( ) ;
340+ }
341+ Some ( std:: net:: Ipv4Addr :: from( __b) . to_string( ) )
342+ } else if 10 == libc:: AF_INET6 {
343+ let mut __b = [ 0u8 ; 16 ] ;
344+ for __i in 0 ..16 {
345+ __b[ __i] = ( ( sixteen. as_pointer( ) as Ptr <u8 >) as Ptr <u8 >)
346+ . to_any( )
347+ . reinterpret_cast:: <u8 >( )
348+ . offset( __i)
349+ . read( ) ;
350+ }
351+ Some ( std:: net:: Ipv6Addr :: from( __b) . to_string( ) )
352+ } else {
353+ None
354+ } ;
355+ match __text {
356+ Some ( __s)
357+ if ( __s. len( ) as u32 ) < ( :: std:: mem:: size_of:: <[ u8 ; 64 ] >( ) as u32 ) =>
358+ {
359+ for __i in 0 ..__s. len( ) {
360+ ( text. as_pointer( ) as Ptr <u8 >)
349361 . offset( __i)
350- . read( ) ;
351- }
352- Some ( std:: net:: Ipv6Addr :: from( __b) . to_string( ) )
353- } else {
354- None
355- } ;
356- match __text {
357- Some ( __s)
358- if ( __s. len( ) as u32 ) < ( :: std:: mem:: size_of:: <[ u8 ; 64 ] >( ) as u32 ) =>
359- {
360- for __i in 0 ..__s. len( ) {
361- ( text. as_pointer( ) as Ptr <u8 >)
362- . offset( __i)
363- . write( __s. as_bytes( ) [ __i] ) ;
364- }
365- ( text. as_pointer( ) as Ptr <u8 >) . offset( __s. len( ) ) . write( 0 ) ;
366- ( text. as_pointer( ) as Ptr <u8 >) . clone( )
362+ . write( __s. as_bytes( ) [ __i] ) ;
367363 }
368- _ => Ptr :: null( ) ,
364+ ( text. as_pointer( ) as Ptr <u8 >) . offset( __s. len( ) ) . write( 0 ) ;
365+ ( text. as_pointer( ) as Ptr <u8 >) . clone( )
369366 }
367+ _ => Ptr :: null( ) ,
370368 }
371- . offset( __i)
372- . read( ) ;
373- let __c2 = Ptr :: from_string_literal( b"::1" ) . offset( __i) . read( ) ;
369+ }
370+ . clone( ) ;
371+ let mut __p2 = Ptr :: from_string_literal( b"::1" ) . clone( ) ;
372+ loop {
373+ let __c1 = __p1. read( ) ;
374+ let __c2 = __p2. read( ) ;
374375 if __c1 != __c2 {
375376 break ( __c1 as i32 ) - ( __c2 as i32 ) ;
376377 }
377378 if __c1 == 0 {
378379 break 0 ;
379380 }
380- __i += 1 ;
381+ __p1 += 1 ;
382+ __p2 += 1 ;
381383 }
382384 } == 0 ) as i32 )
383385 != 0 )
0 commit comments