Home | History | Annotate | Line # | Download | only in lint1
platform_lp64.c revision 1.13 
      1 /*	$NetBSD: platform_lp64.c,v 1.13 2024/03/30 16:47:45 rillig Exp $	*/
      2 # 3 "platform_lp64.c"
      3 
      4 /*
      5  * Test features that only apply to platforms that have 32-bit int and 64-bit
      6  * long and pointer types.
      7  */
      8 
      9 /* lint1-only-if: lp64 */
     10 /* lint1-extra-flags: -c -h -a -p -b -r -z -X 351 */
     11 
     12 int s32;
     13 unsigned int u32;
     14 long sl32;
     15 unsigned long ul32;
     16 __int128_t s128;
     17 __uint128_t u128;
     18 
     19 void
     20 convert_between_int_and_long(void)
     21 {
     22 	/* expect+1: warning: conversion from 'long' to 'int' may lose accuracy [132] */
     23 	s32 = sl32;
     24 	sl32 = s32;
     25 	/* expect+1: warning: conversion from 'unsigned long' to 'unsigned int' may lose accuracy [132] */
     26 	u32 = ul32;
     27 	ul32 = u32;
     28 }
     29 
     30 void to_size_t(typeof(sizeof(int)));
     31 
     32 void
     33 convert_unsigned_char_to_size_t(unsigned char uc)
     34 {
     35 	/* no warning, unlike platform_int */
     36 	to_size_t(uc);
     37 }
     38 
     39 void
     40 convert_128(void)
     41 {
     42 	/* expect+1: warning: conversion from '__int128_t' to 'int' may lose accuracy [132] */
     43 	s32 = s128;
     44 	/* expect+1: warning: conversion from '__uint128_t' to 'unsigned int' may lose accuracy [132] */
     45 	u32 = u128;
     46 }
     47 
     48 unsigned char u8;
     49 unsigned long long u64;
     50 unsigned char u8_buf[20];
     51 unsigned long long u64_buf[20];
     52 
     53 void
     54 array_index(void)
     55 {
     56 
     57 	/* expect+1: warning: array subscript 16777215 cannot be > 19 [168] */
     58 	u8 += u8_buf[0x00ffffff];
     59 	/* expect+1: warning: array subscript 2147483647 cannot be > 19 [168] */
     60 	u8 += u8_buf[0x7fffffff];
     61 	/* expect+1: warning: array subscript 2147483648 cannot be > 19 [168] */
     62 	u8 += u8_buf[2147483648];
     63 	/* expect+1: warning: array subscript 2147483648 cannot be > 19 [168] */
     64 	u8 += u8_buf[0x80000000];
     65 	/* expect+1: warning: array subscript 4294967295 cannot be > 19 [168] */
     66 	u8 += u8_buf[0xffffffff];
     67 	/* expect+1: warning: array subscript 2147483648 cannot be > 19 [168] */
     68 	u8 += u8_buf[0x80000000];
     69 	/* expect+1: warning: array subscript 4294967295 cannot be > 19 [168] */
     70 	u8 += u8_buf[0xffffffff];
     71 	/* expect+1: warning: array subscript 72057594037927935 cannot be > 19 [168] */
     72 	u8 += u8_buf[0x00ffffffffffffff];
     73 	/* expect+1: warning: array subscript -1 cannot be negative [167] */
     74 	u8 += u8_buf[0xffffffffffffffff];
     75 
     76 	/* expect+1: warning: array subscript 16777215 cannot be > 19 [168] */
     77 	u64 += u64_buf[0x00ffffff];
     78 	/* expect+1: warning: array subscript 2147483647 cannot be > 19 [168] */
     79 	u64 += u64_buf[0x7fffffff];
     80 	/* expect+1: warning: array subscript 2147483648 cannot be > 19 [168] */
     81 	u64 += u64_buf[2147483648];
     82 	/* expect+1: warning: array subscript 2147483648 cannot be > 19 [168] */
     83 	u64 += u64_buf[0x80000000];
     84 	/* expect+1: warning: array subscript 4294967295 cannot be > 19 [168] */
     85 	u64 += u64_buf[0xffffffff];
     86 	/* expect+1: warning: array subscript 2147483648 cannot be > 19 [168] */
     87 	u64 += u64_buf[0x80000000];
     88 	/* expect+1: warning: array subscript 4294967295 cannot be > 19 [168] */
     89 	u64 += u64_buf[0xffffffff];
     90 	/* expect+1: warning: array subscript 72057594037927935 cannot be > 19 [168] */
     91 	u64 += u64_buf[0x00ffffffffffffff];
     92 	/* expect+1: warning: array subscript 1152921504606846975 cannot be > 19 [168] */
     93 	u64 += u64_buf[0x0fffffffffffffff];
     94 	/* expect+2: warning: '2305843009213693951 * 8' overflows 'long' [141] */
     95 	/* expect+1: warning: array subscript 1152921504606846975 cannot be > 19 [168] */
     96 	u64 += u64_buf[0x1fffffffffffffff];
     97 	/* expect+2: warning: '4611686018427387903 * 8' overflows 'long' [141] */
     98 	/* expect+1: warning: array subscript 1152921504606846975 cannot be > 19 [168] */
     99 	u64 += u64_buf[0x3fffffffffffffff];
    100 	/* expect+2: warning: '9223372036854775807 * 8' overflows 'long' [141] */
    101 	/* expect+1: warning: array subscript 1152921504606846975 cannot be > 19 [168] */
    102 	u64 += u64_buf[0x7fffffffffffffff];
    103 	/* expect+1: warning: array subscript -1 cannot be negative [167] */
    104 	u64 += u64_buf[0xffffffffffffffff];
    105 }
    106