// Test for message: comparison value '%.*s' (%ju) exceeds maximum field value %ju [375]
/*
* When a bit field can take the values 0 to 15, there is no point comparing
* it to 16.
*/
/* 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(uint64_t u64)
{
char buf[64];
/* expect+14: warning: comparison value '\020' (16) exceeds maximum field value 15 [375] */
/* expect+13: warning: comparison value '\377' (255) exceeds maximum field value 15 [375] */
/* expect+12: warning: comparison value '\020' (16) exceeds maximum field value 15 [375] */
/* expect+11: warning: comparison value '\377' (255) exceeds maximum field value 15 [375] */
snprintb(buf, sizeof(buf),
"\177\020"
"f\000\004low\0"
"=\01715\0"
"=\02016\0"
"=\37716\0"
"F\004\004low\0"
":\01715\0"
":\02016\0"
":\37716\0",
u64);
}
