/*      $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);
}