/*      $NetBSD: platform_lp64.c,v 1.19 2025/05/15 21:35:26 rillig Exp $        */
# 3 "platform_lp64.c"

/*
* Test features that only apply to platforms that have 32-bit int and 64-bit
* long and pointer types.
*/

/* lint1-only-if: lp64 */
/* lint1-extra-flags: -c -h -a -p -b -r -z -X 351 */

int s32;
unsigned int u32;
long sl32;
unsigned long ul32;
__int128_t s128;
__uint128_t u128;

void
convert_between_int_and_long(void)
{
       /* expect+1: warning: conversion from 'long' to 'int' may lose accuracy [132] */
       s32 = sl32;
       sl32 = s32;
       /* expect+1: warning: conversion from 'unsigned long' to 'unsigned int' may lose accuracy [132] */
       u32 = ul32;
       ul32 = u32;
}

void to_size_t(typeof(sizeof(int)));

void
convert_unsigned_char_to_size_t(unsigned char uc)
{
       /* no warning, unlike platform_int */
       to_size_t(uc);
}

void
convert_128(void)
{
       /* expect+1: warning: conversion from '__int128_t' to 'int' may lose accuracy [132] */
       s32 = s128;
       /* expect+1: warning: conversion from '__uint128_t' to 'unsigned int' may lose accuracy [132] */
       u32 = u128;
}

unsigned char u8;
unsigned long long u64;
unsigned char u8_buf[20];
unsigned long long u64_buf[20];

void
array_index(void)
{

       /* expect+1: warning: array subscript 16777215 cannot be > 19 [168] */
       u8 += u8_buf[0x00ffffff];
       /* expect+1: warning: array subscript 2147483647 cannot be > 19 [168] */
       u8 += u8_buf[0x7fffffff];
       /* expect+1: warning: array subscript 2147483648 cannot be > 19 [168] */
       u8 += u8_buf[2147483648];
       /* expect+1: warning: array subscript 2147483648 cannot be > 19 [168] */
       u8 += u8_buf[0x80000000];
       /* expect+1: warning: array subscript 4294967295 cannot be > 19 [168] */
       u8 += u8_buf[0xffffffff];
       /* expect+1: warning: array subscript 2147483648 cannot be > 19 [168] */
       u8 += u8_buf[0x80000000];
       /* expect+1: warning: array subscript 4294967295 cannot be > 19 [168] */
       u8 += u8_buf[0xffffffff];
       /* expect+1: warning: array subscript 72057594037927935 cannot be > 19 [168] */
       u8 += u8_buf[0x00ffffffffffffff];
       /* expect+1: warning: array subscript 18446744073709551615 cannot be > 19 [168] */
       u8 += u8_buf[0xffffffffffffffff];

       /* expect+1: warning: array subscript 16777215 cannot be > 19 [168] */
       u64 += u64_buf[0x00ffffff];
       /* expect+1: warning: array subscript 2147483647 cannot be > 19 [168] */
       u64 += u64_buf[0x7fffffff];
       /* expect+1: warning: array subscript 2147483648 cannot be > 19 [168] */
       u64 += u64_buf[2147483648];
       /* expect+1: warning: array subscript 2147483648 cannot be > 19 [168] */
       u64 += u64_buf[0x80000000];
       /* expect+1: warning: array subscript 4294967295 cannot be > 19 [168] */
       u64 += u64_buf[0xffffffff];
       /* expect+1: warning: array subscript 2147483648 cannot be > 19 [168] */
       u64 += u64_buf[0x80000000];
       /* expect+1: warning: array subscript 4294967295 cannot be > 19 [168] */
       u64 += u64_buf[0xffffffff];
       /* expect+1: warning: array subscript 72057594037927935 cannot be > 19 [168] */
       u64 += u64_buf[0x00ffffffffffffff];
       /* expect+1: warning: array subscript 1152921504606846975 cannot be > 19 [168] */
       u64 += u64_buf[0x0fffffffffffffff];
       /* expect+2: warning: '2305843009213693951 * 8' overflows 'long' [141] */
       /* expect+1: warning: array subscript 1152921504606846975 cannot be > 19 [168] */
       u64 += u64_buf[0x1fffffffffffffff];
       /* expect+2: warning: '4611686018427387903 * 8' overflows 'long' [141] */
       /* expect+1: warning: array subscript 1152921504606846975 cannot be > 19 [168] */
       u64 += u64_buf[0x3fffffffffffffff];
       /* expect+2: warning: '9223372036854775807 * 8' overflows 'long' [141] */
       /* expect+1: warning: array subscript 1152921504606846975 cannot be > 19 [168] */
       u64 += u64_buf[0x7fffffffffffffff];
       /* expect+2: warning: '18446744073709551615 * 8' overflows 'unsigned long' [141] */
       /* expect+1: warning: array subscript 2305843009213693951 cannot be > 19 [168] */
       u64 += u64_buf[0xffffffffffffffff];
}

extern const unsigned short *_ctype_tab_;

int
msg_341(void)
{
       // https://mail-index.netbsd.org/current-users/2024/12/15/msg045888.html
       /* expect+1: warning: argument to 'function from <ctype.h>' must be 'unsigned char' or EOF, not 'unsigned int' [341] */
       return (((int)((_ctype_tab_ + 1)[(0xffffffffu)])));

}

void
msg_122(void)
{
       typedef unsigned typedef_type_identifier;
       __attribute__((__mode__(TI))) typedef unsigned attr_typedef_type_identifier;
       typedef __attribute__((__mode__(TI))) unsigned typedef_attr_type_identifier;
       typedef unsigned __attribute__((__mode__(TI))) typedef_type_attr_identifier;
       typedef unsigned typedef_type_identifier_attr __attribute__((__mode__(TI)));
       __attribute__(()) __attribute__((__mode__(TI))) typedef unsigned attr_attr_typedef_type_identifier;
       typedef __attribute__(()) __attribute__((__mode__(TI))) unsigned typedef_attr_attr_type_identifier;
       typedef unsigned __attribute__(()) __attribute__((__mode__(TI))) typedef_type_attr_attr_identifier;
       typedef unsigned typedef_type_identifier_attr_attr __attribute__(()) __attribute__((__mode__(TI)));

       struct {
               typedef_type_identifier typedef_type_identifier;
               attr_typedef_type_identifier attr_typedef_type_identifier;
               typedef_attr_type_identifier typedef_attr_type_identifier;
               typedef_type_attr_identifier typedef_type_attr_identifier;
               typedef_type_identifier_attr typedef_type_identifier_attr;
               attr_attr_typedef_type_identifier attr_attr_typedef_type_identifier;
               typedef_attr_attr_type_identifier typedef_attr_attr_type_identifier;
               typedef_type_attr_attr_identifier typedef_type_attr_attr_identifier;
               typedef_type_identifier_attr_attr typedef_type_identifier_attr_attr;
       } s = {0};

       /* expect+1: warning: shift amount 80 is greater than bit-size 32 of 'unsigned int' [122] */
       u128 = s.typedef_type_identifier << 80;
       u128 = s.attr_typedef_type_identifier << 80;
       u128 = s.typedef_attr_type_identifier << 80;
       u128 = s.typedef_type_attr_identifier << 80;
       u128 = s.typedef_type_identifier_attr << 80;
       u128 = s.attr_attr_typedef_type_identifier << 80;
       u128 = s.typedef_attr_attr_type_identifier << 80;
       u128 = s.typedef_type_attr_attr_identifier << 80;
       u128 = s.typedef_type_identifier_attr_attr << 80;

       unsigned type_identifier = 0;
       __attribute__((__mode__(TI))) unsigned attr_type_identifier = 0;
       unsigned __attribute__((__mode__(TI))) type_attr_identifier = 0;
       unsigned type_identifier_attr __attribute__((__mode__(TI))) = 0;
       __attribute__(()) __attribute__((__mode__(TI))) unsigned attr_attr_type_identifier = 0;
       unsigned __attribute__(()) __attribute__((__mode__(TI))) type_attr_attr_identifier = 0;
       unsigned type_identifier_attr_attr __attribute__(()) __attribute__((__mode__(TI))) = 0;

       /* expect+1: warning: shift amount 80 is greater than bit-size 32 of 'unsigned int' [122] */
       u128 = type_identifier << 80;
       u128 = attr_type_identifier << 80;
       u128 = type_attr_identifier << 80;
       u128 = type_identifier_attr << 80;
       u128 = attr_attr_type_identifier << 80;
       u128 = type_attr_attr_identifier << 80;
       u128 = type_identifier_attr_attr << 80;
}

You are viewing proxied material from ftp.icm.edu.pl. The copyright of proxied material belongs to its original authors. Any comments or complaints in relation to proxied material should be directed to the original authors of the content concerned. Please see the disclaimer for more details.