@@ -45,7 +45,7 @@ fn main_0() -> i32 {
4545 let zero: Value < i32 > = Rc :: new ( RefCell :: new ( 0 ) ) ;
4646 let storage: Value < i32 > = Rc :: new ( RefCell :: new ( 7 ) ) ;
4747 let p: Value < Ptr < i32 > > = Rc :: new ( RefCell :: new ( ( storage. as_pointer ( ) ) ) ) ;
48- let np: Value < Ptr < i32 > > = Rc :: new ( RefCell :: new ( Default :: default ( ) ) ) ;
48+ let np: Value < Ptr < i32 > > = Rc :: new ( RefCell :: new ( Ptr :: < i32 > :: null ( ) ) ) ;
4949 let u: Value < u32 > = Rc :: new ( RefCell :: new ( 4_u32 ) ) ;
5050 let code: Value < Code > = Rc :: new ( RefCell :: new ( Code :: CODE_OK ) ) ;
5151 if ( ( ( ( ( * n. borrow ( ) ) != 0 ) && ( !( * p. borrow ( ) ) . is_null ( ) ) ) as i32 ) != 0 ) {
@@ -115,8 +115,8 @@ fn main_0() -> i32 {
115115 assert ! ( ( 1 != 0 ) ) ;
116116 }
117117 let s: Value < i32 > = Rc :: new ( RefCell :: new ( -1_i32 ) ) ;
118- if ( ( ( ( ( ( ( * p. borrow ( ) ) != ( Default :: default ( ) ) ) as i32 ) != 0 )
119- && ( ( ( ( * s . borrow ( ) ) < 0 ) as i32 ) != 0 ) ) as i32 )
118+ if ( ( ( ( ( ( ! ( ( * p. borrow ( ) ) . is_null ( ) ) ) as i32 ) != 0 ) && ( ( ( ( * s . borrow ( ) ) < 0 ) as i32 ) != 0 ) )
119+ as i32 )
120120 != 0 )
121121 {
122122 assert ! ( ( 1 != 0 ) ) ;
@@ -133,10 +133,7 @@ fn main_0() -> i32 {
133133 assert ! ( ( 1 != 0 ) ) ;
134134 }
135135 let ull: Value < u64 > = Rc :: new ( RefCell :: new ( 7 ) ) ;
136- if ( ( ( ( ( ( ( * p. borrow ( ) ) != ( Default :: default ( ) ) ) as i32 ) != 0 ) && ( ( * ull. borrow ( ) ) != 0 ) )
137- as i32 )
138- != 0 )
139- {
136+ if ( ( ( ( ( ( !( ( * p. borrow ( ) ) . is_null ( ) ) ) as i32 ) != 0 ) && ( ( * ull. borrow ( ) ) != 0 ) ) as i32 ) != 0 ) {
140137 assert ! ( ( 1 != 0 ) ) ;
141138 }
142139 if ( ( ( ( ( ( ( * x. borrow ( ) ) > ( * y. borrow ( ) ) ) as i32 ) != 0 ) && ( ( * ull. borrow ( ) ) != 0 ) ) as i32 ) != 0 ) {
@@ -154,7 +151,7 @@ fn main_0() -> i32 {
154151 assert ! ( ( 1 != 0 ) ) ;
155152 }
156153 let cp: Value < Ptr < u8 > > = Rc :: new ( RefCell :: new ( Ptr :: from_string_literal ( "hi" ) ) ) ;
157- let cnp: Value < Ptr < u8 > > = Rc :: new ( RefCell :: new ( Default :: default ( ) ) ) ;
154+ let cnp: Value < Ptr < u8 > > = Rc :: new ( RefCell :: new ( Ptr :: < u8 > :: null ( ) ) ) ;
158155 if ( ( ( ( ( ( ( * x. borrow ( ) ) > ( * y. borrow ( ) ) ) as i32 ) != 0 ) && ( !( * cp. borrow ( ) ) . is_null ( ) ) ) as i32 )
159156 != 0 )
160157 {
@@ -193,8 +190,7 @@ fn main_0() -> i32 {
193190 {
194191 assert ! ( ( 0 != 0 ) ) ;
195192 }
196- if ( ( ( ( ( ( ( ( ( ( * p. borrow ( ) ) != ( Default :: default ( ) ) ) as i32 ) != 0 )
197- && ( ( { returns_one_1 ( ) } ) != 0 ) ) as i32 )
193+ if ( ( ( ( ( ( ( ( ( !( ( * p. borrow ( ) ) . is_null ( ) ) ) as i32 ) != 0 ) && ( ( { returns_one_1 ( ) } ) != 0 ) ) as i32 )
198194 != 0 )
199195 && ( ( ( ( * n. borrow ( ) ) != 0 ) as i32 ) != 0 ) ) as i32 )
200196 != 0 )
0 commit comments