File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -35,14 +35,14 @@ fn main_0() -> i32 {
3535 ' loop_: while ( ( * k2. borrow ( ) ) < 5 ) {
3636 let k3: Value < i32 > = Rc :: new ( RefCell :: new ( 0 ) ) ;
3737 ' loop_: while ( ( * k3. borrow ( ) ) < 5 ) {
38- if ( ( ( ( ( * k1. borrow ( ) ) + ( * k2. borrow ( ) ) ) + ( * k3. borrow ( ) ) ) % 2 ) == 0 ) {
38+ if ( ( ( ( ( ( * k1. borrow ( ) ) + ( * k2. borrow ( ) ) ) + ( * k3. borrow ( ) ) ) as i32 ) % 2 ) == 0 ) {
3939 ( * k3. borrow_mut ( ) ) . postfix_inc ( ) ;
4040 continue ' loop_;
4141 }
4242 ( * out. borrow_mut ( ) ) . prefix_inc ( ) ;
4343 ( * k3. borrow_mut ( ) ) . postfix_inc ( ) ;
4444 }
45- if ( ( ( ( * k1. borrow ( ) ) + ( * k2. borrow ( ) ) ) % 2 ) == 0 ) {
45+ if ( ( ( ( ( * k1. borrow ( ) ) + ( * k2. borrow ( ) ) ) as i32 ) % 2 ) == 0 ) {
4646 ( * k2. borrow_mut ( ) ) . postfix_inc ( ) ;
4747 continue ' loop_;
4848 }
Original file line number Diff line number Diff line change @@ -23,8 +23,8 @@ fn main_0() -> i32 {
2323 ) ;
2424 let i: Value < i32 > = Rc :: new ( RefCell :: new ( 0 ) ) ;
2525 ' loop_: while ( ( * i. borrow ( ) )
26- < ( ( ( :: std:: mem:: size_of :: < [ u8 ; 40 ] > ( ) as u64 as u64 )
27- . wrapping_div ( :: std:: mem:: size_of :: < u8 > ( ) as u64 as u64 ) ) as i32 ) )
26+ < ( ( ( ( :: std:: mem:: size_of :: < [ u8 ; 40 ] > ( ) as u64 as u64 )
27+ . wrapping_div ( :: std:: mem:: size_of :: < u8 > ( ) as u64 as u64 ) ) as u64 ) as i32 ) )
2828 {
2929 assert ! ( {
3030 let _lhs = ( ( ( * special. borrow( ) ) . offset( ( * i. borrow( ) ) as isize ) . read( ) ) as i32 ) ;
Original file line number Diff line number Diff line change @@ -37,14 +37,14 @@ unsafe fn main_0() -> i32 {
3737 ' loop_: while ( ( k2) < ( 5 ) ) {
3838 let mut k3: i32 = 0 ;
3939 ' loop_: while ( ( k3) < ( 5 ) ) {
40- if ( ( ( ( ( k1) + ( k2) ) + ( k3) ) % ( 2 ) ) == ( 0 ) ) {
40+ if ( ( ( ( ( ( k1) + ( k2) ) + ( k3) ) as i32 ) % ( 2 ) ) == ( 0 ) ) {
4141 k3. postfix_inc ( ) ;
4242 continue ' loop_;
4343 }
4444 out. prefix_inc ( ) ;
4545 k3. postfix_inc ( ) ;
4646 }
47- if ( ( ( ( k1) + ( k2) ) % ( 2 ) ) == ( 0 ) ) {
47+ if ( ( ( ( ( k1) + ( k2) ) as i32 ) % ( 2 ) ) == ( 0 ) ) {
4848 k2. postfix_inc ( ) ;
4949 continue ' loop_;
5050 }
Original file line number Diff line number Diff line change @@ -22,8 +22,8 @@ unsafe fn main_0() -> i32 {
2222 ] ; ;
2323 let mut i: i32 = 0 ;
2424 ' loop_: while ( ( i)
25- < ( ( ( :: std:: mem:: size_of :: < [ u8 ; 40 ] > ( ) as u64 as u64 )
26- . wrapping_div ( :: std:: mem:: size_of :: < u8 > ( ) as u64 as u64 ) ) as i32 ) )
25+ < ( ( ( ( :: std:: mem:: size_of :: < [ u8 ; 40 ] > ( ) as u64 as u64 )
26+ . wrapping_div ( :: std:: mem:: size_of :: < u8 > ( ) as u64 as u64 ) ) as u64 ) as i32 ) )
2727 {
2828 assert ! ( ( ( ( * special. offset( ( i) as isize ) ) as i32 ) == ( expected[ ( i) as usize ] as i32 ) ) ) ;
2929 i. postfix_inc ( ) ;
You can’t perform that action at this time.
0 commit comments