1/* $NetBSD: platform_ilp32_int.c,v 1.8 2024/03/30 17:12:26 rillig Exp $ */ 2# 3 "platform_ilp32_int.c" 3 4/* 5 * Test features that only apply to platforms that have 32-bit int, long and 6 * pointer types and where size_t is unsigned int, not unsigned long. 7 */ 8 9/* lint1-only-if: ilp32 int */ 10/* lint1-extra-flags: -c -h -a -p -b -r -z -X 351 */ 11 12int s32; 13unsigned int u32; 14long sl32; 15unsigned long ul32; 16 17void 18convert_between_int_and_long(void) 19{ 20 /* 21 * No warning about possible loss of accuracy, as the types have the 22 * same size, both in target platform mode as well as in portable 23 * mode. 24 */ 25 s32 = sl32; 26 sl32 = s32; 27 u32 = ul32; 28 ul32 = u32; 29} 30 31unsigned char u8; 32unsigned long long u64; 33unsigned char u8_buf[20]; 34unsigned long long u64_buf[20]; 35 36void 37array_index(void) 38{ 39 40 /* expect+1: warning: array subscript 16777215 cannot be > 19 [168] */ 41 u8 += u8_buf[0x00ffffff]; 42 /* expect+1: warning: array subscript 2147483647 cannot be > 19 [168] */ 43 u8 += u8_buf[0x7fffffff]; 44 /* expect+2: warning: conversion of 'long long' to 'int' is out of range [119] */ 45 /* expect+1: warning: array subscript -2147483648 cannot be negative [167] */ 46 u8 += u8_buf[2147483648]; 47 /* expect+1: warning: array subscript 2147483648 cannot be > 19 [168] */ 48 u8 += u8_buf[0x80000000]; 49 /* expect+1: warning: array subscript 4294967295 cannot be > 19 [168] */ 50 u8 += u8_buf[0xffffffff]; 51 /* expect+1: warning: array subscript 2147483648 cannot be > 19 [168] */ 52 u8 += u8_buf[0x80000000]; 53 /* expect+1: warning: array subscript 4294967295 cannot be > 19 [168] */ 54 u8 += u8_buf[0xffffffff]; 55 /* expect+2: warning: conversion of 'long long' to 'int' is out of range [119] */ 56 /* expect+1: warning: array subscript -1 cannot be negative [167] */ 57 u8 += u8_buf[0x00ffffffffffffff]; 58 /* expect+1: warning: array subscript -1 cannot be negative [167] */ 59 u8 += u8_buf[0xffffffffffffffff]; 60 61 /* expect+1: warning: array subscript 16777215 cannot be > 19 [168] */ 62 u64 += u64_buf[0x00ffffff]; 63 /* expect+2: warning: '2147483647 * 8' overflows 'int' [141] */ 64 /* expect+1: warning: array subscript 268435455 cannot be > 19 [168] */ 65 u64 += u64_buf[0x7fffffff]; 66 /* expect+3: warning: conversion of 'long long' to 'int' is out of range [119] */ 67 /* expect+2: warning: '-2147483648 * 8' overflows 'int' [141] */ 68 /* expect+1: warning: array subscript -268435456 cannot be negative [167] */ 69 u64 += u64_buf[2147483648]; 70 /* expect+1: warning: '2147483648 * 8' overflows 'unsigned int' [141] */ 71 u64 += u64_buf[0x80000000]; 72 /* expect+2: warning: '4294967295 * 8' overflows 'unsigned int' [141] */ 73 /* expect+1: warning: array subscript 536870911 cannot be > 19 [168] */ 74 u64 += u64_buf[0xffffffff]; 75 /* expect+1: warning: '2147483648 * 8' overflows 'unsigned int' [141] */ 76 u64 += u64_buf[0x80000000]; 77 /* expect+2: warning: '4294967295 * 8' overflows 'unsigned int' [141] */ 78 /* expect+1: warning: array subscript 536870911 cannot be > 19 [168] */ 79 u64 += u64_buf[0xffffffff]; 80 /* expect+2: warning: conversion of 'long long' to 'int' is out of range [119] */ 81 /* expect+1: warning: array subscript -1 cannot be negative [167] */ 82 u64 += u64_buf[0x00ffffffffffffff]; 83 /* expect+2: warning: conversion of 'long long' to 'int' is out of range [119] */ 84 /* expect+1: warning: array subscript -1 cannot be negative [167] */ 85 u64 += u64_buf[0x0fffffffffffffff]; 86 /* expect+2: warning: conversion of 'long long' to 'int' is out of range [119] */ 87 /* expect+1: warning: array subscript -1 cannot be negative [167] */ 88 u64 += u64_buf[0x1fffffffffffffff]; 89 /* expect+2: warning: conversion of 'long long' to 'int' is out of range [119] */ 90 /* expect+1: warning: array subscript -1 cannot be negative [167] */ 91 u64 += u64_buf[0x3fffffffffffffff]; 92 /* expect+2: warning: conversion of 'long long' to 'int' is out of range [119] */ 93 /* expect+1: warning: array subscript -1 cannot be negative [167] */ 94 u64 += u64_buf[0x7fffffffffffffff]; 95 /* expect+1: warning: array subscript -1 cannot be negative [167] */ 96 u64 += u64_buf[0xffffffffffffffff]; 97} 98