/*      $NetBSD: msg_220.c,v 1.11 2025/05/08 20:51:41 rillig Exp $      */
# 3 "msg_220.c"

// Test for message: fallthrough on case statement [220]

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

extern void
println(const char *);

void
example(int n)
{
        switch (n) {
        case 1:
        case 3:
        case 5:
                println("odd");
                /* expect+1: warning: fallthrough on case statement [220] */
        case 2:
        case 7:
                println("prime");
                /* expect+1: warning: fallthrough on default statement [284] */
        default:
                println("number");
        }
}

void
example1(int n)
{
        switch (n) {
        case 1:
        case 3:
        case 5:
                println("odd");
                __attribute__((__fallthrough__));
        case 2:
        case 7:
                println("prime");
                __attribute__((__fallthrough__));
        default:
                println("number");
        }
}

/* https://gcc.gnu.org/onlinedocs/gcc/Warning-Options.html#index-Wimplicit-fallthrough */
void
annotation_comment_variations(int n)
{
        switch (n) {
        case 0:
                println("0");
                /* FALLTHROUGH */
        case 1:
                println("1");
                /* Seen in libarchive/archive_string.c, macro WRITE_UC. */
                /* FALL THROUGH */
                /* Lint warned before lex.c 1.79 from 2021-08-29. */
        case 2:
                println("2");
                /* FALLS THROUGH */
                /* expect+1: warning: fallthrough on case statement [220] */
        case 3:
                println("3");
                /* intentionally falls through */
                /* expect+1: warning: fallthrough on case statement [220] */
        case 4:
                println("4");
                /* This is the Splint variant, which is seldom used. */
                /* @fallthrough@ */
                /* expect+1: warning: fallthrough on case statement [220] */
        case 5:
                println("5");
                /* Seen in unbound/lookup3.c, function hashlittle. */
                /* Lint warned before lex.c 1.80 from 2021-08-29. */
                /* fallthrough */
        case 6:
                println("6");
        }
}


void do_return(void);
void noreturn(void)
    __attribute__((__noreturn__));
void noreturn_attr_comma(void)
    __attribute__((__unused__, __noreturn__));
void noreturn_attr_attr(void)
    __attribute__((__unused__))
    __attribute__((__noreturn__));

void
call_noreturn(void)
{
        switch (0) {
        case 0:
                do_return();
                /* expect+1: warning: fallthrough on case statement [220] */
        case 1:
                noreturn();
        case 2:
                noreturn_attr_comma();
        case 3:
                noreturn_attr_attr();
        case 4:
                return;
        }
}