Home | History | Annotate | Line # | Download | only in lint1
      1  1.6  rillig /*	$NetBSD: msg_247_lp64_ldbl128.c,v 1.6 2024/09/28 19:09:37 rillig Exp $	*/
      2  1.3  rillig # 3 "msg_247_lp64_ldbl128.c"
      3  1.1  rillig 
      4  1.6  rillig // Test for message: pointer cast from '%s' to unrelated '%s' [247]
      5  1.1  rillig 
      6  1.1  rillig // In non-portable mode, lint warns based on the actual type sizes.
      7  1.1  rillig //
      8  1.1  rillig // See also:
      9  1.5  rillig //	msg_247.c
     10  1.2  rillig //	msg_247_ilp32_ldbl64.c
     11  1.1  rillig //	msg_247_portable.c
     12  1.5  rillig //	msg_247_portable_int.c
     13  1.1  rillig 
     14  1.2  rillig /* lint1-only-if: lp64 ldbl128 */
     15  1.1  rillig /* lint1-extra-flags: -c -X 351 */
     16  1.1  rillig 
     17  1.1  rillig typedef double double_array[5];
     18  1.1  rillig typedef struct {
     19  1.1  rillig 	char member;
     20  1.1  rillig } char_struct;
     21  1.1  rillig typedef struct {
     22  1.1  rillig 	double member;
     23  1.1  rillig } double_struct;
     24  1.1  rillig typedef union {
     25  1.1  rillig 	char member;
     26  1.1  rillig } char_union;
     27  1.1  rillig typedef union {
     28  1.1  rillig 	double member;
     29  1.1  rillig } double_union;
     30  1.1  rillig typedef enum {
     31  1.1  rillig 	CONSTANT
     32  1.1  rillig } int_enum;
     33  1.1  rillig typedef void (*function_pointer)(void);
     34  1.1  rillig 
     35  1.1  rillig static _Bool *bool_ptr;
     36  1.1  rillig static char *char_ptr;
     37  1.1  rillig static signed char *schar_ptr;
     38  1.1  rillig static unsigned char *uchar_ptr;
     39  1.1  rillig static short *short_ptr;
     40  1.1  rillig static unsigned short *ushort_ptr;
     41  1.1  rillig static int *int_ptr;
     42  1.1  rillig static unsigned int *uint_ptr;
     43  1.1  rillig static long *long_ptr;
     44  1.1  rillig static unsigned long *ulong_ptr;
     45  1.1  rillig static long long *llong_ptr;
     46  1.1  rillig static unsigned long long *ullong_ptr;
     47  1.1  rillig // No int128_t, as that is only supported on LP64 platforms.
     48  1.1  rillig static float *float_ptr;
     49  1.1  rillig static double *double_ptr;
     50  1.1  rillig static long double *ldouble_ptr;
     51  1.1  rillig static float _Complex *fcomplex_ptr;
     52  1.1  rillig static double _Complex *dcomplex_ptr;
     53  1.1  rillig static long double _Complex *lcomplex_ptr;
     54  1.1  rillig static void *void_ptr;
     55  1.1  rillig static char_struct *char_struct_ptr;
     56  1.1  rillig static double_struct *double_struct_ptr;
     57  1.1  rillig static char_union *char_union_ptr;
     58  1.1  rillig static double_union *double_union_ptr;
     59  1.1  rillig static int_enum *enum_ptr;
     60  1.1  rillig static double_array *double_array_ptr;
     61  1.1  rillig static function_pointer func_ptr;
     62  1.1  rillig 
     63  1.1  rillig void
     64  1.1  rillig all_casts(void)
     65  1.1  rillig {
     66  1.1  rillig 	bool_ptr = (typeof(bool_ptr))bool_ptr;
     67  1.1  rillig 	bool_ptr = (typeof(bool_ptr))char_ptr;
     68  1.6  rillig 	/* expect+1: warning: pointer cast from 'signed char' to unrelated '_Bool' [247] */
     69  1.1  rillig 	bool_ptr = (typeof(bool_ptr))schar_ptr;
     70  1.1  rillig 	bool_ptr = (typeof(bool_ptr))uchar_ptr;
     71  1.6  rillig 	/* expect+1: warning: pointer cast from 'short' to unrelated '_Bool' [247] */
     72  1.1  rillig 	bool_ptr = (typeof(bool_ptr))short_ptr;
     73  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned short' to unrelated '_Bool' [247] */
     74  1.1  rillig 	bool_ptr = (typeof(bool_ptr))ushort_ptr;
     75  1.6  rillig 	/* expect+1: warning: pointer cast from 'int' to unrelated '_Bool' [247] */
     76  1.1  rillig 	bool_ptr = (typeof(bool_ptr))int_ptr;
     77  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned int' to unrelated '_Bool' [247] */
     78  1.1  rillig 	bool_ptr = (typeof(bool_ptr))uint_ptr;
     79  1.6  rillig 	/* expect+1: warning: pointer cast from 'long' to unrelated '_Bool' [247] */
     80  1.1  rillig 	bool_ptr = (typeof(bool_ptr))long_ptr;
     81  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned long' to unrelated '_Bool' [247] */
     82  1.1  rillig 	bool_ptr = (typeof(bool_ptr))ulong_ptr;
     83  1.6  rillig 	/* expect+1: warning: pointer cast from 'long long' to unrelated '_Bool' [247] */
     84  1.1  rillig 	bool_ptr = (typeof(bool_ptr))llong_ptr;
     85  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned long long' to unrelated '_Bool' [247] */
     86  1.1  rillig 	bool_ptr = (typeof(bool_ptr))ullong_ptr;
     87  1.6  rillig 	/* expect+1: warning: pointer cast from 'float' to unrelated '_Bool' [247] */
     88  1.1  rillig 	bool_ptr = (typeof(bool_ptr))float_ptr;
     89  1.6  rillig 	/* expect+1: warning: pointer cast from 'double' to unrelated '_Bool' [247] */
     90  1.1  rillig 	bool_ptr = (typeof(bool_ptr))double_ptr;
     91  1.6  rillig 	/* expect+1: warning: pointer cast from 'long double' to unrelated '_Bool' [247] */
     92  1.1  rillig 	bool_ptr = (typeof(bool_ptr))ldouble_ptr;
     93  1.6  rillig 	/* expect+1: warning: pointer cast from 'float _Complex' to unrelated '_Bool' [247] */
     94  1.1  rillig 	bool_ptr = (typeof(bool_ptr))fcomplex_ptr;
     95  1.6  rillig 	/* expect+1: warning: pointer cast from 'double _Complex' to unrelated '_Bool' [247] */
     96  1.1  rillig 	bool_ptr = (typeof(bool_ptr))dcomplex_ptr;
     97  1.6  rillig 	/* expect+1: warning: pointer cast from 'long double _Complex' to unrelated '_Bool' [247] */
     98  1.1  rillig 	bool_ptr = (typeof(bool_ptr))lcomplex_ptr;
     99  1.1  rillig 	bool_ptr = (typeof(bool_ptr))void_ptr;
    100  1.6  rillig 	/* expect+1: warning: pointer cast from 'struct typedef char_struct' to unrelated '_Bool' [247] */
    101  1.1  rillig 	bool_ptr = (typeof(bool_ptr))char_struct_ptr;
    102  1.6  rillig 	/* expect+1: warning: pointer cast from 'struct typedef double_struct' to unrelated '_Bool' [247] */
    103  1.1  rillig 	bool_ptr = (typeof(bool_ptr))double_struct_ptr;
    104  1.6  rillig 	/* expect+1: warning: pointer cast from 'union typedef char_union' to unrelated '_Bool' [247] */
    105  1.1  rillig 	bool_ptr = (typeof(bool_ptr))char_union_ptr;
    106  1.6  rillig 	/* expect+1: warning: pointer cast from 'union typedef double_union' to unrelated '_Bool' [247] */
    107  1.1  rillig 	bool_ptr = (typeof(bool_ptr))double_union_ptr;
    108  1.6  rillig 	/* expect+1: warning: pointer cast from 'enum typedef int_enum' to unrelated '_Bool' [247] */
    109  1.1  rillig 	bool_ptr = (typeof(bool_ptr))enum_ptr;
    110  1.6  rillig 	/* expect+1: warning: pointer cast from 'array[5] of double' to unrelated '_Bool' [247] */
    111  1.1  rillig 	bool_ptr = (typeof(bool_ptr))double_array_ptr;
    112  1.1  rillig 	/* expect+1: warning: converting 'pointer to function(void) returning void' to 'pointer to _Bool' is questionable [229] */
    113  1.1  rillig 	bool_ptr = (typeof(bool_ptr))func_ptr;
    114  1.1  rillig 
    115  1.1  rillig 	char_ptr = (typeof(char_ptr))bool_ptr;
    116  1.1  rillig 	char_ptr = (typeof(char_ptr))char_ptr;
    117  1.1  rillig 	char_ptr = (typeof(char_ptr))schar_ptr;
    118  1.1  rillig 	char_ptr = (typeof(char_ptr))uchar_ptr;
    119  1.1  rillig 	char_ptr = (typeof(char_ptr))short_ptr;
    120  1.1  rillig 	char_ptr = (typeof(char_ptr))ushort_ptr;
    121  1.1  rillig 	char_ptr = (typeof(char_ptr))int_ptr;
    122  1.1  rillig 	char_ptr = (typeof(char_ptr))uint_ptr;
    123  1.1  rillig 	char_ptr = (typeof(char_ptr))long_ptr;
    124  1.1  rillig 	char_ptr = (typeof(char_ptr))ulong_ptr;
    125  1.1  rillig 	char_ptr = (typeof(char_ptr))llong_ptr;
    126  1.1  rillig 	char_ptr = (typeof(char_ptr))ullong_ptr;
    127  1.1  rillig 	char_ptr = (typeof(char_ptr))float_ptr;
    128  1.1  rillig 	char_ptr = (typeof(char_ptr))double_ptr;
    129  1.1  rillig 	char_ptr = (typeof(char_ptr))ldouble_ptr;
    130  1.1  rillig 	char_ptr = (typeof(char_ptr))fcomplex_ptr;
    131  1.1  rillig 	char_ptr = (typeof(char_ptr))dcomplex_ptr;
    132  1.1  rillig 	char_ptr = (typeof(char_ptr))lcomplex_ptr;
    133  1.1  rillig 	char_ptr = (typeof(char_ptr))void_ptr;
    134  1.1  rillig 	char_ptr = (typeof(char_ptr))char_struct_ptr;
    135  1.1  rillig 	char_ptr = (typeof(char_ptr))double_struct_ptr;
    136  1.1  rillig 	char_ptr = (typeof(char_ptr))char_union_ptr;
    137  1.1  rillig 	char_ptr = (typeof(char_ptr))double_union_ptr;
    138  1.1  rillig 	char_ptr = (typeof(char_ptr))enum_ptr;
    139  1.1  rillig 	char_ptr = (typeof(char_ptr))double_array_ptr;
    140  1.1  rillig 	/* expect+1: warning: converting 'pointer to function(void) returning void' to 'pointer to char' is questionable [229] */
    141  1.1  rillig 	char_ptr = (typeof(char_ptr))func_ptr;
    142  1.1  rillig 
    143  1.6  rillig 	/* expect+1: warning: pointer cast from '_Bool' to unrelated 'signed char' [247] */
    144  1.1  rillig 	schar_ptr = (typeof(schar_ptr))bool_ptr;
    145  1.1  rillig 	schar_ptr = (typeof(schar_ptr))char_ptr;
    146  1.1  rillig 	schar_ptr = (typeof(schar_ptr))schar_ptr;
    147  1.1  rillig 	schar_ptr = (typeof(schar_ptr))uchar_ptr;
    148  1.6  rillig 	/* expect+1: warning: pointer cast from 'short' to unrelated 'signed char' [247] */
    149  1.1  rillig 	schar_ptr = (typeof(schar_ptr))short_ptr;
    150  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned short' to unrelated 'signed char' [247] */
    151  1.1  rillig 	schar_ptr = (typeof(schar_ptr))ushort_ptr;
    152  1.6  rillig 	/* expect+1: warning: pointer cast from 'int' to unrelated 'signed char' [247] */
    153  1.1  rillig 	schar_ptr = (typeof(schar_ptr))int_ptr;
    154  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned int' to unrelated 'signed char' [247] */
    155  1.1  rillig 	schar_ptr = (typeof(schar_ptr))uint_ptr;
    156  1.6  rillig 	/* expect+1: warning: pointer cast from 'long' to unrelated 'signed char' [247] */
    157  1.1  rillig 	schar_ptr = (typeof(schar_ptr))long_ptr;
    158  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned long' to unrelated 'signed char' [247] */
    159  1.1  rillig 	schar_ptr = (typeof(schar_ptr))ulong_ptr;
    160  1.6  rillig 	/* expect+1: warning: pointer cast from 'long long' to unrelated 'signed char' [247] */
    161  1.1  rillig 	schar_ptr = (typeof(schar_ptr))llong_ptr;
    162  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned long long' to unrelated 'signed char' [247] */
    163  1.1  rillig 	schar_ptr = (typeof(schar_ptr))ullong_ptr;
    164  1.6  rillig 	/* expect+1: warning: pointer cast from 'float' to unrelated 'signed char' [247] */
    165  1.1  rillig 	schar_ptr = (typeof(schar_ptr))float_ptr;
    166  1.6  rillig 	/* expect+1: warning: pointer cast from 'double' to unrelated 'signed char' [247] */
    167  1.1  rillig 	schar_ptr = (typeof(schar_ptr))double_ptr;
    168  1.6  rillig 	/* expect+1: warning: pointer cast from 'long double' to unrelated 'signed char' [247] */
    169  1.1  rillig 	schar_ptr = (typeof(schar_ptr))ldouble_ptr;
    170  1.6  rillig 	/* expect+1: warning: pointer cast from 'float _Complex' to unrelated 'signed char' [247] */
    171  1.1  rillig 	schar_ptr = (typeof(schar_ptr))fcomplex_ptr;
    172  1.6  rillig 	/* expect+1: warning: pointer cast from 'double _Complex' to unrelated 'signed char' [247] */
    173  1.1  rillig 	schar_ptr = (typeof(schar_ptr))dcomplex_ptr;
    174  1.6  rillig 	/* expect+1: warning: pointer cast from 'long double _Complex' to unrelated 'signed char' [247] */
    175  1.1  rillig 	schar_ptr = (typeof(schar_ptr))lcomplex_ptr;
    176  1.1  rillig 	schar_ptr = (typeof(schar_ptr))void_ptr;
    177  1.6  rillig 	/* expect+1: warning: pointer cast from 'struct typedef char_struct' to unrelated 'signed char' [247] */
    178  1.1  rillig 	schar_ptr = (typeof(schar_ptr))char_struct_ptr;
    179  1.6  rillig 	/* expect+1: warning: pointer cast from 'struct typedef double_struct' to unrelated 'signed char' [247] */
    180  1.1  rillig 	schar_ptr = (typeof(schar_ptr))double_struct_ptr;
    181  1.6  rillig 	/* expect+1: warning: pointer cast from 'union typedef char_union' to unrelated 'signed char' [247] */
    182  1.1  rillig 	schar_ptr = (typeof(schar_ptr))char_union_ptr;
    183  1.6  rillig 	/* expect+1: warning: pointer cast from 'union typedef double_union' to unrelated 'signed char' [247] */
    184  1.1  rillig 	schar_ptr = (typeof(schar_ptr))double_union_ptr;
    185  1.6  rillig 	/* expect+1: warning: pointer cast from 'enum typedef int_enum' to unrelated 'signed char' [247] */
    186  1.1  rillig 	schar_ptr = (typeof(schar_ptr))enum_ptr;
    187  1.6  rillig 	/* expect+1: warning: pointer cast from 'array[5] of double' to unrelated 'signed char' [247] */
    188  1.1  rillig 	schar_ptr = (typeof(schar_ptr))double_array_ptr;
    189  1.1  rillig 	/* expect+1: warning: converting 'pointer to function(void) returning void' to 'pointer to signed char' is questionable [229] */
    190  1.1  rillig 	schar_ptr = (typeof(schar_ptr))func_ptr;
    191  1.1  rillig 
    192  1.1  rillig 	uchar_ptr = (typeof(uchar_ptr))bool_ptr;
    193  1.1  rillig 	uchar_ptr = (typeof(uchar_ptr))char_ptr;
    194  1.1  rillig 	uchar_ptr = (typeof(uchar_ptr))schar_ptr;
    195  1.1  rillig 	uchar_ptr = (typeof(uchar_ptr))uchar_ptr;
    196  1.1  rillig 	uchar_ptr = (typeof(uchar_ptr))short_ptr;
    197  1.1  rillig 	uchar_ptr = (typeof(uchar_ptr))ushort_ptr;
    198  1.1  rillig 	uchar_ptr = (typeof(uchar_ptr))int_ptr;
    199  1.1  rillig 	uchar_ptr = (typeof(uchar_ptr))uint_ptr;
    200  1.1  rillig 	uchar_ptr = (typeof(uchar_ptr))long_ptr;
    201  1.1  rillig 	uchar_ptr = (typeof(uchar_ptr))ulong_ptr;
    202  1.1  rillig 	uchar_ptr = (typeof(uchar_ptr))llong_ptr;
    203  1.1  rillig 	uchar_ptr = (typeof(uchar_ptr))ullong_ptr;
    204  1.1  rillig 	uchar_ptr = (typeof(uchar_ptr))float_ptr;
    205  1.1  rillig 	uchar_ptr = (typeof(uchar_ptr))double_ptr;
    206  1.1  rillig 	uchar_ptr = (typeof(uchar_ptr))ldouble_ptr;
    207  1.1  rillig 	uchar_ptr = (typeof(uchar_ptr))fcomplex_ptr;
    208  1.1  rillig 	uchar_ptr = (typeof(uchar_ptr))dcomplex_ptr;
    209  1.1  rillig 	uchar_ptr = (typeof(uchar_ptr))lcomplex_ptr;
    210  1.1  rillig 	uchar_ptr = (typeof(uchar_ptr))void_ptr;
    211  1.1  rillig 	uchar_ptr = (typeof(uchar_ptr))char_struct_ptr;
    212  1.1  rillig 	uchar_ptr = (typeof(uchar_ptr))double_struct_ptr;
    213  1.1  rillig 	uchar_ptr = (typeof(uchar_ptr))char_union_ptr;
    214  1.1  rillig 	uchar_ptr = (typeof(uchar_ptr))double_union_ptr;
    215  1.1  rillig 	uchar_ptr = (typeof(uchar_ptr))enum_ptr;
    216  1.1  rillig 	uchar_ptr = (typeof(uchar_ptr))double_array_ptr;
    217  1.1  rillig 	/* expect+1: warning: converting 'pointer to function(void) returning void' to 'pointer to unsigned char' is questionable [229] */
    218  1.1  rillig 	uchar_ptr = (typeof(uchar_ptr))func_ptr;
    219  1.1  rillig 
    220  1.6  rillig 	/* expect+1: warning: pointer cast from '_Bool' to unrelated 'short' [247] */
    221  1.1  rillig 	short_ptr = (typeof(short_ptr))bool_ptr;
    222  1.1  rillig 	short_ptr = (typeof(short_ptr))char_ptr;
    223  1.6  rillig 	/* expect+1: warning: pointer cast from 'signed char' to unrelated 'short' [247] */
    224  1.1  rillig 	short_ptr = (typeof(short_ptr))schar_ptr;
    225  1.1  rillig 	short_ptr = (typeof(short_ptr))uchar_ptr;
    226  1.1  rillig 	short_ptr = (typeof(short_ptr))short_ptr;
    227  1.1  rillig 	short_ptr = (typeof(short_ptr))ushort_ptr;
    228  1.6  rillig 	/* expect+1: warning: pointer cast from 'int' to unrelated 'short' [247] */
    229  1.1  rillig 	short_ptr = (typeof(short_ptr))int_ptr;
    230  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned int' to unrelated 'short' [247] */
    231  1.1  rillig 	short_ptr = (typeof(short_ptr))uint_ptr;
    232  1.6  rillig 	/* expect+1: warning: pointer cast from 'long' to unrelated 'short' [247] */
    233  1.1  rillig 	short_ptr = (typeof(short_ptr))long_ptr;
    234  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned long' to unrelated 'short' [247] */
    235  1.1  rillig 	short_ptr = (typeof(short_ptr))ulong_ptr;
    236  1.6  rillig 	/* expect+1: warning: pointer cast from 'long long' to unrelated 'short' [247] */
    237  1.1  rillig 	short_ptr = (typeof(short_ptr))llong_ptr;
    238  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned long long' to unrelated 'short' [247] */
    239  1.1  rillig 	short_ptr = (typeof(short_ptr))ullong_ptr;
    240  1.6  rillig 	/* expect+1: warning: pointer cast from 'float' to unrelated 'short' [247] */
    241  1.1  rillig 	short_ptr = (typeof(short_ptr))float_ptr;
    242  1.6  rillig 	/* expect+1: warning: pointer cast from 'double' to unrelated 'short' [247] */
    243  1.1  rillig 	short_ptr = (typeof(short_ptr))double_ptr;
    244  1.6  rillig 	/* expect+1: warning: pointer cast from 'long double' to unrelated 'short' [247] */
    245  1.1  rillig 	short_ptr = (typeof(short_ptr))ldouble_ptr;
    246  1.6  rillig 	/* expect+1: warning: pointer cast from 'float _Complex' to unrelated 'short' [247] */
    247  1.1  rillig 	short_ptr = (typeof(short_ptr))fcomplex_ptr;
    248  1.6  rillig 	/* expect+1: warning: pointer cast from 'double _Complex' to unrelated 'short' [247] */
    249  1.1  rillig 	short_ptr = (typeof(short_ptr))dcomplex_ptr;
    250  1.6  rillig 	/* expect+1: warning: pointer cast from 'long double _Complex' to unrelated 'short' [247] */
    251  1.1  rillig 	short_ptr = (typeof(short_ptr))lcomplex_ptr;
    252  1.1  rillig 	short_ptr = (typeof(short_ptr))void_ptr;
    253  1.6  rillig 	/* expect+1: warning: pointer cast from 'struct typedef char_struct' to unrelated 'short' [247] */
    254  1.1  rillig 	short_ptr = (typeof(short_ptr))char_struct_ptr;
    255  1.6  rillig 	/* expect+1: warning: pointer cast from 'struct typedef double_struct' to unrelated 'short' [247] */
    256  1.1  rillig 	short_ptr = (typeof(short_ptr))double_struct_ptr;
    257  1.6  rillig 	/* expect+1: warning: pointer cast from 'union typedef char_union' to unrelated 'short' [247] */
    258  1.1  rillig 	short_ptr = (typeof(short_ptr))char_union_ptr;
    259  1.6  rillig 	/* expect+1: warning: pointer cast from 'union typedef double_union' to unrelated 'short' [247] */
    260  1.1  rillig 	short_ptr = (typeof(short_ptr))double_union_ptr;
    261  1.6  rillig 	/* expect+1: warning: pointer cast from 'enum typedef int_enum' to unrelated 'short' [247] */
    262  1.1  rillig 	short_ptr = (typeof(short_ptr))enum_ptr;
    263  1.6  rillig 	/* expect+1: warning: pointer cast from 'array[5] of double' to unrelated 'short' [247] */
    264  1.1  rillig 	short_ptr = (typeof(short_ptr))double_array_ptr;
    265  1.1  rillig 	/* expect+1: warning: converting 'pointer to function(void) returning void' to 'pointer to short' is questionable [229] */
    266  1.1  rillig 	short_ptr = (typeof(short_ptr))func_ptr;
    267  1.1  rillig 
    268  1.6  rillig 	/* expect+1: warning: pointer cast from '_Bool' to unrelated 'unsigned short' [247] */
    269  1.1  rillig 	ushort_ptr = (typeof(ushort_ptr))bool_ptr;
    270  1.1  rillig 	ushort_ptr = (typeof(ushort_ptr))char_ptr;
    271  1.6  rillig 	/* expect+1: warning: pointer cast from 'signed char' to unrelated 'unsigned short' [247] */
    272  1.1  rillig 	ushort_ptr = (typeof(ushort_ptr))schar_ptr;
    273  1.1  rillig 	ushort_ptr = (typeof(ushort_ptr))uchar_ptr;
    274  1.1  rillig 	ushort_ptr = (typeof(ushort_ptr))short_ptr;
    275  1.1  rillig 	ushort_ptr = (typeof(ushort_ptr))ushort_ptr;
    276  1.6  rillig 	/* expect+1: warning: pointer cast from 'int' to unrelated 'unsigned short' [247] */
    277  1.1  rillig 	ushort_ptr = (typeof(ushort_ptr))int_ptr;
    278  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned int' to unrelated 'unsigned short' [247] */
    279  1.1  rillig 	ushort_ptr = (typeof(ushort_ptr))uint_ptr;
    280  1.6  rillig 	/* expect+1: warning: pointer cast from 'long' to unrelated 'unsigned short' [247] */
    281  1.1  rillig 	ushort_ptr = (typeof(ushort_ptr))long_ptr;
    282  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned long' to unrelated 'unsigned short' [247] */
    283  1.1  rillig 	ushort_ptr = (typeof(ushort_ptr))ulong_ptr;
    284  1.6  rillig 	/* expect+1: warning: pointer cast from 'long long' to unrelated 'unsigned short' [247] */
    285  1.1  rillig 	ushort_ptr = (typeof(ushort_ptr))llong_ptr;
    286  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned long long' to unrelated 'unsigned short' [247] */
    287  1.1  rillig 	ushort_ptr = (typeof(ushort_ptr))ullong_ptr;
    288  1.6  rillig 	/* expect+1: warning: pointer cast from 'float' to unrelated 'unsigned short' [247] */
    289  1.1  rillig 	ushort_ptr = (typeof(ushort_ptr))float_ptr;
    290  1.6  rillig 	/* expect+1: warning: pointer cast from 'double' to unrelated 'unsigned short' [247] */
    291  1.1  rillig 	ushort_ptr = (typeof(ushort_ptr))double_ptr;
    292  1.6  rillig 	/* expect+1: warning: pointer cast from 'long double' to unrelated 'unsigned short' [247] */
    293  1.1  rillig 	ushort_ptr = (typeof(ushort_ptr))ldouble_ptr;
    294  1.6  rillig 	/* expect+1: warning: pointer cast from 'float _Complex' to unrelated 'unsigned short' [247] */
    295  1.1  rillig 	ushort_ptr = (typeof(ushort_ptr))fcomplex_ptr;
    296  1.6  rillig 	/* expect+1: warning: pointer cast from 'double _Complex' to unrelated 'unsigned short' [247] */
    297  1.1  rillig 	ushort_ptr = (typeof(ushort_ptr))dcomplex_ptr;
    298  1.6  rillig 	/* expect+1: warning: pointer cast from 'long double _Complex' to unrelated 'unsigned short' [247] */
    299  1.1  rillig 	ushort_ptr = (typeof(ushort_ptr))lcomplex_ptr;
    300  1.1  rillig 	ushort_ptr = (typeof(ushort_ptr))void_ptr;
    301  1.6  rillig 	/* expect+1: warning: pointer cast from 'struct typedef char_struct' to unrelated 'unsigned short' [247] */
    302  1.1  rillig 	ushort_ptr = (typeof(ushort_ptr))char_struct_ptr;
    303  1.6  rillig 	/* expect+1: warning: pointer cast from 'struct typedef double_struct' to unrelated 'unsigned short' [247] */
    304  1.1  rillig 	ushort_ptr = (typeof(ushort_ptr))double_struct_ptr;
    305  1.6  rillig 	/* expect+1: warning: pointer cast from 'union typedef char_union' to unrelated 'unsigned short' [247] */
    306  1.1  rillig 	ushort_ptr = (typeof(ushort_ptr))char_union_ptr;
    307  1.6  rillig 	/* expect+1: warning: pointer cast from 'union typedef double_union' to unrelated 'unsigned short' [247] */
    308  1.1  rillig 	ushort_ptr = (typeof(ushort_ptr))double_union_ptr;
    309  1.6  rillig 	/* expect+1: warning: pointer cast from 'enum typedef int_enum' to unrelated 'unsigned short' [247] */
    310  1.1  rillig 	ushort_ptr = (typeof(ushort_ptr))enum_ptr;
    311  1.6  rillig 	/* expect+1: warning: pointer cast from 'array[5] of double' to unrelated 'unsigned short' [247] */
    312  1.1  rillig 	ushort_ptr = (typeof(ushort_ptr))double_array_ptr;
    313  1.1  rillig 	/* expect+1: warning: converting 'pointer to function(void) returning void' to 'pointer to unsigned short' is questionable [229] */
    314  1.1  rillig 	ushort_ptr = (typeof(ushort_ptr))func_ptr;
    315  1.1  rillig 
    316  1.6  rillig 	/* expect+1: warning: pointer cast from '_Bool' to unrelated 'int' [247] */
    317  1.1  rillig 	int_ptr = (typeof(int_ptr))bool_ptr;
    318  1.1  rillig 	int_ptr = (typeof(int_ptr))char_ptr;
    319  1.6  rillig 	/* expect+1: warning: pointer cast from 'signed char' to unrelated 'int' [247] */
    320  1.1  rillig 	int_ptr = (typeof(int_ptr))schar_ptr;
    321  1.1  rillig 	int_ptr = (typeof(int_ptr))uchar_ptr;
    322  1.6  rillig 	/* expect+1: warning: pointer cast from 'short' to unrelated 'int' [247] */
    323  1.1  rillig 	int_ptr = (typeof(int_ptr))short_ptr;
    324  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned short' to unrelated 'int' [247] */
    325  1.1  rillig 	int_ptr = (typeof(int_ptr))ushort_ptr;
    326  1.1  rillig 	int_ptr = (typeof(int_ptr))int_ptr;
    327  1.1  rillig 	int_ptr = (typeof(int_ptr))uint_ptr;
    328  1.6  rillig 	/* expect+1: warning: pointer cast from 'long' to unrelated 'int' [247] */
    329  1.1  rillig 	int_ptr = (typeof(int_ptr))long_ptr;
    330  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned long' to unrelated 'int' [247] */
    331  1.1  rillig 	int_ptr = (typeof(int_ptr))ulong_ptr;
    332  1.6  rillig 	/* expect+1: warning: pointer cast from 'long long' to unrelated 'int' [247] */
    333  1.1  rillig 	int_ptr = (typeof(int_ptr))llong_ptr;
    334  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned long long' to unrelated 'int' [247] */
    335  1.1  rillig 	int_ptr = (typeof(int_ptr))ullong_ptr;
    336  1.6  rillig 	/* expect+1: warning: pointer cast from 'float' to unrelated 'int' [247] */
    337  1.1  rillig 	int_ptr = (typeof(int_ptr))float_ptr;
    338  1.6  rillig 	/* expect+1: warning: pointer cast from 'double' to unrelated 'int' [247] */
    339  1.1  rillig 	int_ptr = (typeof(int_ptr))double_ptr;
    340  1.6  rillig 	/* expect+1: warning: pointer cast from 'long double' to unrelated 'int' [247] */
    341  1.1  rillig 	int_ptr = (typeof(int_ptr))ldouble_ptr;
    342  1.6  rillig 	/* expect+1: warning: pointer cast from 'float _Complex' to unrelated 'int' [247] */
    343  1.1  rillig 	int_ptr = (typeof(int_ptr))fcomplex_ptr;
    344  1.6  rillig 	/* expect+1: warning: pointer cast from 'double _Complex' to unrelated 'int' [247] */
    345  1.1  rillig 	int_ptr = (typeof(int_ptr))dcomplex_ptr;
    346  1.6  rillig 	/* expect+1: warning: pointer cast from 'long double _Complex' to unrelated 'int' [247] */
    347  1.1  rillig 	int_ptr = (typeof(int_ptr))lcomplex_ptr;
    348  1.1  rillig 	int_ptr = (typeof(int_ptr))void_ptr;
    349  1.6  rillig 	/* expect+1: warning: pointer cast from 'struct typedef char_struct' to unrelated 'int' [247] */
    350  1.1  rillig 	int_ptr = (typeof(int_ptr))char_struct_ptr;
    351  1.6  rillig 	/* expect+1: warning: pointer cast from 'struct typedef double_struct' to unrelated 'int' [247] */
    352  1.1  rillig 	int_ptr = (typeof(int_ptr))double_struct_ptr;
    353  1.6  rillig 	/* expect+1: warning: pointer cast from 'union typedef char_union' to unrelated 'int' [247] */
    354  1.1  rillig 	int_ptr = (typeof(int_ptr))char_union_ptr;
    355  1.6  rillig 	/* expect+1: warning: pointer cast from 'union typedef double_union' to unrelated 'int' [247] */
    356  1.1  rillig 	int_ptr = (typeof(int_ptr))double_union_ptr;
    357  1.1  rillig 	int_ptr = (typeof(int_ptr))enum_ptr;
    358  1.6  rillig 	/* expect+1: warning: pointer cast from 'array[5] of double' to unrelated 'int' [247] */
    359  1.1  rillig 	int_ptr = (typeof(int_ptr))double_array_ptr;
    360  1.1  rillig 	/* expect+1: warning: converting 'pointer to function(void) returning void' to 'pointer to int' is questionable [229] */
    361  1.1  rillig 	int_ptr = (typeof(int_ptr))func_ptr;
    362  1.1  rillig 
    363  1.6  rillig 	/* expect+1: warning: pointer cast from '_Bool' to unrelated 'unsigned int' [247] */
    364  1.1  rillig 	uint_ptr = (typeof(uint_ptr))bool_ptr;
    365  1.1  rillig 	uint_ptr = (typeof(uint_ptr))char_ptr;
    366  1.6  rillig 	/* expect+1: warning: pointer cast from 'signed char' to unrelated 'unsigned int' [247] */
    367  1.1  rillig 	uint_ptr = (typeof(uint_ptr))schar_ptr;
    368  1.1  rillig 	uint_ptr = (typeof(uint_ptr))uchar_ptr;
    369  1.6  rillig 	/* expect+1: warning: pointer cast from 'short' to unrelated 'unsigned int' [247] */
    370  1.1  rillig 	uint_ptr = (typeof(uint_ptr))short_ptr;
    371  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned short' to unrelated 'unsigned int' [247] */
    372  1.1  rillig 	uint_ptr = (typeof(uint_ptr))ushort_ptr;
    373  1.1  rillig 	uint_ptr = (typeof(uint_ptr))int_ptr;
    374  1.1  rillig 	uint_ptr = (typeof(uint_ptr))uint_ptr;
    375  1.6  rillig 	/* expect+1: warning: pointer cast from 'long' to unrelated 'unsigned int' [247] */
    376  1.1  rillig 	uint_ptr = (typeof(uint_ptr))long_ptr;
    377  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned long' to unrelated 'unsigned int' [247] */
    378  1.1  rillig 	uint_ptr = (typeof(uint_ptr))ulong_ptr;
    379  1.6  rillig 	/* expect+1: warning: pointer cast from 'long long' to unrelated 'unsigned int' [247] */
    380  1.1  rillig 	uint_ptr = (typeof(uint_ptr))llong_ptr;
    381  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned long long' to unrelated 'unsigned int' [247] */
    382  1.1  rillig 	uint_ptr = (typeof(uint_ptr))ullong_ptr;
    383  1.6  rillig 	/* expect+1: warning: pointer cast from 'float' to unrelated 'unsigned int' [247] */
    384  1.1  rillig 	uint_ptr = (typeof(uint_ptr))float_ptr;
    385  1.6  rillig 	/* expect+1: warning: pointer cast from 'double' to unrelated 'unsigned int' [247] */
    386  1.1  rillig 	uint_ptr = (typeof(uint_ptr))double_ptr;
    387  1.6  rillig 	/* expect+1: warning: pointer cast from 'long double' to unrelated 'unsigned int' [247] */
    388  1.1  rillig 	uint_ptr = (typeof(uint_ptr))ldouble_ptr;
    389  1.6  rillig 	/* expect+1: warning: pointer cast from 'float _Complex' to unrelated 'unsigned int' [247] */
    390  1.1  rillig 	uint_ptr = (typeof(uint_ptr))fcomplex_ptr;
    391  1.6  rillig 	/* expect+1: warning: pointer cast from 'double _Complex' to unrelated 'unsigned int' [247] */
    392  1.1  rillig 	uint_ptr = (typeof(uint_ptr))dcomplex_ptr;
    393  1.6  rillig 	/* expect+1: warning: pointer cast from 'long double _Complex' to unrelated 'unsigned int' [247] */
    394  1.1  rillig 	uint_ptr = (typeof(uint_ptr))lcomplex_ptr;
    395  1.1  rillig 	uint_ptr = (typeof(uint_ptr))void_ptr;
    396  1.6  rillig 	/* expect+1: warning: pointer cast from 'struct typedef char_struct' to unrelated 'unsigned int' [247] */
    397  1.1  rillig 	uint_ptr = (typeof(uint_ptr))char_struct_ptr;
    398  1.6  rillig 	/* expect+1: warning: pointer cast from 'struct typedef double_struct' to unrelated 'unsigned int' [247] */
    399  1.1  rillig 	uint_ptr = (typeof(uint_ptr))double_struct_ptr;
    400  1.6  rillig 	/* expect+1: warning: pointer cast from 'union typedef char_union' to unrelated 'unsigned int' [247] */
    401  1.1  rillig 	uint_ptr = (typeof(uint_ptr))char_union_ptr;
    402  1.6  rillig 	/* expect+1: warning: pointer cast from 'union typedef double_union' to unrelated 'unsigned int' [247] */
    403  1.1  rillig 	uint_ptr = (typeof(uint_ptr))double_union_ptr;
    404  1.1  rillig 	uint_ptr = (typeof(uint_ptr))enum_ptr;
    405  1.6  rillig 	/* expect+1: warning: pointer cast from 'array[5] of double' to unrelated 'unsigned int' [247] */
    406  1.1  rillig 	uint_ptr = (typeof(uint_ptr))double_array_ptr;
    407  1.1  rillig 	/* expect+1: warning: converting 'pointer to function(void) returning void' to 'pointer to unsigned int' is questionable [229] */
    408  1.1  rillig 	uint_ptr = (typeof(uint_ptr))func_ptr;
    409  1.1  rillig 
    410  1.6  rillig 	/* expect+1: warning: pointer cast from '_Bool' to unrelated 'long' [247] */
    411  1.1  rillig 	long_ptr = (typeof(long_ptr))bool_ptr;
    412  1.1  rillig 	long_ptr = (typeof(long_ptr))char_ptr;
    413  1.6  rillig 	/* expect+1: warning: pointer cast from 'signed char' to unrelated 'long' [247] */
    414  1.1  rillig 	long_ptr = (typeof(long_ptr))schar_ptr;
    415  1.1  rillig 	long_ptr = (typeof(long_ptr))uchar_ptr;
    416  1.6  rillig 	/* expect+1: warning: pointer cast from 'short' to unrelated 'long' [247] */
    417  1.1  rillig 	long_ptr = (typeof(long_ptr))short_ptr;
    418  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned short' to unrelated 'long' [247] */
    419  1.1  rillig 	long_ptr = (typeof(long_ptr))ushort_ptr;
    420  1.6  rillig 	/* expect+1: warning: pointer cast from 'int' to unrelated 'long' [247] */
    421  1.1  rillig 	long_ptr = (typeof(long_ptr))int_ptr;
    422  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned int' to unrelated 'long' [247] */
    423  1.1  rillig 	long_ptr = (typeof(long_ptr))uint_ptr;
    424  1.1  rillig 	long_ptr = (typeof(long_ptr))long_ptr;
    425  1.1  rillig 	long_ptr = (typeof(long_ptr))ulong_ptr;
    426  1.1  rillig 	long_ptr = (typeof(long_ptr))llong_ptr;
    427  1.1  rillig 	long_ptr = (typeof(long_ptr))ullong_ptr;
    428  1.6  rillig 	/* expect+1: warning: pointer cast from 'float' to unrelated 'long' [247] */
    429  1.1  rillig 	long_ptr = (typeof(long_ptr))float_ptr;
    430  1.6  rillig 	/* expect+1: warning: pointer cast from 'double' to unrelated 'long' [247] */
    431  1.1  rillig 	long_ptr = (typeof(long_ptr))double_ptr;
    432  1.6  rillig 	/* expect+1: warning: pointer cast from 'long double' to unrelated 'long' [247] */
    433  1.1  rillig 	long_ptr = (typeof(long_ptr))ldouble_ptr;
    434  1.6  rillig 	/* expect+1: warning: pointer cast from 'float _Complex' to unrelated 'long' [247] */
    435  1.1  rillig 	long_ptr = (typeof(long_ptr))fcomplex_ptr;
    436  1.6  rillig 	/* expect+1: warning: pointer cast from 'double _Complex' to unrelated 'long' [247] */
    437  1.1  rillig 	long_ptr = (typeof(long_ptr))dcomplex_ptr;
    438  1.6  rillig 	/* expect+1: warning: pointer cast from 'long double _Complex' to unrelated 'long' [247] */
    439  1.1  rillig 	long_ptr = (typeof(long_ptr))lcomplex_ptr;
    440  1.1  rillig 	long_ptr = (typeof(long_ptr))void_ptr;
    441  1.6  rillig 	/* expect+1: warning: pointer cast from 'struct typedef char_struct' to unrelated 'long' [247] */
    442  1.1  rillig 	long_ptr = (typeof(long_ptr))char_struct_ptr;
    443  1.6  rillig 	/* expect+1: warning: pointer cast from 'struct typedef double_struct' to unrelated 'long' [247] */
    444  1.1  rillig 	long_ptr = (typeof(long_ptr))double_struct_ptr;
    445  1.6  rillig 	/* expect+1: warning: pointer cast from 'union typedef char_union' to unrelated 'long' [247] */
    446  1.1  rillig 	long_ptr = (typeof(long_ptr))char_union_ptr;
    447  1.6  rillig 	/* expect+1: warning: pointer cast from 'union typedef double_union' to unrelated 'long' [247] */
    448  1.1  rillig 	long_ptr = (typeof(long_ptr))double_union_ptr;
    449  1.6  rillig 	/* expect+1: warning: pointer cast from 'enum typedef int_enum' to unrelated 'long' [247] */
    450  1.1  rillig 	long_ptr = (typeof(long_ptr))enum_ptr;
    451  1.6  rillig 	/* expect+1: warning: pointer cast from 'array[5] of double' to unrelated 'long' [247] */
    452  1.1  rillig 	long_ptr = (typeof(long_ptr))double_array_ptr;
    453  1.1  rillig 	/* expect+1: warning: converting 'pointer to function(void) returning void' to 'pointer to long' is questionable [229] */
    454  1.1  rillig 	long_ptr = (typeof(long_ptr))func_ptr;
    455  1.1  rillig 
    456  1.6  rillig 	/* expect+1: warning: pointer cast from '_Bool' to unrelated 'unsigned long' [247] */
    457  1.1  rillig 	ulong_ptr = (typeof(ulong_ptr))bool_ptr;
    458  1.1  rillig 	ulong_ptr = (typeof(ulong_ptr))char_ptr;
    459  1.6  rillig 	/* expect+1: warning: pointer cast from 'signed char' to unrelated 'unsigned long' [247] */
    460  1.1  rillig 	ulong_ptr = (typeof(ulong_ptr))schar_ptr;
    461  1.1  rillig 	ulong_ptr = (typeof(ulong_ptr))uchar_ptr;
    462  1.6  rillig 	/* expect+1: warning: pointer cast from 'short' to unrelated 'unsigned long' [247] */
    463  1.1  rillig 	ulong_ptr = (typeof(ulong_ptr))short_ptr;
    464  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned short' to unrelated 'unsigned long' [247] */
    465  1.1  rillig 	ulong_ptr = (typeof(ulong_ptr))ushort_ptr;
    466  1.6  rillig 	/* expect+1: warning: pointer cast from 'int' to unrelated 'unsigned long' [247] */
    467  1.1  rillig 	ulong_ptr = (typeof(ulong_ptr))int_ptr;
    468  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned int' to unrelated 'unsigned long' [247] */
    469  1.1  rillig 	ulong_ptr = (typeof(ulong_ptr))uint_ptr;
    470  1.1  rillig 	ulong_ptr = (typeof(ulong_ptr))long_ptr;
    471  1.1  rillig 	ulong_ptr = (typeof(ulong_ptr))ulong_ptr;
    472  1.1  rillig 	ulong_ptr = (typeof(ulong_ptr))llong_ptr;
    473  1.1  rillig 	ulong_ptr = (typeof(ulong_ptr))ullong_ptr;
    474  1.6  rillig 	/* expect+1: warning: pointer cast from 'float' to unrelated 'unsigned long' [247] */
    475  1.1  rillig 	ulong_ptr = (typeof(ulong_ptr))float_ptr;
    476  1.6  rillig 	/* expect+1: warning: pointer cast from 'double' to unrelated 'unsigned long' [247] */
    477  1.1  rillig 	ulong_ptr = (typeof(ulong_ptr))double_ptr;
    478  1.6  rillig 	/* expect+1: warning: pointer cast from 'long double' to unrelated 'unsigned long' [247] */
    479  1.1  rillig 	ulong_ptr = (typeof(ulong_ptr))ldouble_ptr;
    480  1.6  rillig 	/* expect+1: warning: pointer cast from 'float _Complex' to unrelated 'unsigned long' [247] */
    481  1.1  rillig 	ulong_ptr = (typeof(ulong_ptr))fcomplex_ptr;
    482  1.6  rillig 	/* expect+1: warning: pointer cast from 'double _Complex' to unrelated 'unsigned long' [247] */
    483  1.1  rillig 	ulong_ptr = (typeof(ulong_ptr))dcomplex_ptr;
    484  1.6  rillig 	/* expect+1: warning: pointer cast from 'long double _Complex' to unrelated 'unsigned long' [247] */
    485  1.1  rillig 	ulong_ptr = (typeof(ulong_ptr))lcomplex_ptr;
    486  1.1  rillig 	ulong_ptr = (typeof(ulong_ptr))void_ptr;
    487  1.6  rillig 	/* expect+1: warning: pointer cast from 'struct typedef char_struct' to unrelated 'unsigned long' [247] */
    488  1.1  rillig 	ulong_ptr = (typeof(ulong_ptr))char_struct_ptr;
    489  1.6  rillig 	/* expect+1: warning: pointer cast from 'struct typedef double_struct' to unrelated 'unsigned long' [247] */
    490  1.1  rillig 	ulong_ptr = (typeof(ulong_ptr))double_struct_ptr;
    491  1.6  rillig 	/* expect+1: warning: pointer cast from 'union typedef char_union' to unrelated 'unsigned long' [247] */
    492  1.1  rillig 	ulong_ptr = (typeof(ulong_ptr))char_union_ptr;
    493  1.6  rillig 	/* expect+1: warning: pointer cast from 'union typedef double_union' to unrelated 'unsigned long' [247] */
    494  1.1  rillig 	ulong_ptr = (typeof(ulong_ptr))double_union_ptr;
    495  1.6  rillig 	/* expect+1: warning: pointer cast from 'enum typedef int_enum' to unrelated 'unsigned long' [247] */
    496  1.1  rillig 	ulong_ptr = (typeof(ulong_ptr))enum_ptr;
    497  1.6  rillig 	/* expect+1: warning: pointer cast from 'array[5] of double' to unrelated 'unsigned long' [247] */
    498  1.1  rillig 	ulong_ptr = (typeof(ulong_ptr))double_array_ptr;
    499  1.1  rillig 	/* expect+1: warning: converting 'pointer to function(void) returning void' to 'pointer to unsigned long' is questionable [229] */
    500  1.1  rillig 	ulong_ptr = (typeof(ulong_ptr))func_ptr;
    501  1.1  rillig 
    502  1.6  rillig 	/* expect+1: warning: pointer cast from '_Bool' to unrelated 'long long' [247] */
    503  1.1  rillig 	llong_ptr = (typeof(llong_ptr))bool_ptr;
    504  1.1  rillig 	llong_ptr = (typeof(llong_ptr))char_ptr;
    505  1.6  rillig 	/* expect+1: warning: pointer cast from 'signed char' to unrelated 'long long' [247] */
    506  1.1  rillig 	llong_ptr = (typeof(llong_ptr))schar_ptr;
    507  1.1  rillig 	llong_ptr = (typeof(llong_ptr))uchar_ptr;
    508  1.6  rillig 	/* expect+1: warning: pointer cast from 'short' to unrelated 'long long' [247] */
    509  1.1  rillig 	llong_ptr = (typeof(llong_ptr))short_ptr;
    510  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned short' to unrelated 'long long' [247] */
    511  1.1  rillig 	llong_ptr = (typeof(llong_ptr))ushort_ptr;
    512  1.6  rillig 	/* expect+1: warning: pointer cast from 'int' to unrelated 'long long' [247] */
    513  1.1  rillig 	llong_ptr = (typeof(llong_ptr))int_ptr;
    514  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned int' to unrelated 'long long' [247] */
    515  1.1  rillig 	llong_ptr = (typeof(llong_ptr))uint_ptr;
    516  1.1  rillig 	llong_ptr = (typeof(llong_ptr))long_ptr;
    517  1.1  rillig 	llong_ptr = (typeof(llong_ptr))ulong_ptr;
    518  1.1  rillig 	llong_ptr = (typeof(llong_ptr))llong_ptr;
    519  1.1  rillig 	llong_ptr = (typeof(llong_ptr))ullong_ptr;
    520  1.6  rillig 	/* expect+1: warning: pointer cast from 'float' to unrelated 'long long' [247] */
    521  1.1  rillig 	llong_ptr = (typeof(llong_ptr))float_ptr;
    522  1.6  rillig 	/* expect+1: warning: pointer cast from 'double' to unrelated 'long long' [247] */
    523  1.1  rillig 	llong_ptr = (typeof(llong_ptr))double_ptr;
    524  1.6  rillig 	/* expect+1: warning: pointer cast from 'long double' to unrelated 'long long' [247] */
    525  1.1  rillig 	llong_ptr = (typeof(llong_ptr))ldouble_ptr;
    526  1.6  rillig 	/* expect+1: warning: pointer cast from 'float _Complex' to unrelated 'long long' [247] */
    527  1.1  rillig 	llong_ptr = (typeof(llong_ptr))fcomplex_ptr;
    528  1.6  rillig 	/* expect+1: warning: pointer cast from 'double _Complex' to unrelated 'long long' [247] */
    529  1.1  rillig 	llong_ptr = (typeof(llong_ptr))dcomplex_ptr;
    530  1.6  rillig 	/* expect+1: warning: pointer cast from 'long double _Complex' to unrelated 'long long' [247] */
    531  1.1  rillig 	llong_ptr = (typeof(llong_ptr))lcomplex_ptr;
    532  1.1  rillig 	llong_ptr = (typeof(llong_ptr))void_ptr;
    533  1.6  rillig 	/* expect+1: warning: pointer cast from 'struct typedef char_struct' to unrelated 'long long' [247] */
    534  1.1  rillig 	llong_ptr = (typeof(llong_ptr))char_struct_ptr;
    535  1.6  rillig 	/* expect+1: warning: pointer cast from 'struct typedef double_struct' to unrelated 'long long' [247] */
    536  1.1  rillig 	llong_ptr = (typeof(llong_ptr))double_struct_ptr;
    537  1.6  rillig 	/* expect+1: warning: pointer cast from 'union typedef char_union' to unrelated 'long long' [247] */
    538  1.1  rillig 	llong_ptr = (typeof(llong_ptr))char_union_ptr;
    539  1.6  rillig 	/* expect+1: warning: pointer cast from 'union typedef double_union' to unrelated 'long long' [247] */
    540  1.1  rillig 	llong_ptr = (typeof(llong_ptr))double_union_ptr;
    541  1.6  rillig 	/* expect+1: warning: pointer cast from 'enum typedef int_enum' to unrelated 'long long' [247] */
    542  1.1  rillig 	llong_ptr = (typeof(llong_ptr))enum_ptr;
    543  1.6  rillig 	/* expect+1: warning: pointer cast from 'array[5] of double' to unrelated 'long long' [247] */
    544  1.1  rillig 	llong_ptr = (typeof(llong_ptr))double_array_ptr;
    545  1.1  rillig 	/* expect+1: warning: converting 'pointer to function(void) returning void' to 'pointer to long long' is questionable [229] */
    546  1.1  rillig 	llong_ptr = (typeof(llong_ptr))func_ptr;
    547  1.1  rillig 
    548  1.6  rillig 	/* expect+1: warning: pointer cast from '_Bool' to unrelated 'unsigned long long' [247] */
    549  1.1  rillig 	ullong_ptr = (typeof(ullong_ptr))bool_ptr;
    550  1.1  rillig 	ullong_ptr = (typeof(ullong_ptr))char_ptr;
    551  1.6  rillig 	/* expect+1: warning: pointer cast from 'signed char' to unrelated 'unsigned long long' [247] */
    552  1.1  rillig 	ullong_ptr = (typeof(ullong_ptr))schar_ptr;
    553  1.1  rillig 	ullong_ptr = (typeof(ullong_ptr))uchar_ptr;
    554  1.6  rillig 	/* expect+1: warning: pointer cast from 'short' to unrelated 'unsigned long long' [247] */
    555  1.1  rillig 	ullong_ptr = (typeof(ullong_ptr))short_ptr;
    556  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned short' to unrelated 'unsigned long long' [247] */
    557  1.1  rillig 	ullong_ptr = (typeof(ullong_ptr))ushort_ptr;
    558  1.6  rillig 	/* expect+1: warning: pointer cast from 'int' to unrelated 'unsigned long long' [247] */
    559  1.1  rillig 	ullong_ptr = (typeof(ullong_ptr))int_ptr;
    560  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned int' to unrelated 'unsigned long long' [247] */
    561  1.1  rillig 	ullong_ptr = (typeof(ullong_ptr))uint_ptr;
    562  1.1  rillig 	ullong_ptr = (typeof(ullong_ptr))long_ptr;
    563  1.1  rillig 	ullong_ptr = (typeof(ullong_ptr))ulong_ptr;
    564  1.1  rillig 	ullong_ptr = (typeof(ullong_ptr))llong_ptr;
    565  1.1  rillig 	ullong_ptr = (typeof(ullong_ptr))ullong_ptr;
    566  1.6  rillig 	/* expect+1: warning: pointer cast from 'float' to unrelated 'unsigned long long' [247] */
    567  1.1  rillig 	ullong_ptr = (typeof(ullong_ptr))float_ptr;
    568  1.6  rillig 	/* expect+1: warning: pointer cast from 'double' to unrelated 'unsigned long long' [247] */
    569  1.1  rillig 	ullong_ptr = (typeof(ullong_ptr))double_ptr;
    570  1.6  rillig 	/* expect+1: warning: pointer cast from 'long double' to unrelated 'unsigned long long' [247] */
    571  1.1  rillig 	ullong_ptr = (typeof(ullong_ptr))ldouble_ptr;
    572  1.6  rillig 	/* expect+1: warning: pointer cast from 'float _Complex' to unrelated 'unsigned long long' [247] */
    573  1.1  rillig 	ullong_ptr = (typeof(ullong_ptr))fcomplex_ptr;
    574  1.6  rillig 	/* expect+1: warning: pointer cast from 'double _Complex' to unrelated 'unsigned long long' [247] */
    575  1.1  rillig 	ullong_ptr = (typeof(ullong_ptr))dcomplex_ptr;
    576  1.6  rillig 	/* expect+1: warning: pointer cast from 'long double _Complex' to unrelated 'unsigned long long' [247] */
    577  1.1  rillig 	ullong_ptr = (typeof(ullong_ptr))lcomplex_ptr;
    578  1.1  rillig 	ullong_ptr = (typeof(ullong_ptr))void_ptr;
    579  1.6  rillig 	/* expect+1: warning: pointer cast from 'struct typedef char_struct' to unrelated 'unsigned long long' [247] */
    580  1.1  rillig 	ullong_ptr = (typeof(ullong_ptr))char_struct_ptr;
    581  1.6  rillig 	/* expect+1: warning: pointer cast from 'struct typedef double_struct' to unrelated 'unsigned long long' [247] */
    582  1.1  rillig 	ullong_ptr = (typeof(ullong_ptr))double_struct_ptr;
    583  1.6  rillig 	/* expect+1: warning: pointer cast from 'union typedef char_union' to unrelated 'unsigned long long' [247] */
    584  1.1  rillig 	ullong_ptr = (typeof(ullong_ptr))char_union_ptr;
    585  1.6  rillig 	/* expect+1: warning: pointer cast from 'union typedef double_union' to unrelated 'unsigned long long' [247] */
    586  1.1  rillig 	ullong_ptr = (typeof(ullong_ptr))double_union_ptr;
    587  1.6  rillig 	/* expect+1: warning: pointer cast from 'enum typedef int_enum' to unrelated 'unsigned long long' [247] */
    588  1.1  rillig 	ullong_ptr = (typeof(ullong_ptr))enum_ptr;
    589  1.6  rillig 	/* expect+1: warning: pointer cast from 'array[5] of double' to unrelated 'unsigned long long' [247] */
    590  1.1  rillig 	ullong_ptr = (typeof(ullong_ptr))double_array_ptr;
    591  1.1  rillig 	/* expect+1: warning: converting 'pointer to function(void) returning void' to 'pointer to unsigned long long' is questionable [229] */
    592  1.1  rillig 	ullong_ptr = (typeof(ullong_ptr))func_ptr;
    593  1.1  rillig 
    594  1.6  rillig 	/* expect+1: warning: pointer cast from '_Bool' to unrelated 'float' [247] */
    595  1.1  rillig 	float_ptr = (typeof(float_ptr))bool_ptr;
    596  1.1  rillig 	float_ptr = (typeof(float_ptr))char_ptr;
    597  1.6  rillig 	/* expect+1: warning: pointer cast from 'signed char' to unrelated 'float' [247] */
    598  1.1  rillig 	float_ptr = (typeof(float_ptr))schar_ptr;
    599  1.1  rillig 	float_ptr = (typeof(float_ptr))uchar_ptr;
    600  1.6  rillig 	/* expect+1: warning: pointer cast from 'short' to unrelated 'float' [247] */
    601  1.1  rillig 	float_ptr = (typeof(float_ptr))short_ptr;
    602  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned short' to unrelated 'float' [247] */
    603  1.1  rillig 	float_ptr = (typeof(float_ptr))ushort_ptr;
    604  1.6  rillig 	/* expect+1: warning: pointer cast from 'int' to unrelated 'float' [247] */
    605  1.1  rillig 	float_ptr = (typeof(float_ptr))int_ptr;
    606  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned int' to unrelated 'float' [247] */
    607  1.1  rillig 	float_ptr = (typeof(float_ptr))uint_ptr;
    608  1.6  rillig 	/* expect+1: warning: pointer cast from 'long' to unrelated 'float' [247] */
    609  1.1  rillig 	float_ptr = (typeof(float_ptr))long_ptr;
    610  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned long' to unrelated 'float' [247] */
    611  1.1  rillig 	float_ptr = (typeof(float_ptr))ulong_ptr;
    612  1.6  rillig 	/* expect+1: warning: pointer cast from 'long long' to unrelated 'float' [247] */
    613  1.1  rillig 	float_ptr = (typeof(float_ptr))llong_ptr;
    614  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned long long' to unrelated 'float' [247] */
    615  1.1  rillig 	float_ptr = (typeof(float_ptr))ullong_ptr;
    616  1.1  rillig 	float_ptr = (typeof(float_ptr))float_ptr;
    617  1.6  rillig 	/* expect+1: warning: pointer cast from 'double' to unrelated 'float' [247] */
    618  1.1  rillig 	float_ptr = (typeof(float_ptr))double_ptr;
    619  1.6  rillig 	/* expect+1: warning: pointer cast from 'long double' to unrelated 'float' [247] */
    620  1.1  rillig 	float_ptr = (typeof(float_ptr))ldouble_ptr;
    621  1.6  rillig 	/* expect+1: warning: pointer cast from 'float _Complex' to unrelated 'float' [247] */
    622  1.1  rillig 	float_ptr = (typeof(float_ptr))fcomplex_ptr;
    623  1.6  rillig 	/* expect+1: warning: pointer cast from 'double _Complex' to unrelated 'float' [247] */
    624  1.1  rillig 	float_ptr = (typeof(float_ptr))dcomplex_ptr;
    625  1.6  rillig 	/* expect+1: warning: pointer cast from 'long double _Complex' to unrelated 'float' [247] */
    626  1.1  rillig 	float_ptr = (typeof(float_ptr))lcomplex_ptr;
    627  1.1  rillig 	float_ptr = (typeof(float_ptr))void_ptr;
    628  1.6  rillig 	/* expect+1: warning: pointer cast from 'struct typedef char_struct' to unrelated 'float' [247] */
    629  1.1  rillig 	float_ptr = (typeof(float_ptr))char_struct_ptr;
    630  1.6  rillig 	/* expect+1: warning: pointer cast from 'struct typedef double_struct' to unrelated 'float' [247] */
    631  1.1  rillig 	float_ptr = (typeof(float_ptr))double_struct_ptr;
    632  1.6  rillig 	/* expect+1: warning: pointer cast from 'union typedef char_union' to unrelated 'float' [247] */
    633  1.1  rillig 	float_ptr = (typeof(float_ptr))char_union_ptr;
    634  1.6  rillig 	/* expect+1: warning: pointer cast from 'union typedef double_union' to unrelated 'float' [247] */
    635  1.1  rillig 	float_ptr = (typeof(float_ptr))double_union_ptr;
    636  1.6  rillig 	/* expect+1: warning: pointer cast from 'enum typedef int_enum' to unrelated 'float' [247] */
    637  1.1  rillig 	float_ptr = (typeof(float_ptr))enum_ptr;
    638  1.6  rillig 	/* expect+1: warning: pointer cast from 'array[5] of double' to unrelated 'float' [247] */
    639  1.1  rillig 	float_ptr = (typeof(float_ptr))double_array_ptr;
    640  1.1  rillig 	/* expect+1: warning: converting 'pointer to function(void) returning void' to 'pointer to float' is questionable [229] */
    641  1.1  rillig 	float_ptr = (typeof(float_ptr))func_ptr;
    642  1.1  rillig 
    643  1.6  rillig 	/* expect+1: warning: pointer cast from '_Bool' to unrelated 'double' [247] */
    644  1.1  rillig 	double_ptr = (typeof(double_ptr))bool_ptr;
    645  1.1  rillig 	double_ptr = (typeof(double_ptr))char_ptr;
    646  1.6  rillig 	/* expect+1: warning: pointer cast from 'signed char' to unrelated 'double' [247] */
    647  1.1  rillig 	double_ptr = (typeof(double_ptr))schar_ptr;
    648  1.1  rillig 	double_ptr = (typeof(double_ptr))uchar_ptr;
    649  1.6  rillig 	/* expect+1: warning: pointer cast from 'short' to unrelated 'double' [247] */
    650  1.1  rillig 	double_ptr = (typeof(double_ptr))short_ptr;
    651  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned short' to unrelated 'double' [247] */
    652  1.1  rillig 	double_ptr = (typeof(double_ptr))ushort_ptr;
    653  1.6  rillig 	/* expect+1: warning: pointer cast from 'int' to unrelated 'double' [247] */
    654  1.1  rillig 	double_ptr = (typeof(double_ptr))int_ptr;
    655  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned int' to unrelated 'double' [247] */
    656  1.1  rillig 	double_ptr = (typeof(double_ptr))uint_ptr;
    657  1.6  rillig 	/* expect+1: warning: pointer cast from 'long' to unrelated 'double' [247] */
    658  1.1  rillig 	double_ptr = (typeof(double_ptr))long_ptr;
    659  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned long' to unrelated 'double' [247] */
    660  1.1  rillig 	double_ptr = (typeof(double_ptr))ulong_ptr;
    661  1.6  rillig 	/* expect+1: warning: pointer cast from 'long long' to unrelated 'double' [247] */
    662  1.1  rillig 	double_ptr = (typeof(double_ptr))llong_ptr;
    663  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned long long' to unrelated 'double' [247] */
    664  1.1  rillig 	double_ptr = (typeof(double_ptr))ullong_ptr;
    665  1.6  rillig 	/* expect+1: warning: pointer cast from 'float' to unrelated 'double' [247] */
    666  1.1  rillig 	double_ptr = (typeof(double_ptr))float_ptr;
    667  1.1  rillig 	double_ptr = (typeof(double_ptr))double_ptr;
    668  1.6  rillig 	/* expect+1: warning: pointer cast from 'long double' to unrelated 'double' [247] */
    669  1.1  rillig 	double_ptr = (typeof(double_ptr))ldouble_ptr;
    670  1.6  rillig 	/* expect+1: warning: pointer cast from 'float _Complex' to unrelated 'double' [247] */
    671  1.1  rillig 	double_ptr = (typeof(double_ptr))fcomplex_ptr;
    672  1.6  rillig 	/* expect+1: warning: pointer cast from 'double _Complex' to unrelated 'double' [247] */
    673  1.1  rillig 	double_ptr = (typeof(double_ptr))dcomplex_ptr;
    674  1.6  rillig 	/* expect+1: warning: pointer cast from 'long double _Complex' to unrelated 'double' [247] */
    675  1.1  rillig 	double_ptr = (typeof(double_ptr))lcomplex_ptr;
    676  1.1  rillig 	double_ptr = (typeof(double_ptr))void_ptr;
    677  1.6  rillig 	/* expect+1: warning: pointer cast from 'struct typedef char_struct' to unrelated 'double' [247] */
    678  1.1  rillig 	double_ptr = (typeof(double_ptr))char_struct_ptr;
    679  1.6  rillig 	/* expect+1: warning: pointer cast from 'struct typedef double_struct' to unrelated 'double' [247] */
    680  1.1  rillig 	double_ptr = (typeof(double_ptr))double_struct_ptr;
    681  1.6  rillig 	/* expect+1: warning: pointer cast from 'union typedef char_union' to unrelated 'double' [247] */
    682  1.1  rillig 	double_ptr = (typeof(double_ptr))char_union_ptr;
    683  1.1  rillig 	double_ptr = (typeof(double_ptr))double_union_ptr;
    684  1.6  rillig 	/* expect+1: warning: pointer cast from 'enum typedef int_enum' to unrelated 'double' [247] */
    685  1.1  rillig 	double_ptr = (typeof(double_ptr))enum_ptr;
    686  1.1  rillig 	double_ptr = (typeof(double_ptr))double_array_ptr;
    687  1.1  rillig 	/* expect+1: warning: converting 'pointer to function(void) returning void' to 'pointer to double' is questionable [229] */
    688  1.1  rillig 	double_ptr = (typeof(double_ptr))func_ptr;
    689  1.1  rillig 
    690  1.6  rillig 	/* expect+1: warning: pointer cast from '_Bool' to unrelated 'long double' [247] */
    691  1.1  rillig 	ldouble_ptr = (typeof(ldouble_ptr))bool_ptr;
    692  1.1  rillig 	ldouble_ptr = (typeof(ldouble_ptr))char_ptr;
    693  1.6  rillig 	/* expect+1: warning: pointer cast from 'signed char' to unrelated 'long double' [247] */
    694  1.1  rillig 	ldouble_ptr = (typeof(ldouble_ptr))schar_ptr;
    695  1.1  rillig 	ldouble_ptr = (typeof(ldouble_ptr))uchar_ptr;
    696  1.6  rillig 	/* expect+1: warning: pointer cast from 'short' to unrelated 'long double' [247] */
    697  1.1  rillig 	ldouble_ptr = (typeof(ldouble_ptr))short_ptr;
    698  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned short' to unrelated 'long double' [247] */
    699  1.1  rillig 	ldouble_ptr = (typeof(ldouble_ptr))ushort_ptr;
    700  1.6  rillig 	/* expect+1: warning: pointer cast from 'int' to unrelated 'long double' [247] */
    701  1.1  rillig 	ldouble_ptr = (typeof(ldouble_ptr))int_ptr;
    702  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned int' to unrelated 'long double' [247] */
    703  1.1  rillig 	ldouble_ptr = (typeof(ldouble_ptr))uint_ptr;
    704  1.6  rillig 	/* expect+1: warning: pointer cast from 'long' to unrelated 'long double' [247] */
    705  1.1  rillig 	ldouble_ptr = (typeof(ldouble_ptr))long_ptr;
    706  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned long' to unrelated 'long double' [247] */
    707  1.1  rillig 	ldouble_ptr = (typeof(ldouble_ptr))ulong_ptr;
    708  1.6  rillig 	/* expect+1: warning: pointer cast from 'long long' to unrelated 'long double' [247] */
    709  1.1  rillig 	ldouble_ptr = (typeof(ldouble_ptr))llong_ptr;
    710  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned long long' to unrelated 'long double' [247] */
    711  1.1  rillig 	ldouble_ptr = (typeof(ldouble_ptr))ullong_ptr;
    712  1.6  rillig 	/* expect+1: warning: pointer cast from 'float' to unrelated 'long double' [247] */
    713  1.1  rillig 	ldouble_ptr = (typeof(ldouble_ptr))float_ptr;
    714  1.6  rillig 	/* expect+1: warning: pointer cast from 'double' to unrelated 'long double' [247] */
    715  1.1  rillig 	ldouble_ptr = (typeof(ldouble_ptr))double_ptr;
    716  1.1  rillig 	ldouble_ptr = (typeof(ldouble_ptr))ldouble_ptr;
    717  1.6  rillig 	/* expect+1: warning: pointer cast from 'float _Complex' to unrelated 'long double' [247] */
    718  1.1  rillig 	ldouble_ptr = (typeof(ldouble_ptr))fcomplex_ptr;
    719  1.6  rillig 	/* expect+1: warning: pointer cast from 'double _Complex' to unrelated 'long double' [247] */
    720  1.1  rillig 	ldouble_ptr = (typeof(ldouble_ptr))dcomplex_ptr;
    721  1.6  rillig 	/* expect+1: warning: pointer cast from 'long double _Complex' to unrelated 'long double' [247] */
    722  1.1  rillig 	ldouble_ptr = (typeof(ldouble_ptr))lcomplex_ptr;
    723  1.1  rillig 	ldouble_ptr = (typeof(ldouble_ptr))void_ptr;
    724  1.6  rillig 	/* expect+1: warning: pointer cast from 'struct typedef char_struct' to unrelated 'long double' [247] */
    725  1.1  rillig 	ldouble_ptr = (typeof(ldouble_ptr))char_struct_ptr;
    726  1.6  rillig 	/* expect+1: warning: pointer cast from 'struct typedef double_struct' to unrelated 'long double' [247] */
    727  1.1  rillig 	ldouble_ptr = (typeof(ldouble_ptr))double_struct_ptr;
    728  1.6  rillig 	/* expect+1: warning: pointer cast from 'union typedef char_union' to unrelated 'long double' [247] */
    729  1.1  rillig 	ldouble_ptr = (typeof(ldouble_ptr))char_union_ptr;
    730  1.6  rillig 	/* expect+1: warning: pointer cast from 'union typedef double_union' to unrelated 'long double' [247] */
    731  1.1  rillig 	ldouble_ptr = (typeof(ldouble_ptr))double_union_ptr;
    732  1.6  rillig 	/* expect+1: warning: pointer cast from 'enum typedef int_enum' to unrelated 'long double' [247] */
    733  1.1  rillig 	ldouble_ptr = (typeof(ldouble_ptr))enum_ptr;
    734  1.6  rillig 	/* expect+1: warning: pointer cast from 'array[5] of double' to unrelated 'long double' [247] */
    735  1.1  rillig 	ldouble_ptr = (typeof(ldouble_ptr))double_array_ptr;
    736  1.1  rillig 	/* expect+1: warning: converting 'pointer to function(void) returning void' to 'pointer to long double' is questionable [229] */
    737  1.1  rillig 	ldouble_ptr = (typeof(ldouble_ptr))func_ptr;
    738  1.1  rillig 
    739  1.6  rillig 	/* expect+1: warning: pointer cast from '_Bool' to unrelated 'float _Complex' [247] */
    740  1.1  rillig 	fcomplex_ptr = (typeof(fcomplex_ptr))bool_ptr;
    741  1.1  rillig 	fcomplex_ptr = (typeof(fcomplex_ptr))char_ptr;
    742  1.6  rillig 	/* expect+1: warning: pointer cast from 'signed char' to unrelated 'float _Complex' [247] */
    743  1.1  rillig 	fcomplex_ptr = (typeof(fcomplex_ptr))schar_ptr;
    744  1.1  rillig 	fcomplex_ptr = (typeof(fcomplex_ptr))uchar_ptr;
    745  1.6  rillig 	/* expect+1: warning: pointer cast from 'short' to unrelated 'float _Complex' [247] */
    746  1.1  rillig 	fcomplex_ptr = (typeof(fcomplex_ptr))short_ptr;
    747  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned short' to unrelated 'float _Complex' [247] */
    748  1.1  rillig 	fcomplex_ptr = (typeof(fcomplex_ptr))ushort_ptr;
    749  1.6  rillig 	/* expect+1: warning: pointer cast from 'int' to unrelated 'float _Complex' [247] */
    750  1.1  rillig 	fcomplex_ptr = (typeof(fcomplex_ptr))int_ptr;
    751  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned int' to unrelated 'float _Complex' [247] */
    752  1.1  rillig 	fcomplex_ptr = (typeof(fcomplex_ptr))uint_ptr;
    753  1.6  rillig 	/* expect+1: warning: pointer cast from 'long' to unrelated 'float _Complex' [247] */
    754  1.1  rillig 	fcomplex_ptr = (typeof(fcomplex_ptr))long_ptr;
    755  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned long' to unrelated 'float _Complex' [247] */
    756  1.1  rillig 	fcomplex_ptr = (typeof(fcomplex_ptr))ulong_ptr;
    757  1.6  rillig 	/* expect+1: warning: pointer cast from 'long long' to unrelated 'float _Complex' [247] */
    758  1.1  rillig 	fcomplex_ptr = (typeof(fcomplex_ptr))llong_ptr;
    759  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned long long' to unrelated 'float _Complex' [247] */
    760  1.1  rillig 	fcomplex_ptr = (typeof(fcomplex_ptr))ullong_ptr;
    761  1.6  rillig 	/* expect+1: warning: pointer cast from 'float' to unrelated 'float _Complex' [247] */
    762  1.1  rillig 	fcomplex_ptr = (typeof(fcomplex_ptr))float_ptr;
    763  1.6  rillig 	/* expect+1: warning: pointer cast from 'double' to unrelated 'float _Complex' [247] */
    764  1.1  rillig 	fcomplex_ptr = (typeof(fcomplex_ptr))double_ptr;
    765  1.6  rillig 	/* expect+1: warning: pointer cast from 'long double' to unrelated 'float _Complex' [247] */
    766  1.1  rillig 	fcomplex_ptr = (typeof(fcomplex_ptr))ldouble_ptr;
    767  1.1  rillig 	fcomplex_ptr = (typeof(fcomplex_ptr))fcomplex_ptr;
    768  1.6  rillig 	/* expect+1: warning: pointer cast from 'double _Complex' to unrelated 'float _Complex' [247] */
    769  1.1  rillig 	fcomplex_ptr = (typeof(fcomplex_ptr))dcomplex_ptr;
    770  1.6  rillig 	/* expect+1: warning: pointer cast from 'long double _Complex' to unrelated 'float _Complex' [247] */
    771  1.1  rillig 	fcomplex_ptr = (typeof(fcomplex_ptr))lcomplex_ptr;
    772  1.1  rillig 	fcomplex_ptr = (typeof(fcomplex_ptr))void_ptr;
    773  1.6  rillig 	/* expect+1: warning: pointer cast from 'struct typedef char_struct' to unrelated 'float _Complex' [247] */
    774  1.1  rillig 	fcomplex_ptr = (typeof(fcomplex_ptr))char_struct_ptr;
    775  1.6  rillig 	/* expect+1: warning: pointer cast from 'struct typedef double_struct' to unrelated 'float _Complex' [247] */
    776  1.1  rillig 	fcomplex_ptr = (typeof(fcomplex_ptr))double_struct_ptr;
    777  1.6  rillig 	/* expect+1: warning: pointer cast from 'union typedef char_union' to unrelated 'float _Complex' [247] */
    778  1.1  rillig 	fcomplex_ptr = (typeof(fcomplex_ptr))char_union_ptr;
    779  1.6  rillig 	/* expect+1: warning: pointer cast from 'union typedef double_union' to unrelated 'float _Complex' [247] */
    780  1.1  rillig 	fcomplex_ptr = (typeof(fcomplex_ptr))double_union_ptr;
    781  1.6  rillig 	/* expect+1: warning: pointer cast from 'enum typedef int_enum' to unrelated 'float _Complex' [247] */
    782  1.1  rillig 	fcomplex_ptr = (typeof(fcomplex_ptr))enum_ptr;
    783  1.6  rillig 	/* expect+1: warning: pointer cast from 'array[5] of double' to unrelated 'float _Complex' [247] */
    784  1.1  rillig 	fcomplex_ptr = (typeof(fcomplex_ptr))double_array_ptr;
    785  1.1  rillig 	/* expect+1: warning: converting 'pointer to function(void) returning void' to 'pointer to float _Complex' is questionable [229] */
    786  1.1  rillig 	fcomplex_ptr = (typeof(fcomplex_ptr))func_ptr;
    787  1.1  rillig 
    788  1.6  rillig 	/* expect+1: warning: pointer cast from '_Bool' to unrelated 'double _Complex' [247] */
    789  1.1  rillig 	dcomplex_ptr = (typeof(dcomplex_ptr))bool_ptr;
    790  1.1  rillig 	dcomplex_ptr = (typeof(dcomplex_ptr))char_ptr;
    791  1.6  rillig 	/* expect+1: warning: pointer cast from 'signed char' to unrelated 'double _Complex' [247] */
    792  1.1  rillig 	dcomplex_ptr = (typeof(dcomplex_ptr))schar_ptr;
    793  1.1  rillig 	dcomplex_ptr = (typeof(dcomplex_ptr))uchar_ptr;
    794  1.6  rillig 	/* expect+1: warning: pointer cast from 'short' to unrelated 'double _Complex' [247] */
    795  1.1  rillig 	dcomplex_ptr = (typeof(dcomplex_ptr))short_ptr;
    796  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned short' to unrelated 'double _Complex' [247] */
    797  1.1  rillig 	dcomplex_ptr = (typeof(dcomplex_ptr))ushort_ptr;
    798  1.6  rillig 	/* expect+1: warning: pointer cast from 'int' to unrelated 'double _Complex' [247] */
    799  1.1  rillig 	dcomplex_ptr = (typeof(dcomplex_ptr))int_ptr;
    800  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned int' to unrelated 'double _Complex' [247] */
    801  1.1  rillig 	dcomplex_ptr = (typeof(dcomplex_ptr))uint_ptr;
    802  1.6  rillig 	/* expect+1: warning: pointer cast from 'long' to unrelated 'double _Complex' [247] */
    803  1.1  rillig 	dcomplex_ptr = (typeof(dcomplex_ptr))long_ptr;
    804  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned long' to unrelated 'double _Complex' [247] */
    805  1.1  rillig 	dcomplex_ptr = (typeof(dcomplex_ptr))ulong_ptr;
    806  1.6  rillig 	/* expect+1: warning: pointer cast from 'long long' to unrelated 'double _Complex' [247] */
    807  1.1  rillig 	dcomplex_ptr = (typeof(dcomplex_ptr))llong_ptr;
    808  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned long long' to unrelated 'double _Complex' [247] */
    809  1.1  rillig 	dcomplex_ptr = (typeof(dcomplex_ptr))ullong_ptr;
    810  1.6  rillig 	/* expect+1: warning: pointer cast from 'float' to unrelated 'double _Complex' [247] */
    811  1.1  rillig 	dcomplex_ptr = (typeof(dcomplex_ptr))float_ptr;
    812  1.6  rillig 	/* expect+1: warning: pointer cast from 'double' to unrelated 'double _Complex' [247] */
    813  1.1  rillig 	dcomplex_ptr = (typeof(dcomplex_ptr))double_ptr;
    814  1.6  rillig 	/* expect+1: warning: pointer cast from 'long double' to unrelated 'double _Complex' [247] */
    815  1.1  rillig 	dcomplex_ptr = (typeof(dcomplex_ptr))ldouble_ptr;
    816  1.6  rillig 	/* expect+1: warning: pointer cast from 'float _Complex' to unrelated 'double _Complex' [247] */
    817  1.1  rillig 	dcomplex_ptr = (typeof(dcomplex_ptr))fcomplex_ptr;
    818  1.1  rillig 	dcomplex_ptr = (typeof(dcomplex_ptr))dcomplex_ptr;
    819  1.6  rillig 	/* expect+1: warning: pointer cast from 'long double _Complex' to unrelated 'double _Complex' [247] */
    820  1.1  rillig 	dcomplex_ptr = (typeof(dcomplex_ptr))lcomplex_ptr;
    821  1.1  rillig 	dcomplex_ptr = (typeof(dcomplex_ptr))void_ptr;
    822  1.6  rillig 	/* expect+1: warning: pointer cast from 'struct typedef char_struct' to unrelated 'double _Complex' [247] */
    823  1.1  rillig 	dcomplex_ptr = (typeof(dcomplex_ptr))char_struct_ptr;
    824  1.6  rillig 	/* expect+1: warning: pointer cast from 'struct typedef double_struct' to unrelated 'double _Complex' [247] */
    825  1.1  rillig 	dcomplex_ptr = (typeof(dcomplex_ptr))double_struct_ptr;
    826  1.6  rillig 	/* expect+1: warning: pointer cast from 'union typedef char_union' to unrelated 'double _Complex' [247] */
    827  1.1  rillig 	dcomplex_ptr = (typeof(dcomplex_ptr))char_union_ptr;
    828  1.6  rillig 	/* expect+1: warning: pointer cast from 'union typedef double_union' to unrelated 'double _Complex' [247] */
    829  1.1  rillig 	dcomplex_ptr = (typeof(dcomplex_ptr))double_union_ptr;
    830  1.6  rillig 	/* expect+1: warning: pointer cast from 'enum typedef int_enum' to unrelated 'double _Complex' [247] */
    831  1.1  rillig 	dcomplex_ptr = (typeof(dcomplex_ptr))enum_ptr;
    832  1.6  rillig 	/* expect+1: warning: pointer cast from 'array[5] of double' to unrelated 'double _Complex' [247] */
    833  1.1  rillig 	dcomplex_ptr = (typeof(dcomplex_ptr))double_array_ptr;
    834  1.1  rillig 	/* expect+1: warning: converting 'pointer to function(void) returning void' to 'pointer to double _Complex' is questionable [229] */
    835  1.1  rillig 	dcomplex_ptr = (typeof(dcomplex_ptr))func_ptr;
    836  1.1  rillig 
    837  1.6  rillig 	/* expect+1: warning: pointer cast from '_Bool' to unrelated 'long double _Complex' [247] */
    838  1.1  rillig 	lcomplex_ptr = (typeof(lcomplex_ptr))bool_ptr;
    839  1.1  rillig 	lcomplex_ptr = (typeof(lcomplex_ptr))char_ptr;
    840  1.6  rillig 	/* expect+1: warning: pointer cast from 'signed char' to unrelated 'long double _Complex' [247] */
    841  1.1  rillig 	lcomplex_ptr = (typeof(lcomplex_ptr))schar_ptr;
    842  1.1  rillig 	lcomplex_ptr = (typeof(lcomplex_ptr))uchar_ptr;
    843  1.6  rillig 	/* expect+1: warning: pointer cast from 'short' to unrelated 'long double _Complex' [247] */
    844  1.1  rillig 	lcomplex_ptr = (typeof(lcomplex_ptr))short_ptr;
    845  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned short' to unrelated 'long double _Complex' [247] */
    846  1.1  rillig 	lcomplex_ptr = (typeof(lcomplex_ptr))ushort_ptr;
    847  1.6  rillig 	/* expect+1: warning: pointer cast from 'int' to unrelated 'long double _Complex' [247] */
    848  1.1  rillig 	lcomplex_ptr = (typeof(lcomplex_ptr))int_ptr;
    849  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned int' to unrelated 'long double _Complex' [247] */
    850  1.1  rillig 	lcomplex_ptr = (typeof(lcomplex_ptr))uint_ptr;
    851  1.6  rillig 	/* expect+1: warning: pointer cast from 'long' to unrelated 'long double _Complex' [247] */
    852  1.1  rillig 	lcomplex_ptr = (typeof(lcomplex_ptr))long_ptr;
    853  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned long' to unrelated 'long double _Complex' [247] */
    854  1.1  rillig 	lcomplex_ptr = (typeof(lcomplex_ptr))ulong_ptr;
    855  1.6  rillig 	/* expect+1: warning: pointer cast from 'long long' to unrelated 'long double _Complex' [247] */
    856  1.1  rillig 	lcomplex_ptr = (typeof(lcomplex_ptr))llong_ptr;
    857  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned long long' to unrelated 'long double _Complex' [247] */
    858  1.1  rillig 	lcomplex_ptr = (typeof(lcomplex_ptr))ullong_ptr;
    859  1.6  rillig 	/* expect+1: warning: pointer cast from 'float' to unrelated 'long double _Complex' [247] */
    860  1.1  rillig 	lcomplex_ptr = (typeof(lcomplex_ptr))float_ptr;
    861  1.6  rillig 	/* expect+1: warning: pointer cast from 'double' to unrelated 'long double _Complex' [247] */
    862  1.1  rillig 	lcomplex_ptr = (typeof(lcomplex_ptr))double_ptr;
    863  1.6  rillig 	/* expect+1: warning: pointer cast from 'long double' to unrelated 'long double _Complex' [247] */
    864  1.1  rillig 	lcomplex_ptr = (typeof(lcomplex_ptr))ldouble_ptr;
    865  1.6  rillig 	/* expect+1: warning: pointer cast from 'float _Complex' to unrelated 'long double _Complex' [247] */
    866  1.1  rillig 	lcomplex_ptr = (typeof(lcomplex_ptr))fcomplex_ptr;
    867  1.6  rillig 	/* expect+1: warning: pointer cast from 'double _Complex' to unrelated 'long double _Complex' [247] */
    868  1.1  rillig 	lcomplex_ptr = (typeof(lcomplex_ptr))dcomplex_ptr;
    869  1.1  rillig 	lcomplex_ptr = (typeof(lcomplex_ptr))lcomplex_ptr;
    870  1.1  rillig 	lcomplex_ptr = (typeof(lcomplex_ptr))void_ptr;
    871  1.6  rillig 	/* expect+1: warning: pointer cast from 'struct typedef char_struct' to unrelated 'long double _Complex' [247] */
    872  1.1  rillig 	lcomplex_ptr = (typeof(lcomplex_ptr))char_struct_ptr;
    873  1.6  rillig 	/* expect+1: warning: pointer cast from 'struct typedef double_struct' to unrelated 'long double _Complex' [247] */
    874  1.1  rillig 	lcomplex_ptr = (typeof(lcomplex_ptr))double_struct_ptr;
    875  1.6  rillig 	/* expect+1: warning: pointer cast from 'union typedef char_union' to unrelated 'long double _Complex' [247] */
    876  1.1  rillig 	lcomplex_ptr = (typeof(lcomplex_ptr))char_union_ptr;
    877  1.6  rillig 	/* expect+1: warning: pointer cast from 'union typedef double_union' to unrelated 'long double _Complex' [247] */
    878  1.1  rillig 	lcomplex_ptr = (typeof(lcomplex_ptr))double_union_ptr;
    879  1.6  rillig 	/* expect+1: warning: pointer cast from 'enum typedef int_enum' to unrelated 'long double _Complex' [247] */
    880  1.1  rillig 	lcomplex_ptr = (typeof(lcomplex_ptr))enum_ptr;
    881  1.6  rillig 	/* expect+1: warning: pointer cast from 'array[5] of double' to unrelated 'long double _Complex' [247] */
    882  1.1  rillig 	lcomplex_ptr = (typeof(lcomplex_ptr))double_array_ptr;
    883  1.1  rillig 	/* expect+1: warning: converting 'pointer to function(void) returning void' to 'pointer to long double _Complex' is questionable [229] */
    884  1.1  rillig 	lcomplex_ptr = (typeof(lcomplex_ptr))func_ptr;
    885  1.1  rillig 
    886  1.1  rillig 	void_ptr = (typeof(void_ptr))bool_ptr;
    887  1.1  rillig 	void_ptr = (typeof(void_ptr))char_ptr;
    888  1.1  rillig 	void_ptr = (typeof(void_ptr))schar_ptr;
    889  1.1  rillig 	void_ptr = (typeof(void_ptr))uchar_ptr;
    890  1.1  rillig 	void_ptr = (typeof(void_ptr))short_ptr;
    891  1.1  rillig 	void_ptr = (typeof(void_ptr))ushort_ptr;
    892  1.1  rillig 	void_ptr = (typeof(void_ptr))int_ptr;
    893  1.1  rillig 	void_ptr = (typeof(void_ptr))uint_ptr;
    894  1.1  rillig 	void_ptr = (typeof(void_ptr))long_ptr;
    895  1.1  rillig 	void_ptr = (typeof(void_ptr))ulong_ptr;
    896  1.1  rillig 	void_ptr = (typeof(void_ptr))llong_ptr;
    897  1.1  rillig 	void_ptr = (typeof(void_ptr))ullong_ptr;
    898  1.1  rillig 	void_ptr = (typeof(void_ptr))float_ptr;
    899  1.1  rillig 	void_ptr = (typeof(void_ptr))double_ptr;
    900  1.1  rillig 	void_ptr = (typeof(void_ptr))ldouble_ptr;
    901  1.1  rillig 	void_ptr = (typeof(void_ptr))fcomplex_ptr;
    902  1.1  rillig 	void_ptr = (typeof(void_ptr))dcomplex_ptr;
    903  1.1  rillig 	void_ptr = (typeof(void_ptr))lcomplex_ptr;
    904  1.1  rillig 	void_ptr = (typeof(void_ptr))void_ptr;
    905  1.1  rillig 	void_ptr = (typeof(void_ptr))char_struct_ptr;
    906  1.1  rillig 	void_ptr = (typeof(void_ptr))double_struct_ptr;
    907  1.1  rillig 	void_ptr = (typeof(void_ptr))char_union_ptr;
    908  1.1  rillig 	void_ptr = (typeof(void_ptr))double_union_ptr;
    909  1.1  rillig 	void_ptr = (typeof(void_ptr))enum_ptr;
    910  1.1  rillig 	void_ptr = (typeof(void_ptr))double_array_ptr;
    911  1.1  rillig 	void_ptr = (typeof(void_ptr))func_ptr;
    912  1.1  rillig 
    913  1.6  rillig 	/* expect+1: warning: pointer cast from '_Bool' to unrelated 'struct typedef char_struct' [247] */
    914  1.1  rillig 	char_struct_ptr = (typeof(char_struct_ptr))bool_ptr;
    915  1.1  rillig 	char_struct_ptr = (typeof(char_struct_ptr))char_ptr;
    916  1.6  rillig 	/* expect+1: warning: pointer cast from 'signed char' to unrelated 'struct typedef char_struct' [247] */
    917  1.1  rillig 	char_struct_ptr = (typeof(char_struct_ptr))schar_ptr;
    918  1.1  rillig 	char_struct_ptr = (typeof(char_struct_ptr))uchar_ptr;
    919  1.6  rillig 	/* expect+1: warning: pointer cast from 'short' to unrelated 'struct typedef char_struct' [247] */
    920  1.1  rillig 	char_struct_ptr = (typeof(char_struct_ptr))short_ptr;
    921  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned short' to unrelated 'struct typedef char_struct' [247] */
    922  1.1  rillig 	char_struct_ptr = (typeof(char_struct_ptr))ushort_ptr;
    923  1.6  rillig 	/* expect+1: warning: pointer cast from 'int' to unrelated 'struct typedef char_struct' [247] */
    924  1.1  rillig 	char_struct_ptr = (typeof(char_struct_ptr))int_ptr;
    925  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned int' to unrelated 'struct typedef char_struct' [247] */
    926  1.1  rillig 	char_struct_ptr = (typeof(char_struct_ptr))uint_ptr;
    927  1.6  rillig 	/* expect+1: warning: pointer cast from 'long' to unrelated 'struct typedef char_struct' [247] */
    928  1.1  rillig 	char_struct_ptr = (typeof(char_struct_ptr))long_ptr;
    929  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned long' to unrelated 'struct typedef char_struct' [247] */
    930  1.1  rillig 	char_struct_ptr = (typeof(char_struct_ptr))ulong_ptr;
    931  1.6  rillig 	/* expect+1: warning: pointer cast from 'long long' to unrelated 'struct typedef char_struct' [247] */
    932  1.1  rillig 	char_struct_ptr = (typeof(char_struct_ptr))llong_ptr;
    933  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned long long' to unrelated 'struct typedef char_struct' [247] */
    934  1.1  rillig 	char_struct_ptr = (typeof(char_struct_ptr))ullong_ptr;
    935  1.6  rillig 	/* expect+1: warning: pointer cast from 'float' to unrelated 'struct typedef char_struct' [247] */
    936  1.1  rillig 	char_struct_ptr = (typeof(char_struct_ptr))float_ptr;
    937  1.6  rillig 	/* expect+1: warning: pointer cast from 'double' to unrelated 'struct typedef char_struct' [247] */
    938  1.1  rillig 	char_struct_ptr = (typeof(char_struct_ptr))double_ptr;
    939  1.6  rillig 	/* expect+1: warning: pointer cast from 'long double' to unrelated 'struct typedef char_struct' [247] */
    940  1.1  rillig 	char_struct_ptr = (typeof(char_struct_ptr))ldouble_ptr;
    941  1.6  rillig 	/* expect+1: warning: pointer cast from 'float _Complex' to unrelated 'struct typedef char_struct' [247] */
    942  1.1  rillig 	char_struct_ptr = (typeof(char_struct_ptr))fcomplex_ptr;
    943  1.6  rillig 	/* expect+1: warning: pointer cast from 'double _Complex' to unrelated 'struct typedef char_struct' [247] */
    944  1.1  rillig 	char_struct_ptr = (typeof(char_struct_ptr))dcomplex_ptr;
    945  1.6  rillig 	/* expect+1: warning: pointer cast from 'long double _Complex' to unrelated 'struct typedef char_struct' [247] */
    946  1.1  rillig 	char_struct_ptr = (typeof(char_struct_ptr))lcomplex_ptr;
    947  1.1  rillig 	char_struct_ptr = (typeof(char_struct_ptr))void_ptr;
    948  1.1  rillig 	char_struct_ptr = (typeof(char_struct_ptr))char_struct_ptr;
    949  1.6  rillig 	/* expect+1: warning: pointer cast from 'struct typedef double_struct' to unrelated 'struct typedef char_struct' [247] */
    950  1.1  rillig 	char_struct_ptr = (typeof(char_struct_ptr))double_struct_ptr;
    951  1.6  rillig 	/* expect+1: warning: pointer cast from 'union typedef char_union' to unrelated 'struct typedef char_struct' [247] */
    952  1.1  rillig 	char_struct_ptr = (typeof(char_struct_ptr))char_union_ptr;
    953  1.6  rillig 	/* expect+1: warning: pointer cast from 'union typedef double_union' to unrelated 'struct typedef char_struct' [247] */
    954  1.1  rillig 	char_struct_ptr = (typeof(char_struct_ptr))double_union_ptr;
    955  1.6  rillig 	/* expect+1: warning: pointer cast from 'enum typedef int_enum' to unrelated 'struct typedef char_struct' [247] */
    956  1.1  rillig 	char_struct_ptr = (typeof(char_struct_ptr))enum_ptr;
    957  1.6  rillig 	/* expect+1: warning: pointer cast from 'array[5] of double' to unrelated 'struct typedef char_struct' [247] */
    958  1.1  rillig 	char_struct_ptr = (typeof(char_struct_ptr))double_array_ptr;
    959  1.1  rillig 	/* expect+1: warning: converting 'pointer to function(void) returning void' to 'pointer to struct typedef char_struct' is questionable [229] */
    960  1.1  rillig 	char_struct_ptr = (typeof(char_struct_ptr))func_ptr;
    961  1.1  rillig 
    962  1.6  rillig 	/* expect+1: warning: pointer cast from '_Bool' to unrelated 'struct typedef double_struct' [247] */
    963  1.1  rillig 	double_struct_ptr = (typeof(double_struct_ptr))bool_ptr;
    964  1.1  rillig 	double_struct_ptr = (typeof(double_struct_ptr))char_ptr;
    965  1.6  rillig 	/* expect+1: warning: pointer cast from 'signed char' to unrelated 'struct typedef double_struct' [247] */
    966  1.1  rillig 	double_struct_ptr = (typeof(double_struct_ptr))schar_ptr;
    967  1.1  rillig 	double_struct_ptr = (typeof(double_struct_ptr))uchar_ptr;
    968  1.6  rillig 	/* expect+1: warning: pointer cast from 'short' to unrelated 'struct typedef double_struct' [247] */
    969  1.1  rillig 	double_struct_ptr = (typeof(double_struct_ptr))short_ptr;
    970  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned short' to unrelated 'struct typedef double_struct' [247] */
    971  1.1  rillig 	double_struct_ptr = (typeof(double_struct_ptr))ushort_ptr;
    972  1.6  rillig 	/* expect+1: warning: pointer cast from 'int' to unrelated 'struct typedef double_struct' [247] */
    973  1.1  rillig 	double_struct_ptr = (typeof(double_struct_ptr))int_ptr;
    974  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned int' to unrelated 'struct typedef double_struct' [247] */
    975  1.1  rillig 	double_struct_ptr = (typeof(double_struct_ptr))uint_ptr;
    976  1.6  rillig 	/* expect+1: warning: pointer cast from 'long' to unrelated 'struct typedef double_struct' [247] */
    977  1.1  rillig 	double_struct_ptr = (typeof(double_struct_ptr))long_ptr;
    978  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned long' to unrelated 'struct typedef double_struct' [247] */
    979  1.1  rillig 	double_struct_ptr = (typeof(double_struct_ptr))ulong_ptr;
    980  1.6  rillig 	/* expect+1: warning: pointer cast from 'long long' to unrelated 'struct typedef double_struct' [247] */
    981  1.1  rillig 	double_struct_ptr = (typeof(double_struct_ptr))llong_ptr;
    982  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned long long' to unrelated 'struct typedef double_struct' [247] */
    983  1.1  rillig 	double_struct_ptr = (typeof(double_struct_ptr))ullong_ptr;
    984  1.6  rillig 	/* expect+1: warning: pointer cast from 'float' to unrelated 'struct typedef double_struct' [247] */
    985  1.1  rillig 	double_struct_ptr = (typeof(double_struct_ptr))float_ptr;
    986  1.6  rillig 	/* expect+1: warning: pointer cast from 'double' to unrelated 'struct typedef double_struct' [247] */
    987  1.1  rillig 	double_struct_ptr = (typeof(double_struct_ptr))double_ptr;
    988  1.6  rillig 	/* expect+1: warning: pointer cast from 'long double' to unrelated 'struct typedef double_struct' [247] */
    989  1.1  rillig 	double_struct_ptr = (typeof(double_struct_ptr))ldouble_ptr;
    990  1.6  rillig 	/* expect+1: warning: pointer cast from 'float _Complex' to unrelated 'struct typedef double_struct' [247] */
    991  1.1  rillig 	double_struct_ptr = (typeof(double_struct_ptr))fcomplex_ptr;
    992  1.6  rillig 	/* expect+1: warning: pointer cast from 'double _Complex' to unrelated 'struct typedef double_struct' [247] */
    993  1.1  rillig 	double_struct_ptr = (typeof(double_struct_ptr))dcomplex_ptr;
    994  1.6  rillig 	/* expect+1: warning: pointer cast from 'long double _Complex' to unrelated 'struct typedef double_struct' [247] */
    995  1.1  rillig 	double_struct_ptr = (typeof(double_struct_ptr))lcomplex_ptr;
    996  1.1  rillig 	double_struct_ptr = (typeof(double_struct_ptr))void_ptr;
    997  1.6  rillig 	/* expect+1: warning: pointer cast from 'struct typedef char_struct' to unrelated 'struct typedef double_struct' [247] */
    998  1.1  rillig 	double_struct_ptr = (typeof(double_struct_ptr))char_struct_ptr;
    999  1.1  rillig 	double_struct_ptr = (typeof(double_struct_ptr))double_struct_ptr;
   1000  1.6  rillig 	/* expect+1: warning: pointer cast from 'union typedef char_union' to unrelated 'struct typedef double_struct' [247] */
   1001  1.1  rillig 	double_struct_ptr = (typeof(double_struct_ptr))char_union_ptr;
   1002  1.6  rillig 	/* expect+1: warning: pointer cast from 'union typedef double_union' to unrelated 'struct typedef double_struct' [247] */
   1003  1.1  rillig 	double_struct_ptr = (typeof(double_struct_ptr))double_union_ptr;
   1004  1.6  rillig 	/* expect+1: warning: pointer cast from 'enum typedef int_enum' to unrelated 'struct typedef double_struct' [247] */
   1005  1.1  rillig 	double_struct_ptr = (typeof(double_struct_ptr))enum_ptr;
   1006  1.6  rillig 	/* expect+1: warning: pointer cast from 'array[5] of double' to unrelated 'struct typedef double_struct' [247] */
   1007  1.1  rillig 	double_struct_ptr = (typeof(double_struct_ptr))double_array_ptr;
   1008  1.1  rillig 	/* expect+1: warning: converting 'pointer to function(void) returning void' to 'pointer to struct typedef double_struct' is questionable [229] */
   1009  1.1  rillig 	double_struct_ptr = (typeof(double_struct_ptr))func_ptr;
   1010  1.1  rillig 
   1011  1.6  rillig 	/* expect+1: warning: pointer cast from '_Bool' to unrelated 'union typedef char_union' [247] */
   1012  1.1  rillig 	char_union_ptr = (typeof(char_union_ptr))bool_ptr;
   1013  1.1  rillig 	char_union_ptr = (typeof(char_union_ptr))char_ptr;
   1014  1.6  rillig 	/* expect+1: warning: pointer cast from 'signed char' to unrelated 'union typedef char_union' [247] */
   1015  1.1  rillig 	char_union_ptr = (typeof(char_union_ptr))schar_ptr;
   1016  1.1  rillig 	char_union_ptr = (typeof(char_union_ptr))uchar_ptr;
   1017  1.6  rillig 	/* expect+1: warning: pointer cast from 'short' to unrelated 'union typedef char_union' [247] */
   1018  1.1  rillig 	char_union_ptr = (typeof(char_union_ptr))short_ptr;
   1019  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned short' to unrelated 'union typedef char_union' [247] */
   1020  1.1  rillig 	char_union_ptr = (typeof(char_union_ptr))ushort_ptr;
   1021  1.6  rillig 	/* expect+1: warning: pointer cast from 'int' to unrelated 'union typedef char_union' [247] */
   1022  1.1  rillig 	char_union_ptr = (typeof(char_union_ptr))int_ptr;
   1023  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned int' to unrelated 'union typedef char_union' [247] */
   1024  1.1  rillig 	char_union_ptr = (typeof(char_union_ptr))uint_ptr;
   1025  1.6  rillig 	/* expect+1: warning: pointer cast from 'long' to unrelated 'union typedef char_union' [247] */
   1026  1.1  rillig 	char_union_ptr = (typeof(char_union_ptr))long_ptr;
   1027  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned long' to unrelated 'union typedef char_union' [247] */
   1028  1.1  rillig 	char_union_ptr = (typeof(char_union_ptr))ulong_ptr;
   1029  1.6  rillig 	/* expect+1: warning: pointer cast from 'long long' to unrelated 'union typedef char_union' [247] */
   1030  1.1  rillig 	char_union_ptr = (typeof(char_union_ptr))llong_ptr;
   1031  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned long long' to unrelated 'union typedef char_union' [247] */
   1032  1.1  rillig 	char_union_ptr = (typeof(char_union_ptr))ullong_ptr;
   1033  1.6  rillig 	/* expect+1: warning: pointer cast from 'float' to unrelated 'union typedef char_union' [247] */
   1034  1.1  rillig 	char_union_ptr = (typeof(char_union_ptr))float_ptr;
   1035  1.6  rillig 	/* expect+1: warning: pointer cast from 'double' to unrelated 'union typedef char_union' [247] */
   1036  1.1  rillig 	char_union_ptr = (typeof(char_union_ptr))double_ptr;
   1037  1.6  rillig 	/* expect+1: warning: pointer cast from 'long double' to unrelated 'union typedef char_union' [247] */
   1038  1.1  rillig 	char_union_ptr = (typeof(char_union_ptr))ldouble_ptr;
   1039  1.6  rillig 	/* expect+1: warning: pointer cast from 'float _Complex' to unrelated 'union typedef char_union' [247] */
   1040  1.1  rillig 	char_union_ptr = (typeof(char_union_ptr))fcomplex_ptr;
   1041  1.6  rillig 	/* expect+1: warning: pointer cast from 'double _Complex' to unrelated 'union typedef char_union' [247] */
   1042  1.1  rillig 	char_union_ptr = (typeof(char_union_ptr))dcomplex_ptr;
   1043  1.6  rillig 	/* expect+1: warning: pointer cast from 'long double _Complex' to unrelated 'union typedef char_union' [247] */
   1044  1.1  rillig 	char_union_ptr = (typeof(char_union_ptr))lcomplex_ptr;
   1045  1.1  rillig 	char_union_ptr = (typeof(char_union_ptr))void_ptr;
   1046  1.6  rillig 	/* expect+1: warning: pointer cast from 'struct typedef char_struct' to unrelated 'union typedef char_union' [247] */
   1047  1.1  rillig 	char_union_ptr = (typeof(char_union_ptr))char_struct_ptr;
   1048  1.6  rillig 	/* expect+1: warning: pointer cast from 'struct typedef double_struct' to unrelated 'union typedef char_union' [247] */
   1049  1.1  rillig 	char_union_ptr = (typeof(char_union_ptr))double_struct_ptr;
   1050  1.1  rillig 	char_union_ptr = (typeof(char_union_ptr))char_union_ptr;
   1051  1.6  rillig 	/* expect+1: warning: pointer cast from 'union typedef double_union' to unrelated 'union typedef char_union' [247] */
   1052  1.1  rillig 	char_union_ptr = (typeof(char_union_ptr))double_union_ptr;
   1053  1.6  rillig 	/* expect+1: warning: pointer cast from 'enum typedef int_enum' to unrelated 'union typedef char_union' [247] */
   1054  1.1  rillig 	char_union_ptr = (typeof(char_union_ptr))enum_ptr;
   1055  1.6  rillig 	/* expect+1: warning: pointer cast from 'array[5] of double' to unrelated 'union typedef char_union' [247] */
   1056  1.1  rillig 	char_union_ptr = (typeof(char_union_ptr))double_array_ptr;
   1057  1.1  rillig 	/* expect+1: warning: converting 'pointer to function(void) returning void' to 'pointer to union typedef char_union' is questionable [229] */
   1058  1.1  rillig 	char_union_ptr = (typeof(char_union_ptr))func_ptr;
   1059  1.1  rillig 
   1060  1.6  rillig 	/* expect+1: warning: pointer cast from '_Bool' to unrelated 'union typedef double_union' [247] */
   1061  1.1  rillig 	double_union_ptr = (typeof(double_union_ptr))bool_ptr;
   1062  1.1  rillig 	double_union_ptr = (typeof(double_union_ptr))char_ptr;
   1063  1.6  rillig 	/* expect+1: warning: pointer cast from 'signed char' to unrelated 'union typedef double_union' [247] */
   1064  1.1  rillig 	double_union_ptr = (typeof(double_union_ptr))schar_ptr;
   1065  1.1  rillig 	double_union_ptr = (typeof(double_union_ptr))uchar_ptr;
   1066  1.6  rillig 	/* expect+1: warning: pointer cast from 'short' to unrelated 'union typedef double_union' [247] */
   1067  1.1  rillig 	double_union_ptr = (typeof(double_union_ptr))short_ptr;
   1068  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned short' to unrelated 'union typedef double_union' [247] */
   1069  1.1  rillig 	double_union_ptr = (typeof(double_union_ptr))ushort_ptr;
   1070  1.6  rillig 	/* expect+1: warning: pointer cast from 'int' to unrelated 'union typedef double_union' [247] */
   1071  1.1  rillig 	double_union_ptr = (typeof(double_union_ptr))int_ptr;
   1072  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned int' to unrelated 'union typedef double_union' [247] */
   1073  1.1  rillig 	double_union_ptr = (typeof(double_union_ptr))uint_ptr;
   1074  1.6  rillig 	/* expect+1: warning: pointer cast from 'long' to unrelated 'union typedef double_union' [247] */
   1075  1.1  rillig 	double_union_ptr = (typeof(double_union_ptr))long_ptr;
   1076  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned long' to unrelated 'union typedef double_union' [247] */
   1077  1.1  rillig 	double_union_ptr = (typeof(double_union_ptr))ulong_ptr;
   1078  1.6  rillig 	/* expect+1: warning: pointer cast from 'long long' to unrelated 'union typedef double_union' [247] */
   1079  1.1  rillig 	double_union_ptr = (typeof(double_union_ptr))llong_ptr;
   1080  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned long long' to unrelated 'union typedef double_union' [247] */
   1081  1.1  rillig 	double_union_ptr = (typeof(double_union_ptr))ullong_ptr;
   1082  1.6  rillig 	/* expect+1: warning: pointer cast from 'float' to unrelated 'union typedef double_union' [247] */
   1083  1.1  rillig 	double_union_ptr = (typeof(double_union_ptr))float_ptr;
   1084  1.1  rillig 	double_union_ptr = (typeof(double_union_ptr))double_ptr;
   1085  1.6  rillig 	/* expect+1: warning: pointer cast from 'long double' to unrelated 'union typedef double_union' [247] */
   1086  1.1  rillig 	double_union_ptr = (typeof(double_union_ptr))ldouble_ptr;
   1087  1.6  rillig 	/* expect+1: warning: pointer cast from 'float _Complex' to unrelated 'union typedef double_union' [247] */
   1088  1.1  rillig 	double_union_ptr = (typeof(double_union_ptr))fcomplex_ptr;
   1089  1.6  rillig 	/* expect+1: warning: pointer cast from 'double _Complex' to unrelated 'union typedef double_union' [247] */
   1090  1.1  rillig 	double_union_ptr = (typeof(double_union_ptr))dcomplex_ptr;
   1091  1.6  rillig 	/* expect+1: warning: pointer cast from 'long double _Complex' to unrelated 'union typedef double_union' [247] */
   1092  1.1  rillig 	double_union_ptr = (typeof(double_union_ptr))lcomplex_ptr;
   1093  1.1  rillig 	double_union_ptr = (typeof(double_union_ptr))void_ptr;
   1094  1.6  rillig 	/* expect+1: warning: pointer cast from 'struct typedef char_struct' to unrelated 'union typedef double_union' [247] */
   1095  1.1  rillig 	double_union_ptr = (typeof(double_union_ptr))char_struct_ptr;
   1096  1.6  rillig 	/* expect+1: warning: pointer cast from 'struct typedef double_struct' to unrelated 'union typedef double_union' [247] */
   1097  1.1  rillig 	double_union_ptr = (typeof(double_union_ptr))double_struct_ptr;
   1098  1.6  rillig 	/* expect+1: warning: pointer cast from 'union typedef char_union' to unrelated 'union typedef double_union' [247] */
   1099  1.1  rillig 	double_union_ptr = (typeof(double_union_ptr))char_union_ptr;
   1100  1.1  rillig 	double_union_ptr = (typeof(double_union_ptr))double_union_ptr;
   1101  1.6  rillig 	/* expect+1: warning: pointer cast from 'enum typedef int_enum' to unrelated 'union typedef double_union' [247] */
   1102  1.1  rillig 	double_union_ptr = (typeof(double_union_ptr))enum_ptr;
   1103  1.1  rillig 	double_union_ptr = (typeof(double_union_ptr))double_array_ptr;
   1104  1.1  rillig 	/* expect+1: warning: converting 'pointer to function(void) returning void' to 'pointer to union typedef double_union' is questionable [229] */
   1105  1.1  rillig 	double_union_ptr = (typeof(double_union_ptr))func_ptr;
   1106  1.1  rillig 
   1107  1.6  rillig 	/* expect+1: warning: pointer cast from '_Bool' to unrelated 'enum typedef int_enum' [247] */
   1108  1.1  rillig 	enum_ptr = (typeof(enum_ptr))bool_ptr;
   1109  1.1  rillig 	enum_ptr = (typeof(enum_ptr))char_ptr;
   1110  1.6  rillig 	/* expect+1: warning: pointer cast from 'signed char' to unrelated 'enum typedef int_enum' [247] */
   1111  1.1  rillig 	enum_ptr = (typeof(enum_ptr))schar_ptr;
   1112  1.1  rillig 	enum_ptr = (typeof(enum_ptr))uchar_ptr;
   1113  1.6  rillig 	/* expect+1: warning: pointer cast from 'short' to unrelated 'enum typedef int_enum' [247] */
   1114  1.1  rillig 	enum_ptr = (typeof(enum_ptr))short_ptr;
   1115  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned short' to unrelated 'enum typedef int_enum' [247] */
   1116  1.1  rillig 	enum_ptr = (typeof(enum_ptr))ushort_ptr;
   1117  1.1  rillig 	enum_ptr = (typeof(enum_ptr))int_ptr;
   1118  1.1  rillig 	enum_ptr = (typeof(enum_ptr))uint_ptr;
   1119  1.6  rillig 	/* expect+1: warning: pointer cast from 'long' to unrelated 'enum typedef int_enum' [247] */
   1120  1.1  rillig 	enum_ptr = (typeof(enum_ptr))long_ptr;
   1121  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned long' to unrelated 'enum typedef int_enum' [247] */
   1122  1.1  rillig 	enum_ptr = (typeof(enum_ptr))ulong_ptr;
   1123  1.6  rillig 	/* expect+1: warning: pointer cast from 'long long' to unrelated 'enum typedef int_enum' [247] */
   1124  1.1  rillig 	enum_ptr = (typeof(enum_ptr))llong_ptr;
   1125  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned long long' to unrelated 'enum typedef int_enum' [247] */
   1126  1.1  rillig 	enum_ptr = (typeof(enum_ptr))ullong_ptr;
   1127  1.6  rillig 	/* expect+1: warning: pointer cast from 'float' to unrelated 'enum typedef int_enum' [247] */
   1128  1.1  rillig 	enum_ptr = (typeof(enum_ptr))float_ptr;
   1129  1.6  rillig 	/* expect+1: warning: pointer cast from 'double' to unrelated 'enum typedef int_enum' [247] */
   1130  1.1  rillig 	enum_ptr = (typeof(enum_ptr))double_ptr;
   1131  1.6  rillig 	/* expect+1: warning: pointer cast from 'long double' to unrelated 'enum typedef int_enum' [247] */
   1132  1.1  rillig 	enum_ptr = (typeof(enum_ptr))ldouble_ptr;
   1133  1.6  rillig 	/* expect+1: warning: pointer cast from 'float _Complex' to unrelated 'enum typedef int_enum' [247] */
   1134  1.1  rillig 	enum_ptr = (typeof(enum_ptr))fcomplex_ptr;
   1135  1.6  rillig 	/* expect+1: warning: pointer cast from 'double _Complex' to unrelated 'enum typedef int_enum' [247] */
   1136  1.1  rillig 	enum_ptr = (typeof(enum_ptr))dcomplex_ptr;
   1137  1.6  rillig 	/* expect+1: warning: pointer cast from 'long double _Complex' to unrelated 'enum typedef int_enum' [247] */
   1138  1.1  rillig 	enum_ptr = (typeof(enum_ptr))lcomplex_ptr;
   1139  1.1  rillig 	enum_ptr = (typeof(enum_ptr))void_ptr;
   1140  1.6  rillig 	/* expect+1: warning: pointer cast from 'struct typedef char_struct' to unrelated 'enum typedef int_enum' [247] */
   1141  1.1  rillig 	enum_ptr = (typeof(enum_ptr))char_struct_ptr;
   1142  1.6  rillig 	/* expect+1: warning: pointer cast from 'struct typedef double_struct' to unrelated 'enum typedef int_enum' [247] */
   1143  1.1  rillig 	enum_ptr = (typeof(enum_ptr))double_struct_ptr;
   1144  1.6  rillig 	/* expect+1: warning: pointer cast from 'union typedef char_union' to unrelated 'enum typedef int_enum' [247] */
   1145  1.1  rillig 	enum_ptr = (typeof(enum_ptr))char_union_ptr;
   1146  1.6  rillig 	/* expect+1: warning: pointer cast from 'union typedef double_union' to unrelated 'enum typedef int_enum' [247] */
   1147  1.1  rillig 	enum_ptr = (typeof(enum_ptr))double_union_ptr;
   1148  1.1  rillig 	enum_ptr = (typeof(enum_ptr))enum_ptr;
   1149  1.6  rillig 	/* expect+1: warning: pointer cast from 'array[5] of double' to unrelated 'enum typedef int_enum' [247] */
   1150  1.1  rillig 	enum_ptr = (typeof(enum_ptr))double_array_ptr;
   1151  1.1  rillig 	/* expect+1: warning: converting 'pointer to function(void) returning void' to 'pointer to enum typedef int_enum' is questionable [229] */
   1152  1.1  rillig 	enum_ptr = (typeof(enum_ptr))func_ptr;
   1153  1.1  rillig 
   1154  1.6  rillig 	/* expect+1: warning: pointer cast from '_Bool' to unrelated 'array[5] of double' [247] */
   1155  1.1  rillig 	double_array_ptr = (typeof(double_array_ptr))bool_ptr;
   1156  1.1  rillig 	double_array_ptr = (typeof(double_array_ptr))char_ptr;
   1157  1.6  rillig 	/* expect+1: warning: pointer cast from 'signed char' to unrelated 'array[5] of double' [247] */
   1158  1.1  rillig 	double_array_ptr = (typeof(double_array_ptr))schar_ptr;
   1159  1.1  rillig 	double_array_ptr = (typeof(double_array_ptr))uchar_ptr;
   1160  1.6  rillig 	/* expect+1: warning: pointer cast from 'short' to unrelated 'array[5] of double' [247] */
   1161  1.1  rillig 	double_array_ptr = (typeof(double_array_ptr))short_ptr;
   1162  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned short' to unrelated 'array[5] of double' [247] */
   1163  1.1  rillig 	double_array_ptr = (typeof(double_array_ptr))ushort_ptr;
   1164  1.6  rillig 	/* expect+1: warning: pointer cast from 'int' to unrelated 'array[5] of double' [247] */
   1165  1.1  rillig 	double_array_ptr = (typeof(double_array_ptr))int_ptr;
   1166  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned int' to unrelated 'array[5] of double' [247] */
   1167  1.1  rillig 	double_array_ptr = (typeof(double_array_ptr))uint_ptr;
   1168  1.6  rillig 	/* expect+1: warning: pointer cast from 'long' to unrelated 'array[5] of double' [247] */
   1169  1.1  rillig 	double_array_ptr = (typeof(double_array_ptr))long_ptr;
   1170  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned long' to unrelated 'array[5] of double' [247] */
   1171  1.1  rillig 	double_array_ptr = (typeof(double_array_ptr))ulong_ptr;
   1172  1.6  rillig 	/* expect+1: warning: pointer cast from 'long long' to unrelated 'array[5] of double' [247] */
   1173  1.1  rillig 	double_array_ptr = (typeof(double_array_ptr))llong_ptr;
   1174  1.6  rillig 	/* expect+1: warning: pointer cast from 'unsigned long long' to unrelated 'array[5] of double' [247] */
   1175  1.1  rillig 	double_array_ptr = (typeof(double_array_ptr))ullong_ptr;
   1176  1.6  rillig 	/* expect+1: warning: pointer cast from 'float' to unrelated 'array[5] of double' [247] */
   1177  1.1  rillig 	double_array_ptr = (typeof(double_array_ptr))float_ptr;
   1178  1.1  rillig 	double_array_ptr = (typeof(double_array_ptr))double_ptr;
   1179  1.6  rillig 	/* expect+1: warning: pointer cast from 'long double' to unrelated 'array[5] of double' [247] */
   1180  1.1  rillig 	double_array_ptr = (typeof(double_array_ptr))ldouble_ptr;
   1181  1.6  rillig 	/* expect+1: warning: pointer cast from 'float _Complex' to unrelated 'array[5] of double' [247] */
   1182  1.1  rillig 	double_array_ptr = (typeof(double_array_ptr))fcomplex_ptr;
   1183  1.6  rillig 	/* expect+1: warning: pointer cast from 'double _Complex' to unrelated 'array[5] of double' [247] */
   1184  1.1  rillig 	double_array_ptr = (typeof(double_array_ptr))dcomplex_ptr;
   1185  1.6  rillig 	/* expect+1: warning: pointer cast from 'long double _Complex' to unrelated 'array[5] of double' [247] */
   1186  1.1  rillig 	double_array_ptr = (typeof(double_array_ptr))lcomplex_ptr;
   1187  1.1  rillig 	double_array_ptr = (typeof(double_array_ptr))void_ptr;
   1188  1.6  rillig 	/* expect+1: warning: pointer cast from 'struct typedef char_struct' to unrelated 'array[5] of double' [247] */
   1189  1.1  rillig 	double_array_ptr = (typeof(double_array_ptr))char_struct_ptr;
   1190  1.6  rillig 	/* expect+1: warning: pointer cast from 'struct typedef double_struct' to unrelated 'array[5] of double' [247] */
   1191  1.1  rillig 	double_array_ptr = (typeof(double_array_ptr))double_struct_ptr;
   1192  1.6  rillig 	/* expect+1: warning: pointer cast from 'union typedef char_union' to unrelated 'array[5] of double' [247] */
   1193  1.1  rillig 	double_array_ptr = (typeof(double_array_ptr))char_union_ptr;
   1194  1.1  rillig 	double_array_ptr = (typeof(double_array_ptr))double_union_ptr;
   1195  1.6  rillig 	/* expect+1: warning: pointer cast from 'enum typedef int_enum' to unrelated 'array[5] of double' [247] */
   1196  1.1  rillig 	double_array_ptr = (typeof(double_array_ptr))enum_ptr;
   1197  1.1  rillig 	double_array_ptr = (typeof(double_array_ptr))double_array_ptr;
   1198  1.1  rillig 	/* expect+1: warning: converting 'pointer to function(void) returning void' to 'pointer to array[5] of double' is questionable [229] */
   1199  1.1  rillig 	double_array_ptr = (typeof(double_array_ptr))func_ptr;
   1200  1.1  rillig 
   1201  1.1  rillig 	/* expect+1: warning: converting 'pointer to _Bool' to 'pointer to function(void) returning void' is questionable [229] */
   1202  1.1  rillig 	func_ptr = (typeof(func_ptr))bool_ptr;
   1203  1.1  rillig 	/* expect+1: warning: converting 'pointer to char' to 'pointer to function(void) returning void' is questionable [229] */
   1204  1.1  rillig 	func_ptr = (typeof(func_ptr))char_ptr;
   1205  1.1  rillig 	/* expect+1: warning: converting 'pointer to signed char' to 'pointer to function(void) returning void' is questionable [229] */
   1206  1.1  rillig 	func_ptr = (typeof(func_ptr))schar_ptr;
   1207  1.1  rillig 	/* expect+1: warning: converting 'pointer to unsigned char' to 'pointer to function(void) returning void' is questionable [229] */
   1208  1.1  rillig 	func_ptr = (typeof(func_ptr))uchar_ptr;
   1209  1.1  rillig 	/* expect+1: warning: converting 'pointer to short' to 'pointer to function(void) returning void' is questionable [229] */
   1210  1.1  rillig 	func_ptr = (typeof(func_ptr))short_ptr;
   1211  1.1  rillig 	/* expect+1: warning: converting 'pointer to unsigned short' to 'pointer to function(void) returning void' is questionable [229] */
   1212  1.1  rillig 	func_ptr = (typeof(func_ptr))ushort_ptr;
   1213  1.1  rillig 	/* expect+1: warning: converting 'pointer to int' to 'pointer to function(void) returning void' is questionable [229] */
   1214  1.1  rillig 	func_ptr = (typeof(func_ptr))int_ptr;
   1215  1.1  rillig 	/* expect+1: warning: converting 'pointer to unsigned int' to 'pointer to function(void) returning void' is questionable [229] */
   1216  1.1  rillig 	func_ptr = (typeof(func_ptr))uint_ptr;
   1217  1.1  rillig 	/* expect+1: warning: converting 'pointer to long' to 'pointer to function(void) returning void' is questionable [229] */
   1218  1.1  rillig 	func_ptr = (typeof(func_ptr))long_ptr;
   1219  1.1  rillig 	/* expect+1: warning: converting 'pointer to unsigned long' to 'pointer to function(void) returning void' is questionable [229] */
   1220  1.1  rillig 	func_ptr = (typeof(func_ptr))ulong_ptr;
   1221  1.1  rillig 	/* expect+1: warning: converting 'pointer to long long' to 'pointer to function(void) returning void' is questionable [229] */
   1222  1.1  rillig 	func_ptr = (typeof(func_ptr))llong_ptr;
   1223  1.1  rillig 	/* expect+1: warning: converting 'pointer to unsigned long long' to 'pointer to function(void) returning void' is questionable [229] */
   1224  1.1  rillig 	func_ptr = (typeof(func_ptr))ullong_ptr;
   1225  1.1  rillig 	/* expect+1: warning: converting 'pointer to float' to 'pointer to function(void) returning void' is questionable [229] */
   1226  1.1  rillig 	func_ptr = (typeof(func_ptr))float_ptr;
   1227  1.1  rillig 	/* expect+1: warning: converting 'pointer to double' to 'pointer to function(void) returning void' is questionable [229] */
   1228  1.1  rillig 	func_ptr = (typeof(func_ptr))double_ptr;
   1229  1.1  rillig 	/* expect+1: warning: converting 'pointer to long double' to 'pointer to function(void) returning void' is questionable [229] */
   1230  1.1  rillig 	func_ptr = (typeof(func_ptr))ldouble_ptr;
   1231  1.1  rillig 	/* expect+1: warning: converting 'pointer to float _Complex' to 'pointer to function(void) returning void' is questionable [229] */
   1232  1.1  rillig 	func_ptr = (typeof(func_ptr))fcomplex_ptr;
   1233  1.1  rillig 	/* expect+1: warning: converting 'pointer to double _Complex' to 'pointer to function(void) returning void' is questionable [229] */
   1234  1.1  rillig 	func_ptr = (typeof(func_ptr))dcomplex_ptr;
   1235  1.1  rillig 	/* expect+1: warning: converting 'pointer to long double _Complex' to 'pointer to function(void) returning void' is questionable [229] */
   1236  1.1  rillig 	func_ptr = (typeof(func_ptr))lcomplex_ptr;
   1237  1.1  rillig 	func_ptr = (typeof(func_ptr))void_ptr;
   1238  1.1  rillig 	/* expect+1: warning: converting 'pointer to struct typedef char_struct' to 'pointer to function(void) returning void' is questionable [229] */
   1239  1.1  rillig 	func_ptr = (typeof(func_ptr))char_struct_ptr;
   1240  1.1  rillig 	/* expect+1: warning: converting 'pointer to struct typedef double_struct' to 'pointer to function(void) returning void' is questionable [229] */
   1241  1.1  rillig 	func_ptr = (typeof(func_ptr))double_struct_ptr;
   1242  1.1  rillig 	/* expect+1: warning: converting 'pointer to union typedef char_union' to 'pointer to function(void) returning void' is questionable [229] */
   1243  1.1  rillig 	func_ptr = (typeof(func_ptr))char_union_ptr;
   1244  1.1  rillig 	/* expect+1: warning: converting 'pointer to union typedef double_union' to 'pointer to function(void) returning void' is questionable [229] */
   1245  1.1  rillig 	func_ptr = (typeof(func_ptr))double_union_ptr;
   1246  1.1  rillig 	/* expect+1: warning: converting 'pointer to enum typedef int_enum' to 'pointer to function(void) returning void' is questionable [229] */
   1247  1.1  rillig 	func_ptr = (typeof(func_ptr))enum_ptr;
   1248  1.1  rillig 	/* expect+1: warning: converting 'pointer to array[5] of double' to 'pointer to function(void) returning void' is questionable [229] */
   1249  1.1  rillig 	func_ptr = (typeof(func_ptr))double_array_ptr;
   1250  1.1  rillig 	func_ptr = (typeof(func_ptr))func_ptr;
   1251  1.1  rillig }
   1252