Home | History | Annotate | Line # | Download | only in lint1
platform_lp64_trad.c revision 1.4 
      1  1.4  rillig /*	$NetBSD: platform_lp64_trad.c,v 1.4 2024/02/07 07:42:50 rillig Exp $	*/
      2  1.1  rillig # 3 "platform_lp64_trad.c"
      3  1.1  rillig 
      4  1.1  rillig /*
      5  1.1  rillig  * Tests that are specific to LP64 platforms and traditional C.
      6  1.1  rillig  */
      7  1.1  rillig 
      8  1.1  rillig /* lint1-flags: -tw -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 'long' ... */
     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 'long' ... */
     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.4  rillig 	/* expect+2: warning: integer constant out of range [252] */
     33  1.1  rillig 	/* expect+1: ... integer 'long' ... */
     34  1.1  rillig 	9223372036854775808,
     35  1.1  rillig 	/* expect+1: ... integer 'long' ... */
     36  1.1  rillig 	0x8000000000000000,
     37  1.4  rillig 	/* expect+2: warning: integer constant out of range [252] */
     38  1.1  rillig 	/* expect+1: ... integer 'long' ... */
     39  1.1  rillig 	18446744073709551615,
     40  1.1  rillig 	/* expect+1: ... integer 'long' ... */
     41  1.1  rillig 	0xffffffffffffffff,
     42  1.3  rillig 	/* expect+2: warning: integer constant out of range [252] */
     43  1.3  rillig 	/* expect+1: ... integer 'long' ... */
     44  1.1  rillig 	18446744073709551616,
     45  1.3  rillig 	/* expect+2: warning: integer constant out of range [252] */
     46  1.3  rillig 	/* expect+1: ... integer 'long' ... */
     47  1.1  rillig 	0x00010000000000000000,
     48  1.1  rillig 
     49  1.1  rillig 	/* expect+1: ... integer 'long' ... */
     50  1.1  rillig 	2147483647L,
     51  1.1  rillig 	/* expect+1: ... integer 'long' ... */
     52  1.1  rillig 	0x7fffffffL,
     53  1.1  rillig 	/* expect+1: ... integer 'long' ... */
     54  1.1  rillig 	2147483648L,
     55  1.1  rillig 	/* expect+1: ... integer 'long' ... */
     56  1.1  rillig 	0x80000000L,
     57  1.1  rillig 	/* expect+1: ... integer 'long' ... */
     58  1.1  rillig 	4294967295L,
     59  1.1  rillig 	/* expect+1: ... integer 'long' ... */
     60  1.1  rillig 	0xffffffffL,
     61  1.1  rillig 	/* expect+1: ... integer 'long' ... */
     62  1.1  rillig 	4294967296L,
     63  1.1  rillig 	/* expect+1: ... integer 'long' ... */
     64  1.1  rillig 	0x0000000100000000L,
     65  1.1  rillig 	/* expect+1: ... integer 'long' ... */
     66  1.1  rillig 	9223372036854775807L,
     67  1.1  rillig 	/* expect+1: ... integer 'long' ... */
     68  1.1  rillig 	0x7fffffffffffffffL,
     69  1.2  rillig 	/* expect+2: warning: integer constant out of range [252] */
     70  1.1  rillig 	/* expect+1: ... integer 'long' ... */
     71  1.1  rillig 	9223372036854775808L,
     72  1.1  rillig 	/* expect+1: ... integer 'long' ... */
     73  1.1  rillig 	0x8000000000000000L,
     74  1.2  rillig 	/* expect+2: warning: integer constant out of range [252] */
     75  1.1  rillig 	/* expect+1: ... integer 'long' ... */
     76  1.1  rillig 	18446744073709551615L,
     77  1.1  rillig 	/* expect+1: ... integer 'long' ... */
     78  1.1  rillig 	0xffffffffffffffffL,
     79  1.1  rillig 	/* expect+2: warning: integer constant out of range [252] */
     80  1.1  rillig 	/* expect+1: ... integer 'long' ... */
     81  1.1  rillig 	18446744073709551616L,
     82  1.3  rillig 	/* expect+2: warning: integer constant out of range [252] */
     83  1.3  rillig 	/* expect+1: ... integer 'long' ... */
     84  1.1  rillig 	0x00010000000000000000L,
     85  1.1  rillig 
     86  1.1  rillig 	/* expect+1: ... integer 'long long' ... */
     87  1.1  rillig 	2147483647LL,
     88  1.1  rillig 	/* expect+1: ... integer 'long long' ... */
     89  1.1  rillig 	0x7fffffffLL,
     90  1.1  rillig 	/* expect+1: ... integer 'long long' ... */
     91  1.1  rillig 	2147483648LL,
     92  1.1  rillig 	/* expect+1: ... integer 'long long' ... */
     93  1.1  rillig 	0x80000000LL,
     94  1.1  rillig 	/* expect+1: ... integer 'long long' ... */
     95  1.1  rillig 	4294967295LL,
     96  1.1  rillig 	/* expect+1: ... integer 'long long' ... */
     97  1.1  rillig 	0xffffffffLL,
     98  1.1  rillig 	/* expect+1: ... integer 'long long' ... */
     99  1.1  rillig 	4294967296LL,
    100  1.1  rillig 	/* expect+1: ... integer 'long long' ... */
    101  1.1  rillig 	0x0000000100000000LL,
    102  1.1  rillig 	/* expect+1: ... integer 'long long' ... */
    103  1.1  rillig 	9223372036854775807LL,
    104  1.1  rillig 	/* expect+1: ... integer 'long long' ... */
    105  1.1  rillig 	0x7fffffffffffffffLL,
    106  1.2  rillig 	/* expect+2: warning: integer constant out of range [252] */
    107  1.1  rillig 	/* expect+1: ... integer 'long long' ... */
    108  1.1  rillig 	9223372036854775808LL,
    109  1.1  rillig 	/* expect+1: ... integer 'long long' ... */
    110  1.1  rillig 	0x8000000000000000LL,
    111  1.2  rillig 	/* expect+2: warning: integer constant out of range [252] */
    112  1.1  rillig 	/* expect+1: ... integer 'long long' ... */
    113  1.1  rillig 	18446744073709551615LL,
    114  1.1  rillig 	/* expect+1: ... integer 'long long' ... */
    115  1.1  rillig 	0xffffffffffffffffLL,
    116  1.3  rillig 	/* expect+2: warning: integer constant out of range [252] */
    117  1.3  rillig 	/* expect+1: ... integer 'long long' ... */
    118  1.1  rillig 	18446744073709551616LL,
    119  1.3  rillig 	/* expect+2: warning: integer constant out of range [252] */
    120  1.3  rillig 	/* expect+1: ... integer 'long long' ... */
    121  1.1  rillig 	0x00010000000000000000LL,
    122  1.1  rillig };
    123