Home | History | Annotate | Line # | Download | only in lint1
platform_ilp32_c90.c revision 1.3 
      1  1.3  rillig /*	$NetBSD: platform_ilp32_c90.c,v 1.3 2024/01/28 08:26:07 rillig Exp $	*/
      2  1.1  rillig # 3 "platform_ilp32_c90.c"
      3  1.1  rillig 
      4  1.1  rillig /*
      5  1.1  rillig  * Tests that are specific to ILP32 platforms and the language level C90.
      6  1.1  rillig  */
      7  1.1  rillig 
      8  1.1  rillig /* lint1-flags: -sw -X 351 */
      9  1.1  rillig /* lint1-only-if: ilp32 */
     10  1.1  rillig 
     11  1.1  rillig void *lex_integer[] = {
     12  1.1  rillig 	/* expect+1: ... integer 'int' ... */
     13  1.1  rillig 	2147483647,
     14  1.1  rillig 	/* expect+1: ... integer 'int' ... */
     15  1.1  rillig 	0x7fffffff,
     16  1.2  rillig 	/* expect+2: warning: integer constant out of range [252] */
     17  1.1  rillig 	/* expect+1: ... integer 'unsigned long' ... */
     18  1.1  rillig 	2147483648,
     19  1.1  rillig 	/* expect+1: ... integer 'unsigned int' ... */
     20  1.1  rillig 	0x80000000,
     21  1.2  rillig 	/* expect+2: warning: integer constant out of range [252] */
     22  1.1  rillig 	/* expect+1: ... integer 'unsigned long' ... */
     23  1.1  rillig 	4294967295,
     24  1.1  rillig 	/* expect+1: ... integer 'unsigned int' ... */
     25  1.1  rillig 	0xffffffff,
     26  1.1  rillig 	/* expect+1: warning: integer constant out of range [252] */
     27  1.1  rillig 	4294967296,
     28  1.1  rillig 	/* expect+1: warning: integer constant out of range [252] */
     29  1.1  rillig 	0x0000000100000000,
     30  1.3  rillig 	/* expect+2: warning: integer constant out of range [252] */
     31  1.3  rillig 	/* expect+1: ... integer 'unsigned long' ... */
     32  1.1  rillig 	9223372036854775807,
     33  1.3  rillig 	/* expect+2: warning: integer constant out of range [252] */
     34  1.3  rillig 	/* expect+1: ... integer 'unsigned long' ... */
     35  1.1  rillig 	0x7fffffffffffffff,
     36  1.1  rillig 	/* expect+1: warning: integer constant out of range [252] */
     37  1.1  rillig 	9223372036854775808,
     38  1.1  rillig 	/* expect+1: warning: integer constant out of range [252] */
     39  1.1  rillig 	0x8000000000000000,
     40  1.3  rillig 	/* expect+2: warning: integer constant out of range [252] */
     41  1.3  rillig 	/* expect+1: ... integer 'unsigned long' ... */
     42  1.1  rillig 	18446744073709551615,
     43  1.3  rillig 	/* expect+2: warning: integer constant out of range [252] */
     44  1.3  rillig 	/* expect+1: ... integer 'unsigned long' ... */
     45  1.1  rillig 	0xffffffffffffffff,
     46  1.3  rillig 	/* expect+2: warning: integer constant out of range [252] */
     47  1.3  rillig 	/* expect+1: ... integer 'unsigned long' ... */
     48  1.1  rillig 	18446744073709551616,
     49  1.3  rillig 	/* expect+2: warning: integer constant out of range [252] */
     50  1.3  rillig 	/* expect+1: ... integer 'unsigned long' ... */
     51  1.1  rillig 	0x00010000000000000000,
     52  1.1  rillig 
     53  1.1  rillig 	/* expect+1: ... integer 'unsigned int' ... */
     54  1.1  rillig 	2147483647U,
     55  1.1  rillig 	/* expect+1: ... integer 'unsigned int' ... */
     56  1.1  rillig 	0x7fffffffU,
     57  1.1  rillig 	/* expect+1: ... integer 'unsigned int' ... */
     58  1.1  rillig 	2147483648U,
     59  1.1  rillig 	/* expect+1: ... integer 'unsigned int' ... */
     60  1.1  rillig 	0x80000000U,
     61  1.1  rillig 	/* expect+1: ... integer 'unsigned int' ... */
     62  1.1  rillig 	4294967295U,
     63  1.1  rillig 	/* expect+1: ... integer 'unsigned int' ... */
     64  1.1  rillig 	0xffffffffU,
     65  1.1  rillig 	/* expect+1: warning: integer constant out of range [252] */
     66  1.1  rillig 	4294967296U,
     67  1.1  rillig 	/* expect+1: warning: integer constant out of range [252] */
     68  1.1  rillig 	0x0000000100000000U,
     69  1.3  rillig 	/* expect+2: warning: integer constant out of range [252] */
     70  1.3  rillig 	/* expect+1: ... integer 'unsigned long' ... */
     71  1.1  rillig 	9223372036854775807U,
     72  1.1  rillig 	/* expect+2: warning: integer constant out of range [252] */
     73  1.1  rillig 	/* expect+1: ... integer 'unsigned long' ... */
     74  1.1  rillig 	0x7fffffffffffffffU,
     75  1.1  rillig 	/* expect+1: warning: integer constant out of range [252] */
     76  1.1  rillig 	9223372036854775808U,
     77  1.1  rillig 	/* expect+1: warning: integer constant out of range [252] */
     78  1.1  rillig 	0x8000000000000000U,
     79  1.3  rillig 	/* expect+2: warning: integer constant out of range [252] */
     80  1.3  rillig 	/* expect+1: ... integer 'unsigned long' ... */
     81  1.1  rillig 	18446744073709551615U,
     82  1.3  rillig 	/* expect+2: warning: integer constant out of range [252] */
     83  1.3  rillig 	/* expect+1: ... integer 'unsigned long' ... */
     84  1.1  rillig 	0xffffffffffffffffU,
     85  1.3  rillig 	/* expect+2: warning: integer constant out of range [252] */
     86  1.3  rillig 	/* expect+1: ... integer 'unsigned long' ... */
     87  1.1  rillig 	18446744073709551616U,
     88  1.3  rillig 	/* expect+2: warning: integer constant out of range [252] */
     89  1.3  rillig 	/* expect+1: ... integer 'unsigned long' ... */
     90  1.1  rillig 	0x00010000000000000000U,
     91  1.1  rillig 
     92  1.1  rillig 	/* expect+1: ... integer 'long' ... */
     93  1.1  rillig 	2147483647L,
     94  1.1  rillig 	/* expect+1: ... integer 'long' ... */
     95  1.1  rillig 	0x7fffffffL,
     96  1.2  rillig 	/* expect+2: warning: integer constant out of range [252] */
     97  1.1  rillig 	/* expect+1: ... integer 'unsigned long' ... */
     98  1.1  rillig 	2147483648L,
     99  1.1  rillig 	/* expect+1: ... integer 'unsigned long' ... */
    100  1.1  rillig 	0x80000000L,
    101  1.2  rillig 	/* expect+2: warning: integer constant out of range [252] */
    102  1.1  rillig 	/* expect+1: ... integer 'unsigned long' ... */
    103  1.1  rillig 	4294967295L,
    104  1.1  rillig 	/* expect+1: ... integer 'unsigned long' ... */
    105  1.1  rillig 	0xffffffffL,
    106  1.1  rillig 	/* expect+1: warning: integer constant out of range [252] */
    107  1.1  rillig 	4294967296L,
    108  1.1  rillig 	/* expect+1: warning: integer constant out of range [252] */
    109  1.1  rillig 	0x0000000100000000L,
    110  1.3  rillig 	/* expect+2: warning: integer constant out of range [252] */
    111  1.3  rillig 	/* expect+1: ... integer 'unsigned long' ... */
    112  1.1  rillig 	9223372036854775807L,
    113  1.3  rillig 	/* expect+2: warning: integer constant out of range [252] */
    114  1.3  rillig 	/* expect+1: ... integer 'unsigned long' ... */
    115  1.1  rillig 	0x7fffffffffffffffL,
    116  1.1  rillig 	/* expect+1: warning: integer constant out of range [252] */
    117  1.1  rillig 	9223372036854775808L,
    118  1.1  rillig 	/* expect+1: warning: integer constant out of range [252] */
    119  1.1  rillig 	0x8000000000000000L,
    120  1.3  rillig 	/* expect+2: warning: integer constant out of range [252] */
    121  1.3  rillig 	/* expect+1: ... integer 'unsigned long' ... */
    122  1.1  rillig 	18446744073709551615L,
    123  1.1  rillig 	/* expect+2: warning: integer constant out of range [252] */
    124  1.1  rillig 	/* expect+1: ... integer 'unsigned long' ... */
    125  1.1  rillig 	0xffffffffffffffffL,
    126  1.1  rillig 	/* expect+2: warning: integer constant out of range [252] */
    127  1.1  rillig 	/* expect+1: ... integer 'unsigned long' ... */
    128  1.1  rillig 	18446744073709551616L,
    129  1.3  rillig 	/* expect+2: warning: integer constant out of range [252] */
    130  1.3  rillig 	/* expect+1: ... integer 'unsigned long' ... */
    131  1.1  rillig 	0x00010000000000000000L,
    132  1.1  rillig 
    133  1.1  rillig 	/* expect+1: ... integer 'unsigned long' ... */
    134  1.1  rillig 	2147483647UL,
    135  1.1  rillig 	/* expect+1: ... integer 'unsigned long' ... */
    136  1.1  rillig 	0x7fffffffUL,
    137  1.1  rillig 	/* expect+1: ... integer 'unsigned long' ... */
    138  1.1  rillig 	2147483648UL,
    139  1.1  rillig 	/* expect+1: ... integer 'unsigned long' ... */
    140  1.1  rillig 	0x80000000UL,
    141  1.1  rillig 	/* expect+1: ... integer 'unsigned long' ... */
    142  1.1  rillig 	4294967295UL,
    143  1.1  rillig 	/* expect+1: ... integer 'unsigned long' ... */
    144  1.1  rillig 	0xffffffffUL,
    145  1.1  rillig 	/* expect+1: warning: integer constant out of range [252] */
    146  1.1  rillig 	4294967296UL,
    147  1.1  rillig 	/* expect+1: warning: integer constant out of range [252] */
    148  1.1  rillig 	0x0000000100000000UL,
    149  1.3  rillig 	/* expect+2: warning: integer constant out of range [252] */
    150  1.3  rillig 	/* expect+1: ... integer 'unsigned long' ... */
    151  1.1  rillig 	9223372036854775807UL,
    152  1.3  rillig 	/* expect+2: warning: integer constant out of range [252] */
    153  1.3  rillig 	/* expect+1: ... integer 'unsigned long' ... */
    154  1.1  rillig 	0x7fffffffffffffffUL,
    155  1.1  rillig 	/* expect+1: warning: integer constant out of range [252] */
    156  1.1  rillig 	9223372036854775808UL,
    157  1.1  rillig 	/* expect+1: warning: integer constant out of range [252] */
    158  1.1  rillig 	0x8000000000000000UL,
    159  1.3  rillig 	/* expect+2: warning: integer constant out of range [252] */
    160  1.3  rillig 	/* expect+1: ... integer 'unsigned long' ... */
    161  1.1  rillig 	18446744073709551615UL,
    162  1.3  rillig 	/* expect+2: warning: integer constant out of range [252] */
    163  1.3  rillig 	/* expect+1: ... integer 'unsigned long' ... */
    164  1.1  rillig 	0xffffffffffffffffUL,
    165  1.3  rillig 	/* expect+2: warning: integer constant out of range [252] */
    166  1.3  rillig 	/* expect+1: ... integer 'unsigned long' ... */
    167  1.1  rillig 	18446744073709551616UL,
    168  1.3  rillig 	/* expect+2: warning: integer constant out of range [252] */
    169  1.3  rillig 	/* expect+1: ... integer 'unsigned long' ... */
    170  1.1  rillig 	0x00010000000000000000UL,
    171  1.1  rillig 
    172  1.1  rillig 	/* expect+1: ... integer 'long long' ... */
    173  1.1  rillig 	2147483647LL,
    174  1.1  rillig 	/* expect+1: ... integer 'long long' ... */
    175  1.1  rillig 	0x7fffffffLL,
    176  1.1  rillig 	/* expect+1: ... integer 'long long' ... */
    177  1.1  rillig 	2147483648LL,
    178  1.1  rillig 	/* expect+1: ... integer 'long long' ... */
    179  1.1  rillig 	0x80000000LL,
    180  1.1  rillig 	/* expect+1: ... integer 'long long' ... */
    181  1.1  rillig 	4294967295LL,
    182  1.1  rillig 	/* expect+1: ... integer 'long long' ... */
    183  1.1  rillig 	0xffffffffLL,
    184  1.1  rillig 	/* expect+1: ... integer 'long long' ... */
    185  1.1  rillig 	4294967296LL,
    186  1.1  rillig 	/* expect+1: ... integer 'long long' ... */
    187  1.1  rillig 	0x0000000100000000LL,
    188  1.1  rillig 	/* expect+1: ... integer 'long long' ... */
    189  1.1  rillig 	9223372036854775807LL,
    190  1.1  rillig 	/* expect+1: ... integer 'long long' ... */
    191  1.1  rillig 	0x7fffffffffffffffLL,
    192  1.2  rillig 	/* expect+2: warning: integer constant out of range [252] */
    193  1.1  rillig 	/* expect+1: ... integer 'unsigned long long' ... */
    194  1.1  rillig 	9223372036854775808LL,
    195  1.1  rillig 	/* expect+1: ... integer 'unsigned long long' ... */
    196  1.1  rillig 	0x8000000000000000LL,
    197  1.2  rillig 	/* expect+2: warning: integer constant out of range [252] */
    198  1.1  rillig 	/* expect+1: ... integer 'unsigned long long' ... */
    199  1.1  rillig 	18446744073709551615LL,
    200  1.1  rillig 	/* expect+1: ... integer 'unsigned long long' ... */
    201  1.1  rillig 	0xffffffffffffffffLL,
    202  1.3  rillig 	/* expect+2: warning: integer constant out of range [252] */
    203  1.3  rillig 	/* expect+1: ... integer 'unsigned long long' ... */
    204  1.1  rillig 	18446744073709551616LL,
    205  1.3  rillig 	/* expect+2: warning: integer constant out of range [252] */
    206  1.3  rillig 	/* expect+1: ... integer 'unsigned long long' ... */
    207  1.1  rillig 	0x00010000000000000000LL,
    208  1.1  rillig 
    209  1.1  rillig 	/* expect+1: ... integer 'unsigned long long' ... */
    210  1.1  rillig 	2147483647ULL,
    211  1.1  rillig 	/* expect+1: ... integer 'unsigned long long' ... */
    212  1.1  rillig 	0x7fffffffULL,
    213  1.1  rillig 	/* expect+1: ... integer 'unsigned long long' ... */
    214  1.1  rillig 	2147483648ULL,
    215  1.1  rillig 	/* expect+1: ... integer 'unsigned long long' ... */
    216  1.1  rillig 	0x80000000ULL,
    217  1.1  rillig 	/* expect+1: ... integer 'unsigned long long' ... */
    218  1.1  rillig 	4294967295ULL,
    219  1.1  rillig 	/* expect+1: ... integer 'unsigned long long' ... */
    220  1.1  rillig 	0xffffffffULL,
    221  1.1  rillig 	/* expect+1: ... integer 'unsigned long long' ... */
    222  1.1  rillig 	4294967296ULL,
    223  1.1  rillig 	/* expect+1: ... integer 'unsigned long long' ... */
    224  1.1  rillig 	0x0000000100000000ULL,
    225  1.1  rillig 	/* expect+1: ... integer 'unsigned long long' ... */
    226  1.1  rillig 	9223372036854775807ULL,
    227  1.1  rillig 	/* expect+1: ... integer 'unsigned long long' ... */
    228  1.1  rillig 	0x7fffffffffffffffULL,
    229  1.1  rillig 	/* expect+1: ... integer 'unsigned long long' ... */
    230  1.1  rillig 	9223372036854775808ULL,
    231  1.1  rillig 	/* expect+1: ... integer 'unsigned long long' ... */
    232  1.1  rillig 	0x8000000000000000ULL,
    233  1.1  rillig 	/* expect+1: ... integer 'unsigned long long' ... */
    234  1.1  rillig 	18446744073709551615ULL,
    235  1.1  rillig 	/* expect+1: ... integer 'unsigned long long' ... */
    236  1.1  rillig 	0xffffffffffffffffULL,
    237  1.3  rillig 	/* expect+2: warning: integer constant out of range [252] */
    238  1.3  rillig 	/* expect+1: ... integer 'unsigned long long' ... */
    239  1.1  rillig 	18446744073709551616ULL,
    240  1.1  rillig 	/* expect+2: warning: integer constant out of range [252] */
    241  1.1  rillig 	/* expect+1: ... integer 'unsigned long long' ... */
    242  1.1  rillig 	0x00010000000000000000ULL,
    243  1.1  rillig };
    244