/*	$NetBSD: msg_377.c,v 1.4 2024/03/25 22:37:43 rillig Exp $	*/
# 3 "msg_377.c"

// Test for message: redundant '\0' at the end of the format [377]

/*
 * Each conversion in the new-style format ends with a '\0' that needs to be
 * spelled out.
 *
 * In both old-style and new-style formats, the '\0' that ends the whole
 * format is provided by the compiler as part of the string literal.
 */

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

typedef typeof(sizeof(0)) size_t;
typedef unsigned long long uint64_t;

int snprintb(char*, size_t, const char*, uint64_t);

void
example(unsigned u32, uint64_t u64)
{
	char buf[64];

	/* expect+7: warning: bit position '\000' (0) in '\000out-of-range' out of range 1..32 [371] */
	/* expect+6: warning: redundant '\0' at the end of the format [377] */
	snprintb(buf, sizeof(buf),
	    "\020"
	    "\005bit"
	    "\000out-of-range"
	    "\0",
	    u32);

	/* expect+5: warning: redundant '\0' at the end of the format [377] */
	snprintb(buf, sizeof(buf),
	    "\177\020"
	    "b\005bit\0"
	    "\0",
	    u64);
}