1/*	$NetBSD: platform_ilp32_long.c,v 1.9 2024/03/30 16:47:45 rillig Exp $	*/
2# 3 "platform_ilp32_long.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 long, not unsigned int.
7 *
8 * On these platforms, in portable mode (-p), the type 'int' is in some cases
9 * assumed to be only 24 bits wide, in order to detect conversions from
10 * 'long' (or more probably 'size_t') to 'int', which can lose accuracy.
11 */
12
13/* lint1-only-if: ilp32 long */
14/* lint1-extra-flags: -c -h -a -p -b -r -z -X 351 */
15
16int s32;
17unsigned int u32;
18long sl32;
19unsigned long ul32;
20
21void
22convert_between_int_and_long(void)
23{
24	/*
25	 * The '-p' option enables checks that apply independently of the
26	 * current platform, assuming that 'long' is always wider than 'int'.
27	 * This assumption, when applied on its own, leads to wrong warnings
28	 * that a 32-bit 'long' may lose accuracy when converted to a 32-bit
29	 * 'int'.
30	 *
31	 * To avoid these, take a look at the actually possible values of the
32	 * right-hand side, and if they fit in the left-hand side, don't warn.
33	 */
34	s32 = sl32;
35	sl32 = s32;
36	u32 = ul32;
37	ul32 = u32;
38}
39
40unsigned char u8;
41unsigned long long u64;
42unsigned char u8_buf[20];
43unsigned long long u64_buf[20];
44
45void
46array_index(void)
47{
48
49	/* expect+1: warning: array subscript 16777215 cannot be > 19 [168] */
50	u8 += u8_buf[0x00ffffff];
51	/* expect+1: warning: array subscript 2147483647 cannot be > 19 [168] */
52	u8 += u8_buf[0x7fffffff];
53	/* expect+2: warning: conversion of 'long long' to 'long' is out of range [119] */
54	/* expect+1: warning: array subscript -2147483648 cannot be negative [167] */
55	u8 += u8_buf[2147483648];
56	/* expect+2: warning: conversion of 'unsigned int' to 'long' is out of range [119] */
57	/* expect+1: warning: array subscript -2147483648 cannot be negative [167] */
58	u8 += u8_buf[0x80000000];
59	/* expect+2: warning: conversion of 'unsigned int' to 'long' is out of range [119] */
60	/* expect+1: warning: array subscript -1 cannot be negative [167] */
61	u8 += u8_buf[0xffffffff];
62	/* expect+2: warning: conversion of 'unsigned int' to 'long' is out of range [119] */
63	/* expect+1: warning: array subscript -2147483648 cannot be negative [167] */
64	u8 += u8_buf[0x80000000];
65	/* expect+2: warning: conversion of 'unsigned int' to 'long' is out of range [119] */
66	/* expect+1: warning: array subscript -1 cannot be negative [167] */
67	u8 += u8_buf[0xffffffff];
68	/* expect+2: warning: conversion of 'long long' to 'long' is out of range [119] */
69	/* expect+1: warning: array subscript -1 cannot be negative [167] */
70	u8 += u8_buf[0x00ffffffffffffff];
71	/* expect+1: warning: array subscript -1 cannot be negative [167] */
72	u8 += u8_buf[0xffffffffffffffff];
73
74	/* expect+1: warning: array subscript 16777215 cannot be > 19 [168] */
75	u64 += u64_buf[0x00ffffff];
76	/* expect+2: warning: '2147483647 * 8' overflows 'long' [141] */
77	/* expect+1: warning: array subscript 268435455 cannot be > 19 [168] */
78	u64 += u64_buf[0x7fffffff];
79	/* expect+3: warning: conversion of 'long long' to 'long' is out of range [119] */
80	/* expect+2: warning: '-2147483648 * 8' overflows 'long' [141] */
81	/* expect+1: warning: array subscript -268435456 cannot be negative [167] */
82	u64 += u64_buf[2147483648];
83	/* expect+3: warning: conversion of 'unsigned int' to 'long' is out of range [119] */
84	/* expect+2: warning: '-2147483648 * 8' overflows 'long' [141] */
85	/* expect+1: warning: array subscript -268435456 cannot be negative [167] */
86	u64 += u64_buf[0x80000000];
87	/* expect+2: warning: conversion of 'unsigned int' to 'long' is out of range [119] */
88	/* expect+1: warning: array subscript -1 cannot be negative [167] */
89	u64 += u64_buf[0xffffffff];
90	/* expect+3: warning: conversion of 'unsigned int' to 'long' is out of range [119] */
91	/* expect+2: warning: '-2147483648 * 8' overflows 'long' [141] */
92	/* expect+1: warning: array subscript -268435456 cannot be negative [167] */
93	u64 += u64_buf[0x80000000];
94	/* expect+2: warning: conversion of 'unsigned int' to 'long' is out of range [119] */
95	/* expect+1: warning: array subscript -1 cannot be negative [167] */
96	u64 += u64_buf[0xffffffff];
97	/* expect+2: warning: conversion of 'long long' to 'long' is out of range [119] */
98	/* expect+1: warning: array subscript -1 cannot be negative [167] */
99	u64 += u64_buf[0x00ffffffffffffff];
100	/* expect+2: warning: conversion of 'long long' to 'long' is out of range [119] */
101	/* expect+1: warning: array subscript -1 cannot be negative [167] */
102	u64 += u64_buf[0x0fffffffffffffff];
103	/* expect+2: warning: conversion of 'long long' to 'long' is out of range [119] */
104	/* expect+1: warning: array subscript -1 cannot be negative [167] */
105	u64 += u64_buf[0x1fffffffffffffff];
106	/* expect+2: warning: conversion of 'long long' to 'long' is out of range [119] */
107	/* expect+1: warning: array subscript -1 cannot be negative [167] */
108	u64 += u64_buf[0x3fffffffffffffff];
109	/* expect+2: warning: conversion of 'long long' to 'long' is out of range [119] */
110	/* expect+1: warning: array subscript -1 cannot be negative [167] */
111	u64 += u64_buf[0x7fffffffffffffff];
112	/* expect+1: warning: array subscript -1 cannot be negative [167] */
113	u64 += u64_buf[0xffffffffffffffff];
114}
115