/*      $NetBSD: msg_161.c,v 1.13 2025/04/06 20:56:14 rillig Exp $      */
# 3 "msg_161.c"

// Test for message: constant in conditional context [161]
// This message is not used.  There is no evidence that it detects real bugs,
// instead it produces noise for perfectly valid code.

/* lint1-extra-flags: -h -X 351 */

void
while_1(void)
{
        /* was: warning: constant in conditional context [161] */
        while (1)
                continue;
}

void
while_0(void)
{
        /* was: warning: constant in conditional context [161] */
        while (0) {
                /* expect+1: warning: 'continue' statement not reached [193] */
                continue;
        }
}

/*
 * The pattern 'do { } while (0)' is a common technique to define a
 * preprocessor macro that behaves like a single statement.  There is
 * nothing unusual or surprising about the constant condition.
 * Before tree.c 1.202 from 2021-01-31, lint warned about it.
 */
void
do_while_0(void)
{
        do {

        } while (0);
}

void
do_while_1(void)
{
        do {
                /* was: warning: constant in conditional context [161] */
        } while (1);
}

extern void println(const char *);

/*
 * Since 2021-02-28, lint no longer warns about constant controlling
 * expressions involving sizeof since these are completely legitimate.
 */
void
test_sizeof(void)
{
        if (sizeof(int) > sizeof(char))
                println("very probable");
        if (sizeof(int) < sizeof(char))
                println("impossible");
}

const _Bool conditions[] = {
        /* XXX: Why no warning here? */
        13 < 13,
        /* XXX: Why no warning here? */
        0 < 0,
        /* XXX: Why no warning here? */
        0 != 0,
        /* was: warning: constant in conditional context [161] */
        0 == 0 && 1 == 0,
        /* was: warning: constant in conditional context [161] */
        1 == 0 || 2 == 1,
        /* was: warning: constant in conditional context [161] */
        /* expect+1: error: non-constant initializer [177] */
        0 == 0 && ""[0] == '\0',
        /* was: warning: constant in conditional context [161] */
        /* expect+1: error: non-constant initializer [177] */
        ""[0] == '\0' && 0 == 0,
        /* C99 6.6p3: Constant expressions shall not contain [...] comma */
        /* expect+2: warning: expression has null effect [129] */
        /* expect+1: error: non-constant initializer [177] */
        (0 == 0, 1 == 0),
};