File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -42,38 +42,38 @@ fn main_0() -> i32 {
4242 let np: Value < Ptr < i32 > > = Rc :: new ( RefCell :: new ( Default :: default ( ) ) ) ;
4343 let u: Value < u32 > = Rc :: new ( RefCell :: new ( 4_u32 ) ) ;
4444 let code: Value < Code > = Rc :: new ( RefCell :: new ( Code :: from ( ( Code :: CODE_OK as i32 ) ) ) ) ;
45- if ( ( ( * n. borrow ( ) ) != 0 ) && ( !( * p. borrow ( ) ) . is_null ( ) ) ) {
45+ if ( ( * n. borrow ( ) ) != 0 ) && ( !( * p. borrow ( ) ) . is_null ( ) ) {
4646 assert ! ( ( 1 != 0 ) ) ;
4747 }
48- if ( ( ( * n. borrow ( ) ) != 0 ) && ( !( * np. borrow ( ) ) . is_null ( ) ) ) {
48+ if ( ( * n. borrow ( ) ) != 0 ) && ( !( * np. borrow ( ) ) . is_null ( ) ) {
4949 assert ! ( ( 0 != 0 ) ) ;
5050 }
51- if ( ( ( * zero. borrow ( ) ) != 0 ) || ( !( * p. borrow ( ) ) . is_null ( ) ) ) {
51+ if ( ( * zero. borrow ( ) ) != 0 ) || ( !( * p. borrow ( ) ) . is_null ( ) ) {
5252 assert ! ( ( 1 != 0 ) ) ;
5353 }
54- if ( ( ( * zero. borrow ( ) ) != 0 ) || ( !( * np. borrow ( ) ) . is_null ( ) ) ) {
54+ if ( ( * zero. borrow ( ) ) != 0 ) || ( !( * np. borrow ( ) ) . is_null ( ) ) {
5555 assert ! ( ( 0 != 0 ) ) ;
5656 }
57- if ( ( ( ( ( * n. borrow ( ) ) != 0 ) && ( ( * u. borrow ( ) ) != 0 ) ) && ( !( * p. borrow ( ) ) . is_null ( ) ) )
58- && ( ( ( * code. borrow ( ) ) as u32 ) == ( ( Code :: CODE_OK as i32 ) as u32 ) ) )
57+ if ( ( ( ( * n. borrow ( ) ) != 0 ) && ( ( * u. borrow ( ) ) != 0 ) ) && ( !( * p. borrow ( ) ) . is_null ( ) ) )
58+ && ( ( ( * code. borrow ( ) ) as u32 ) == ( ( Code :: CODE_OK as i32 ) as u32 ) )
5959 {
6060 assert ! ( ( 1 != 0 ) ) ;
6161 }
6262 ( * side_effect. with ( Value :: clone) . borrow_mut ( ) ) = 0 ;
63- if ( ( ( * zero. borrow ( ) ) != 0 )
63+ if ( ( * zero. borrow ( ) ) != 0 )
6464 && ( ( {
6565 let _v: i32 = 1 ;
6666 observe_0 ( _v)
67- } ) != 0 ) )
67+ } ) != 0 )
6868 {
6969 assert ! ( ( 0 != 0 ) ) ;
7070 }
7171 assert ! ( ( ( * side_effect. with( Value :: clone) . borrow( ) ) == 0 ) ) ;
72- if ( ( ( * n. borrow ( ) ) != 0 )
72+ if ( ( * n. borrow ( ) ) != 0 )
7373 || ( ( {
7474 let _v: i32 = 1 ;
7575 observe_0 ( _v)
76- } ) != 0 ) )
76+ } ) != 0 )
7777 {
7878 assert ! ( ( 1 != 0 ) ) ;
7979 }
Original file line number Diff line number Diff line change @@ -41,38 +41,38 @@ unsafe fn main_0() -> i32 {
4141 let mut np: * mut i32 = Default :: default ( ) ;
4242 let mut u: u32 = 4_u32 ;
4343 let mut code: Code = Code :: from ( ( Code :: CODE_OK as i32 ) ) ;
44- if ( ( n != 0 ) && ( !( p) . is_null ( ) ) ) {
44+ if ( n != 0 ) && ( !( p) . is_null ( ) ) {
4545 assert ! ( ( 1 != 0 ) ) ;
4646 }
47- if ( ( n != 0 ) && ( !( np) . is_null ( ) ) ) {
47+ if ( n != 0 ) && ( !( np) . is_null ( ) ) {
4848 assert ! ( ( 0 != 0 ) ) ;
4949 }
50- if ( ( zero != 0 ) || ( !( p) . is_null ( ) ) ) {
50+ if ( zero != 0 ) || ( !( p) . is_null ( ) ) {
5151 assert ! ( ( 1 != 0 ) ) ;
5252 }
53- if ( ( zero != 0 ) || ( !( np) . is_null ( ) ) ) {
53+ if ( zero != 0 ) || ( !( np) . is_null ( ) ) {
5454 assert ! ( ( 0 != 0 ) ) ;
5555 }
56- if ( ( ( ( n != 0 ) && ( u != 0 ) ) && ( !( p) . is_null ( ) ) )
57- && ( ( code as u32 ) == ( ( Code :: CODE_OK as i32 ) as u32 ) ) )
56+ if ( ( ( n != 0 ) && ( u != 0 ) ) && ( !( p) . is_null ( ) ) )
57+ && ( ( code as u32 ) == ( ( Code :: CODE_OK as i32 ) as u32 ) )
5858 {
5959 assert ! ( ( 1 != 0 ) ) ;
6060 }
6161 side_effect = 0 ;
62- if ( ( zero != 0 )
62+ if ( zero != 0 )
6363 && ( ( unsafe {
6464 let _v: i32 = 1 ;
6565 observe_0 ( _v)
66- } ) != 0 ) )
66+ } ) != 0 )
6767 {
6868 assert ! ( ( 0 != 0 ) ) ;
6969 }
7070 assert ! ( ( ( side_effect) == ( 0 ) ) ) ;
71- if ( ( n != 0 )
71+ if ( n != 0 )
7272 || ( ( unsafe {
7373 let _v: i32 = 1 ;
7474 observe_0 ( _v)
75- } ) != 0 ) )
75+ } ) != 0 )
7676 {
7777 assert ! ( ( 1 != 0 ) ) ;
7878 }
You can’t perform that action at this time.
0 commit comments