/*	$NetBSD: msg_376.c,v 1.3 2024/04/12 05:17:48 rillig Exp $	*/
# 3 "msg_376.c"

// Test for message: '%.*s' overlaps earlier '%.*s' on bit %u [376]

/*
 * When bits and fields overlap, it's often due to typos or off-by-one errors.
 */

/* 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];

	// In the old-style format, bit positions are 1-based.
	snprintb(buf, sizeof(buf),
	    "\020"
	    "\001lsb"
	    "\x01lsb"
	    "\040msb"
	    "\x20msb"
	    "\041oob"
	    "\x21oob",
	    /* expect+4: warning: '\x01lsb' overlaps earlier '\001lsb' on bit 1 [376] */
	    /* expect+3: warning: escaped character '\041' in description of conversion '\x20msb""\041' [363] */
	    /* expect+2: warning: escaped character '\x21' in description of conversion '\x20msb""\041oob""\x21' [363] */
	    /* expect+1: warning: '\x20msb""\041oob""\x21oob' overlaps earlier '\040msb' on bit 32 [376] */
	    u32);

	// In the new-style format, bit positions are 0-based.
	/* expect+10: warning: 'b\x00lsb\0' overlaps earlier 'b\000lsb\0' on bit 0 [376] */
	/* expect+9: warning: 'b\x3fmsb\0' overlaps earlier 'b\077msb\0' on bit 63 [376] */
	/* expect+8: warning: bit position '\x40' (64) in 'b\x40oob\0' out of range 0..63 [371] */
	snprintb(buf, sizeof(buf),
	    "\177\020"
	    "b\000lsb\0"
	    "b\x00lsb\0"
	    "b\077msb\0"
	    "b\x3fmsb\0"
	    "b\x40oob\0",
	    u64);

	/* expect+7: warning: 'F\014\010f2\0' overlaps earlier 'f\010\010f1\0' on bit 12 [376] */
	/* expect+6: warning: 'f\020\010f3\0' overlaps earlier 'F\014\010f2\0' on bit 16 [376] */
	snprintb(buf, sizeof(buf),
	    "\177\020"
	    "f\010\010f1\0"
	    "F\014\010f2\0"
	    "f\020\010f3\0",
	    u64);
}