@@ -192,6 +192,67 @@ fn main_0() -> i32 {
192192 ) ;
193193 let ew: Value < Box < [ i32 ] > > = Rc :: new ( RefCell :: new ( Box :: from ( [ 0 as i32 , 0 as i32 ] ) ) ) ;
194194 assert ! ( ( ( * ew. borrow( ) ) [ ( 0 ) as usize ] == 0 ) && ( ( * ew. borrow( ) ) [ ( 1 ) as usize ] == 0 ) ) ;
195+ let wc: Value < i32 > = Rc :: new ( RefCell :: new ( ( 258 as i32 ) ) ) ;
196+ let bc: Value < u8 > = Rc :: new ( RefCell :: new ( ( 65 as u8 ) ) ) ;
197+ let sc: Value < u16 > = Rc :: new ( RefCell :: new ( ( 258 as u16 ) ) ) ;
198+ let lc: Value < u32 > = Rc :: new ( RefCell :: new ( ( 258 as u32 ) ) ) ;
199+ assert ! (
200+ ( ( ( ( * wc. borrow( ) ) == 258 ) && ( ( ( * bc. borrow( ) ) as i32 ) == 65 ) )
201+ && ( ( ( * sc. borrow( ) ) as i32 ) == 258 ) )
202+ && ( ( * lc. borrow( ) ) == 258_u32 )
203+ ) ;
204+ assert ! (
205+ ( ( ( :: std:: mem:: size_of:: <i32 >( ) == :: std:: mem:: size_of:: <i32 >( ) )
206+ && ( :: std:: mem:: size_of:: <u8 >( ) == 1_usize ) )
207+ && ( :: std:: mem:: size_of:: <u16 >( ) == 2_usize ) )
208+ && ( :: std:: mem:: size_of:: <u32 >( ) == 4_usize )
209+ ) ;
210+ assert ! (
211+ ( ( ( ( * w. borrow( ) ) . offset( ( 1 ) as isize ) . read( ) ) == ( 258 as i32 ) )
212+ && ( ( ( ( * s. borrow( ) ) . offset( ( 1 ) as isize ) . read( ) ) as i32 ) == ( ( 258 as u16 ) as i32 ) ) )
213+ && ( ( ( * l. borrow( ) ) . offset( ( 1 ) as isize ) . read( ) ) == ( 258 as u32 ) )
214+ ) ;
215+ assert ! (
216+ ( ( ( ( * b. borrow( ) ) . offset( ( 0 ) as isize ) . read( ) ) as i32 ) == ( ( 196 as u8 ) as i32 ) )
217+ && ( ( ( ( * b. borrow( ) ) . offset( ( 1 ) as isize ) . read( ) ) as i32 ) == ( ( 130 as u8 ) as i32 ) )
218+ ) ;
219+ assert ! (
220+ ( ( {
221+ second_6( Ptr :: <Box <[ i32 ] >>:: from_string_literal_array( & [
222+ 65 as i32 , 258 as i32 , 0 as i32 ,
223+ ] ) )
224+ } ) == ( 258 as i32 ) )
225+ && ( ( ( {
226+ second_8( Ptr :: <Box <[ u16 ] >>:: from_string_literal_array( & [
227+ 65 as u16 , 258 as u16 , 0 as u16 ,
228+ ] ) )
229+ } ) as i32 )
230+ == ( ( 258 as u16 ) as i32 ) )
231+ ) ;
232+ assert ! (
233+ ( ( ( { get_4( Ptr :: <u32 >:: from_string_literal( & [ 258 as u32 , 0 as u32 , ] ) , ) } )
234+ . offset( ( 0 ) as isize )
235+ . read( ) )
236+ == ( 258 as u32 ) )
237+ && ( ( ( { get_4( Ptr :: <u32 >:: from_string_literal( & [ 258 as u32 , 0 as u32 , ] ) , ) } )
238+ . offset( ( 1 ) as isize )
239+ . read( ) )
240+ == ( 0 as u32 ) )
241+ ) ;
242+ assert ! ( ( ( ( 10 as i32 ) == 10 ) && ( ( ( 9 as u16 ) as i32 ) == 9 ) ) && ( ( 92 as u32 ) == 92_u32 ) ) ;
243+ assert ! ( ( ( ( 97 as i32 ) + 1 ) == ( 98 as i32 ) ) ) ;
244+ assert ! ( ( ( 122 as u32 ) . wrapping_sub( ( 97 as u32 ) ) == 25_u32 ) ) ;
245+ let wa: Value < Box < [ i32 ] > > = Rc :: new ( RefCell :: new ( Box :: new ( [
246+ ( 65 as i32 ) ,
247+ ( 258 as i32 ) ,
248+ ( 0 as i32 ) ,
249+ ] ) ) ) ;
250+ assert ! (
251+ ( ( ( * wa. borrow( ) ) [ ( 0 ) as usize ] == 65 ) && ( ( * wa. borrow( ) ) [ ( 1 ) as usize ] == 258 ) )
252+ && ( ( * wa. borrow( ) ) [ ( 2 ) as usize ] == 0 )
253+ ) ;
254+ ( * wa. borrow_mut ( ) ) [ ( 0 ) as usize ] = ( 66 as i32 ) ;
255+ assert ! ( ( ( * wa. borrow( ) ) [ ( 0 ) as usize ] == ( ( 'B' as u8 ) as i32 ) ) ) ;
195256 return 0 ;
196257}
197258pub fn __cpp2rust_init_globals ( ) { }
0 commit comments