/*	$NetBSD: msg_380.c,v 1.1 2024/06/09 10:27:39 rillig Exp $	*/
# 3 "msg_380.c"

// Test for message: lossy conversion of %Lg to '%s', arg #%d [380]

/* lint1-extra-flags: -X 351 */

void take_s32(int);
void take_u32(unsigned int);
void take_s64(long long);
void take_u64(unsigned long long);

void
conversions(void)
{
	/* expect+1: warning: lossy conversion of -2.14748e+09 to 'int', arg #1 [380] */
	take_s32(-2147483649.0);
	take_s32(-2147483648.0);
	/* expect+1: warning: lossy conversion of 3.141 to 'int', arg #1 [380] */
	take_s32(3.141);
	take_s32(2147483647.0);
	/* expect+1: warning: lossy conversion of 2.14748e+09 to 'int', arg #1 [380] */
	take_s32(2147483648.0);

	/* expect+1: warning: lossy conversion of -1 to 'unsigned int', arg #1 [380] */
	take_u32(-1.0);
	take_u32(-0.0);
	take_u32(0.0);
	/* expect+1: warning: lossy conversion of 3.141 to 'unsigned int', arg #1 [380] */
	take_u32(3.141);
	take_u32(4294967295.0);
	/* expect+1: warning: lossy conversion of 4.29497e+09 to 'unsigned int', arg #1 [380] */
	take_u32(4294967296.0);

	/* expect+1: warning: lossy conversion of -9.22337e+18 to 'long long', arg #1 [380] */
	take_s64(-9223372036854776833.0);
	/* The constant ...809 is rounded down to ...808, thus no warning. */
	take_s64(-9223372036854775809.0);
	take_s64(-9223372036854775808.0);
	/* expect+1: warning: lossy conversion of 3.141 to 'long long', arg #1 [380] */
	take_s64(3.141);
	/* expect+1: warning: lossy conversion of 9.22337e+18 to 'long long', arg #1 [380] */
	take_s64(9223372036854775807.0);
	/* expect+1: warning: lossy conversion of 9.22337e+18 to 'long long', arg #1 [380] */
	take_s64(9223372036854775808.0);

	/* expect+1: warning: lossy conversion of -1 to 'unsigned long long', arg #1 [380] */
	take_u64(-1.0);
	take_u64(-0.0);
	take_u64(0.0);
	/* expect+1: warning: lossy conversion of 3.141 to 'unsigned long long', arg #1 [380] */
	take_u64(3.141);
	take_u64(18446744073709550591.0);
	/* expect+1: warning: lossy conversion of 1.84467e+19 to 'unsigned long long', arg #1 [380] */
	take_u64(18446744073709550592.0);
	/* expect+1: warning: lossy conversion of 1.84467e+19 to 'unsigned long long', arg #1 [380] */
	take_u64(18446744073709551615.0);
	/* expect+1: warning: lossy conversion of 1.84467e+19 to 'unsigned long long', arg #1 [380] */
	take_u64(18446744073709551616.0);
}