/*      $NetBSD: msg_376.c,v 1.4 2024/08/31 06:57:31 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);
}