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