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