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

/*	$NetBSD: msg_363.c,v 1.7 2024/11/05 06:23:04 rillig Exp $	*/
# 3 "msg_363.c"

// Test for message: escaped character '%.*s' in description of conversion '%.*s' [363]

/*
 * The purpose of snprintb is to produce a printable, visible representation
 * of a binary number, therefore the description should consist of simple
 * characters only, and these should not need to be escaped.  If they are,
 * it's often due to a typo, such as a missing terminating '\0'.
 */

/* 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
old_style_description(unsigned u32)
{
	char buf[64];

	/* expect+6: warning: bit position '\t' in '\tprint' should be escaped as octal or hex [369] */
	/* expect+5: warning: escaped character '\377' in description of conversion '\nable\377' [363] */
	/* expect+4: warning: bit position '\n' in '\nable\377' should be escaped as octal or hex [369] */
	snprintb(buf, sizeof(buf),
	    "\020"
	    "\001non\tprint\nable\377",
	    u32);

	// In the new format, the description can technically contain
	// arbitrary characters, but having non-printable characters would
	// produce confusing output, so any escaped characters are suspicious
	// of being unintended.
	/* expect+6: warning: escaped character '\t' in description of conversion 'b\000non\t' [363] */
	/* expect+5: warning: escaped character '\n' in description of conversion 'b\000non\tprint\n' [363] */
	/* expect+4: warning: escaped character '\377' in description of conversion 'b\000non\tprint\nable\377' [363] */
	snprintb(buf, sizeof(buf),
	    "\177\020"
	    "b\000non\tprint\nable\377\0",
	    u32);

	/* expect+10: warning: escaped character '\177' in description of conversion '\002""\177' [363] */
	/* expect+9: warning: escaped character '\177' in description of conversion '\003aa""""\177' [363] */
	/* expect+8: warning: escaped character '\177' in description of conversion '\004""bb""\177' [363] */
	/* expect+7: warning: escaped character '\177' in description of conversion '\005""""cc\177' [363] */
	snprintb(buf, sizeof(buf),
	    "\020"
	    "\002""\177"
	    "\003aa""""\177"
	    "\004""bb""\177"
	    "\005""""cc\177",
	    u32);

	/* expect+6: warning: bit position '\000' (0) in '\000print' out of range 1..32 [371] */
	/* expect+5: warning: bit position '\n' in '\nable' should be escaped as octal or hex [369] */
	/* expect+4: warning: redundant '\0' at the end of the format [377] */
	snprintb(buf, sizeof(buf),
	    "\020"
	    "\001non\000print\nable\0",
	    u32);
}