// Test for message: hex escape '%.*s' has more than 2 digits [358]
/*
* In the format argument of the snprintb and snprintb_m functions, a bit
* position or field width is written as an octal or hexadecimal escape
* sequence. If the description that follows a hexadecimal escape sequence
* starts with hexadecimal digits (A-Fa-f), these digits are still part of the
* escape sequence instead of the description.
*
* All platforms supported by lint have 8-bit char, so using more than the
* maximum necessary 2 hexadecimal digits in an escape sequence is suspicious
* of being unintended.
*/
/* 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);
/* expect+3: warning: hex escape '\x01B' has more than 2 digits [358] */
snprintb(buf, sizeof(buf),
"\020\x01BIT",
u32);
/* expect+3: warning: hex escape '\x01b' has more than 2 digits [358] */
snprintb(buf, sizeof(buf),
"\020\x01bit",
u32);
// This mismatch goes undetected as it has only 2 digits, does not mix
// case and is in bounds. A spellchecker could mark the unknown word
// 'ield' to give a hint.
snprintb(buf, sizeof(buf),
"\020\x1FIELD",
u32);
/* expect+3: warning: hex escape '\x01b' has more than 2 digits [358] */
snprintb(buf, sizeof(buf),
"\177\020b\x01bit\0",
u64);
/* expect+3: warning: hex escape '\x02b' has more than 2 digits [358] */
snprintb(buf, sizeof(buf),
"\177\020f\x00\x02bit\0",
u64);
// In this example from the snprintb manual page, the descriptions
// that start with a hexadecimal digit must be separated from the
// hexadecimal escape sequence for the bit position.
snprintb(buf, sizeof(buf),
"\20\x10NOTBOOT\x0f" "FPP\x0eSDVMA\x0cVIDEO"
"\x0bLORES\x0a" "FPA\x09" "DIAG\x07" "CACHE"
"\x06IOCACHE\x05LOOPBACK\x04" "DBGCACHE",
u32);
}
