/*      $NetBSD: msg_377.c,v 1.5 2024/08/31 06:57:32 rillig Exp $       */
# 3 "msg_377.c"

// Test for message: redundant '\0' at the end of the format [377]

/*
 * Each conversion in the new-style format ends with a '\0' that needs to be
 * spelled out.
 *
 * In both old-style and new-style formats, the '\0' that ends the whole
 * format is provided by the compiler as part of the string literal.
 */

/* 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];

        /* expect+7: warning: bit position '\000' (0) in '\000out-of-range' out of range 1..32 [371] */
        /* expect+6: warning: redundant '\0' at the end of the format [377] */
        snprintb(buf, sizeof(buf),
            "\020"
            "\005bit"
            "\000out-of-range"
            "\0",
            u32);

        /* expect+5: warning: redundant '\0' at the end of the format [377] */
        snprintb(buf, sizeof(buf),
            "\177\020"
            "b\005bit\0"
            "\0",
            u64);
}