@@ -25,13 +25,13 @@ unsafe fn main_0() -> i32 {
2525 assert ! ( ( ( n) == ( ( :: std:: mem:: size_of:: <i32 >( ) as usize ) . wrapping_add( 4_usize ) ) ) ) ;
2626 let mut ul: u64 = 10_u64 ;
2727 let mut sz: usize = 20_usize ;
28- let mut mixed: usize = ( ( ( sz as u64 ) . wrapping_add ( ul) ) as usize ) ;
28+ let mut mixed: usize = ( ( sz as u64 ) . wrapping_add ( ul) as usize ) ;
2929 assert ! ( ( ( mixed) == ( 30_usize ) ) ) ;
30- assert ! ( ( ( sz) > ( ( ul ) as usize ) ) ) ;
31- assert ! ( ( ( ( ul ) as usize ) < ( sz) ) ) ;
32- assert ! ( !( ( sz) == ( ( ul ) as usize ) ) ) ;
33- let mut chain: usize = ( ( ( ( ( sz as u64 ) . wrapping_add ( ul) ) . wrapping_add ( 5_u64 ) )
34- . wrapping_add ( :: std:: mem:: size_of :: < i64 > ( ) as u64 ) ) as usize ) ;
30+ assert ! ( ( ( sz) > ( ul as usize ) ) ) ;
31+ assert ! ( ( ( ul as usize ) < ( sz) ) ) ;
32+ assert ! ( !( ( sz) == ( ul as usize ) ) ) ;
33+ let mut chain: usize = ( ( ( ( sz as u64 ) . wrapping_add ( ul) ) . wrapping_add ( 5_u64 ) )
34+ . wrapping_add ( :: std:: mem:: size_of :: < i64 > ( ) as u64 ) as usize ) ;
3535 assert ! (
3636 ( ( chain)
3737 == ( ( ( ( ( 20 ) + ( 10 ) ) + ( 5 ) ) as usize )
@@ -50,8 +50,8 @@ unsafe fn main_0() -> i32 {
5050 sz = ( sz) . wrapping_add ( 1_usize ) ;
5151 assert ! ( ( ( sz) == ( 21_usize ) ) ) ;
5252 let mut fr: usize = ( unsafe {
53- let _a: usize = ( ( ( :: std:: mem:: size_of :: < i32 > ( ) as u64 ) . wrapping_add ( sz as u64 ) ) as usize ) ;
54- let _b: usize = ( ( ul ) as usize ) ;
53+ let _a: usize = ( ( :: std:: mem:: size_of :: < i32 > ( ) as u64 ) . wrapping_add ( sz as u64 ) as usize ) ;
54+ let _b: usize = ( ul as usize ) ;
5555 add_sizes_0 ( _a, _b)
5656 } ) ;
5757 assert ! (
@@ -60,38 +60,38 @@ unsafe fn main_0() -> i32 {
6060 . wrapping_add( 10_usize ) ) )
6161 ) ;
6262 let mut fr2: u64 = ( unsafe {
63- let _x: u64 = ( ( sz ) as u64 ) ;
63+ let _x: u64 = ( sz as u64 ) ;
6464 take_ulong_1 ( _x)
6565 } ) ;
6666 assert ! ( ( ( fr2) == ( 21_u64 ) ) ) ;
67- let mut lo: usize = ( ( {
68- let mut __tmp_0 = ( ( sz ) as u64 ) ;
67+ let mut lo: usize = ( {
68+ let mut __tmp_0 = ( sz as u64 ) ;
6969 let mut __tmp_1 = ( :: std:: mem:: size_of :: < i64 > ( ) as u64 ) . wrapping_add ( ul) ;
7070 ( * if * & mut __tmp_0 <= * & mut __tmp_1 {
7171 ( & mut __tmp_0) as * const _
7272 } else {
7373 ( & mut __tmp_1) as * const _
7474 } )
75- } ) as usize ) ;
76- let mut hi: usize = ( ( {
75+ } as usize ) ;
76+ let mut hi: usize = ( {
7777 let mut __tmp_0 = ( :: std:: mem:: size_of :: < i32 > ( ) as u64 ) . wrapping_add ( sz as u64 ) ;
7878 ( * if * & mut __tmp_0 >= * & mut ul {
7979 ( & mut __tmp_0) as * const _
8080 } else {
8181 ( & mut ul) as * const _
8282 } )
83- } ) as usize ) ;
83+ } as usize ) ;
8484 assert ! ( ( ( lo) == ( ( :: std:: mem:: size_of:: <i64 >( ) as usize ) . wrapping_add( 10_usize ) ) ) ) ;
8585 assert ! ( ( ( hi) == ( ( :: std:: mem:: size_of:: <i32 >( ) as usize ) . wrapping_add( 21_usize ) ) ) ) ;
86- let mut bound: usize = ( ( {
87- let mut __tmp_0 = ( ( sz ) as u64 ) ;
88- let mut __tmp_1 = ( ( 4_usize ) as u64 ) ;
86+ let mut bound: usize = ( {
87+ let mut __tmp_0 = ( sz as u64 ) ;
88+ let mut __tmp_1 = ( 4_usize as u64 ) ;
8989 ( * if * & mut __tmp_0 <= * & mut __tmp_1 {
9090 ( & mut __tmp_0) as * const _
9191 } else {
9292 ( & mut __tmp_1) as * const _
9393 } )
94- } ) as usize ) ;
94+ } as usize ) ;
9595 assert ! ( ( ( bound) == ( 4_usize ) ) ) ;
9696 let mut data: [ i32 ; 8 ] = [ 0_i32 ; 8 ] ;
9797 let mut count: usize = ( :: std:: mem:: size_of :: < [ i32 ; 8 ] > ( ) as usize )
@@ -108,11 +108,11 @@ unsafe fn main_0() -> i32 {
108108 i. postfix_inc ( ) ;
109109 }
110110 assert ! ( ( ( total) == ( 56_usize ) ) ) ;
111- let mut cond: usize = ( ( if ( ( sz) > ( ( ul ) as usize ) ) {
111+ let mut cond: usize = ( if ( ( sz) > ( ul as usize ) ) {
112112 ( sz as u64 ) . wrapping_add ( :: std:: mem:: size_of :: < i32 > ( ) as u64 )
113113 } else {
114114 ul
115- } ) as usize ) ;
115+ } as usize ) ;
116116 assert ! ( ( ( cond) == ( ( 21_usize ) . wrapping_add( :: std:: mem:: size_of:: <i32 >( ) as usize ) ) ) ) ;
117117 let mut arr: [ usize ; 4 ] = [ 0_usize , 1_usize , 2_usize , 3_usize ] ;
118118 let mut idx: usize = ( if ( ( :: std:: mem:: size_of :: < i32 > ( ) ) > ( 2_usize ) ) {
@@ -131,27 +131,27 @@ unsafe fn main_0() -> i32 {
131131 assert ! ( ( ( sd) == ( -7_i32 as isize ) ) ) ;
132132 assert ! ( ( ( sd) < ( 0_isize ) ) ) ;
133133 let mut l: i64 = 3_i64 ;
134- let mut sm: isize = ( ( ( ( s2 ) as i64 ) + ( l) ) as isize ) ;
134+ let mut sm: isize = ( ( ( s2 as i64 ) + ( l) ) as isize ) ;
135135 assert ! ( ( ( sm) == ( 15_isize ) ) ) ;
136- assert ! ( ( ( sm) > ( ( l ) as isize ) ) ) ;
137- let mut smin: isize = ( ( {
138- let mut __tmp_0 = ( ( sd ) as i64 ) ;
139- let mut __tmp_1 = ( ( sm ) as i64 ) ;
136+ assert ! ( ( ( sm) > ( l as isize ) ) ) ;
137+ let mut smin: isize = ( {
138+ let mut __tmp_0 = ( sd as i64 ) ;
139+ let mut __tmp_1 = ( sm as i64 ) ;
140140 ( * if * & mut __tmp_0 <= * & mut __tmp_1 {
141141 ( & mut __tmp_0) as * const _
142142 } else {
143143 ( & mut __tmp_1) as * const _
144144 } )
145- } ) as isize ) ;
146- let mut smax: isize = ( ( {
147- let mut __tmp_0 = ( ( sd ) as i64 ) ;
148- let mut __tmp_1 = ( ( sm ) as i64 ) ;
145+ } as isize ) ;
146+ let mut smax: isize = ( {
147+ let mut __tmp_0 = ( sd as i64 ) ;
148+ let mut __tmp_1 = ( sm as i64 ) ;
149149 ( * if * & mut __tmp_0 >= * & mut __tmp_1 {
150150 ( & mut __tmp_0) as * const _
151151 } else {
152152 ( & mut __tmp_1) as * const _
153153 } )
154- } ) as isize ) ;
154+ } as isize ) ;
155155 assert ! ( ( ( smin) == ( -7_i32 as isize ) ) ) ;
156156 assert ! ( ( ( smax) == ( 15_isize ) ) ) ;
157157 let mut delta: isize = ( ( sz as isize ) - ( ul as isize ) ) ;
0 commit comments