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