@@ -46,13 +46,19 @@ fn main_0() -> i32 {
4646 == ( ( ( 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 ) ) ;
49- let rhs_0 =
50- ( ( ( * acc. borrow ( ) ) as u64 ) . wrapping_add ( ( :: std:: mem:: size_of :: < f64 > ( ) as u64 ) ) ) as usize ;
51- ( * acc. borrow_mut ( ) ) = rhs_0;
52- let rhs_0 = ( * acc. borrow ( ) ) . wrapping_mul ( 2_usize ) ;
53- ( * acc. borrow_mut ( ) ) = rhs_0;
54- let rhs_0 = ( ( ( * acc. borrow ( ) ) as u64 ) . wrapping_sub ( ( * ul. borrow ( ) ) ) ) as usize ;
55- ( * acc. borrow_mut ( ) ) = rhs_0;
49+ {
50+ let rhs_0 =
51+ ( ( ( * acc. borrow ( ) ) as u64 ) . wrapping_add ( ( :: std:: mem:: size_of :: < f64 > ( ) as u64 ) ) ) as usize ;
52+ ( * acc. borrow_mut ( ) ) = rhs_0
53+ } ;
54+ {
55+ let rhs_0 = ( * acc. borrow ( ) ) . wrapping_mul ( 2_usize ) ;
56+ ( * acc. borrow_mut ( ) ) = rhs_0
57+ } ;
58+ {
59+ let rhs_0 = ( ( ( * acc. borrow ( ) ) as u64 ) . wrapping_sub ( ( * ul. borrow ( ) ) ) ) as usize ;
60+ ( * acc. borrow_mut ( ) ) = rhs_0
61+ } ;
5662 assert ! (
5763 ( ( * acc. borrow( ) )
5864 == ( ( ( ( 100_usize ) . wrapping_add( ( :: std:: mem:: size_of:: <f64 >( ) as usize ) ) ) as usize )
@@ -136,9 +142,11 @@ fn main_0() -> i32 {
136142 let total: Value < usize > = Rc :: new ( RefCell :: new ( 0_usize ) ) ;
137143 let i: Value < usize > = Rc :: new ( RefCell :: new ( 0_usize ) ) ;
138144 ' loop_: while ( ( * i. borrow ( ) ) < ( * count. borrow ( ) ) ) {
139- let rhs_0 =
140- ( * total. borrow ( ) ) . wrapping_add ( ( ( * data. borrow ( ) ) [ ( * i. borrow ( ) ) as usize ] as usize ) ) ;
141- ( * total. borrow_mut ( ) ) = rhs_0;
145+ {
146+ let rhs_0 =
147+ ( * total. borrow ( ) ) . wrapping_add ( ( ( * data. borrow ( ) ) [ ( * i. borrow ( ) ) as usize ] as usize ) ) ;
148+ ( * total. borrow_mut ( ) ) = rhs_0
149+ } ;
142150 ( * i. borrow_mut ( ) ) . postfix_inc ( ) ;
143151 }
144152 assert ! ( ( ( * total. borrow( ) ) == 56_usize ) ) ;
0 commit comments