@@ -39,23 +39,23 @@ fn main_0() -> i32 {
3939 assert ! ( !( ( * sz. borrow( ) ) == ( ( * ul. borrow( ) ) as usize ) ) ) ;
4040 let chain: Value < usize > = Rc :: new ( RefCell :: new (
4141 ( ( ( ( ( * sz. borrow ( ) ) as u64 ) . wrapping_add ( ( * ul. borrow ( ) ) ) ) . wrapping_add ( 5_u64 ) )
42- . wrapping_add ( :: std:: mem:: size_of :: < i64 > ( ) as u64 ) as usize ) ,
42+ . wrapping_add ( ( :: std:: mem:: size_of :: < i64 > ( ) as u64 ) ) as usize ) ,
4343 ) ) ;
4444 assert ! (
4545 ( ( * chain. borrow( ) )
46- == ( ( ( 20 + 10 ) + 5 ) as usize ) . wrapping_add( :: std:: mem:: size_of:: <i64 >( ) as usize ) )
46+ == ( ( ( 20 + 10 ) + 5 ) as usize ) . wrapping_add( ( :: std:: mem:: size_of:: <i64 >( ) as usize ) ) )
4747 ) ;
4848 let acc: Value < usize > = Rc :: new ( RefCell :: new ( 100_usize ) ) ;
4949 let rhs_0 =
50- ( ( ( * acc. borrow ( ) ) as u64 ) . wrapping_add ( :: std:: mem:: size_of :: < f64 > ( ) as u64 ) ) as usize ;
50+ ( ( ( * acc. borrow ( ) ) as u64 ) . wrapping_add ( ( :: std:: mem:: size_of :: < f64 > ( ) as u64 ) ) ) as usize ;
5151 ( * acc. borrow_mut ( ) ) = rhs_0;
5252 let rhs_0 = ( * acc. borrow ( ) ) . wrapping_mul ( 2_usize ) ;
5353 ( * acc. borrow_mut ( ) ) = rhs_0;
5454 let rhs_0 = ( ( ( * acc. borrow ( ) ) as u64 ) . wrapping_sub ( ( * ul. borrow ( ) ) ) ) as usize ;
5555 ( * acc. borrow_mut ( ) ) = rhs_0;
5656 assert ! (
5757 ( ( * acc. borrow( ) )
58- == ( ( ( ( 100_usize ) . wrapping_add( :: std:: mem:: size_of:: <f64 >( ) as usize ) ) as usize )
58+ == ( ( ( ( 100_usize ) . wrapping_add( ( :: std:: mem:: size_of:: <f64 >( ) as usize ) ) ) as usize )
5959 . wrapping_mul( 2_usize ) as usize )
6060 . wrapping_sub( 10_usize ) )
6161 ) ;
@@ -65,7 +65,7 @@ fn main_0() -> i32 {
6565 let fr: Value < usize > = Rc :: new ( RefCell :: new (
6666 ( {
6767 let _a: usize = ( ( :: std:: mem:: size_of :: < i32 > ( ) as u64 )
68- . wrapping_add ( ( * sz. borrow ( ) ) as u64 ) as usize ) ;
68+ . wrapping_add ( ( ( * sz. borrow ( ) ) as u64 ) ) as usize ) ;
6969 let _b: usize = ( ( * ul. borrow ( ) ) as usize ) ;
7070 add_sizes_0 ( _a, _b)
7171 } ) ,
@@ -99,7 +99,7 @@ fn main_0() -> i32 {
9999 let hi: Value < usize > = Rc :: new ( RefCell :: new (
100100 ( {
101101 let __tmp_0: Value < u64 > = Rc :: new ( RefCell :: new (
102- ( :: std:: mem:: size_of :: < i32 > ( ) as u64 ) . wrapping_add ( ( * sz. borrow ( ) ) as u64 ) ,
102+ ( :: std:: mem:: size_of :: < i32 > ( ) as u64 ) . wrapping_add ( ( ( * sz. borrow ( ) ) as u64 ) ) ,
103103 ) ) ;
104104 ( if __tmp_0. as_pointer ( ) . read ( ) >= ul. as_pointer ( ) . read ( ) {
105105 __tmp_0. as_pointer ( )
@@ -129,7 +129,7 @@ fn main_0() -> i32 {
129129 ) ) ;
130130 let count: Value < usize > = Rc :: new ( RefCell :: new (
131131 ( :: std:: mem:: size_of :: < [ i32 ; 8 ] > ( ) as usize )
132- . wrapping_div ( :: std:: mem:: size_of :: < i32 > ( ) as usize ) ,
132+ . wrapping_div ( ( :: std:: mem:: size_of :: < i32 > ( ) as usize ) ) ,
133133 ) ) ;
134134 let i: Value < usize > = Rc :: new ( RefCell :: new ( 0_usize ) ) ;
135135 ' loop_: while ( ( * i. borrow ( ) ) < ( * count. borrow ( ) ) ) {
@@ -148,12 +148,12 @@ fn main_0() -> i32 {
148148 assert ! ( ( ( * total. borrow( ) ) == 56_usize ) ) ;
149149 let cond: Value < usize > = Rc :: new ( RefCell :: new (
150150 ( if ( ( * sz. borrow ( ) ) > ( ( * ul. borrow ( ) ) as usize ) ) {
151- ( ( * sz. borrow ( ) ) as u64 ) . wrapping_add ( :: std:: mem:: size_of :: < i32 > ( ) as u64 )
151+ ( ( * sz. borrow ( ) ) as u64 ) . wrapping_add ( ( :: std:: mem:: size_of :: < i32 > ( ) as u64 ) )
152152 } else {
153153 ( * ul. borrow ( ) )
154154 } as usize ) ,
155155 ) ) ;
156- assert ! ( ( ( * cond. borrow( ) ) == ( 21_usize ) . wrapping_add( :: std:: mem:: size_of:: <i32 >( ) as usize ) ) ) ;
156+ assert ! ( ( ( * cond. borrow( ) ) == ( 21_usize ) . wrapping_add( ( :: std:: mem:: size_of:: <i32 >( ) as usize ) ) ) ) ;
157157 let arr: Value < Box < [ usize ] > > =
158158 Rc :: new ( RefCell :: new ( Box :: new ( [ 0_usize , 1_usize , 2_usize , 3_usize ] ) ) ) ;
159159 let idx: Value < usize > = Rc :: new ( RefCell :: new (
0 commit comments