xref: /src/tests/usr.bin/xlint/lint1/platform_ilp32_long.c

/*	$NetBSD: platform_ilp32_long.c,v 1.5 2024/03/09 16:47:09 rillig Exp $	*/
# 3 "platform_ilp32_long.c"

/*
 * Test features that only apply to platforms that have 32-bit int, long and
 * pointer types and where size_t is unsigned long, not unsigned int.
 *
 * On these platforms, in portable mode (-p), the type 'int' is in some cases
 * assumed to be only 24 bits wide, in order to detect conversions from
 * 'long' (or more probably 'size_t') to 'int', which can lose accuracy.
 */

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

int s32;
unsigned int u32;
long sl32;
unsigned long ul32;

void
convert_between_int_and_long(void)
{
	/*
	 * The '-p' option enables checks that apply independently of the
	 * current platform, assuming that 'long' is always wider than 'int'.
	 * This assumption, when applied on its own, leads to wrong warnings
	 * that a 32-bit 'long' may lose accuracy when converted to a 32-bit
	 * 'int'.
	 *
	 * To avoid these, take a look at the actually possible values of the
	 * right-hand side, and if they fit in the left-hand side, don't warn.
	 */
	s32 = sl32;
	sl32 = s32;
	u32 = ul32;
	ul32 = u32;
}

char ch;

void
array_index(void)
{
	static char buf[20];

	/* expect+1: warning: array subscript cannot be > 19: 2147483647 [168] */
	ch += buf[2147483647];
	/* expect+2: warning: conversion of 'long long' to 'long' is out of range [119] */
	/* expect+1: warning: array subscript cannot be negative: -2147483648 [167] */
	ch += buf[2147483648];
	/* expect+2: warning: conversion of 'unsigned int' to 'long' is out of range [119] */
	/* expect+1: warning: array subscript cannot be negative: -2147483648 [167] */
	ch += buf[0x80000000];
	/* expect+2: warning: conversion of 'unsigned int' to 'long' is out of range [119] */
	/* expect+1: warning: array subscript cannot be negative: -1 [167] */
	ch += buf[0xffffffff];
	/* expect+1: warning: array subscript cannot be negative: -1 [167] */
	ch += buf[0xffffffffffffffff];
}