/* $NetBSD: lsym_case_label.c,v 1.11 2023/06/15 09:19:07 rillig Exp $ */

/*
 * Tests for the tokens lsym_case and lsym_default, which represent the
 * keywords 'case' and 'default', which are both used in 'switch' statements.
 *
 * Since C11, the keyword 'default' is used in _Generic selections as well.
 *
 * See also:
 *      opt_cli.c
 *      psym_switch_expr.c
 *      C11 6.5.1.1             "Generic selection"
 */

/*
 * A case label can be used in a 'switch' statement.
 */
//indent input
void function(void){switch(expr){case 1:;case 2:break;default:switch(inner){case 4:break;}}}
//indent end

//indent run
void
function(void)
{
        switch (expr) {
        case 1: ;
        case 2:
                break;
        default:
                switch (inner) {
                case 4:
                        break;
                }
        }
}
//indent end


/*
 * If there is a '{' after a case label, it gets indented using tabs instead
 * of spaces. Indent does not necessarily insert a space in this situation,
 * which looks strange.
 */
//indent input
void
function(void)
{
        switch (expr) {
        case 1: {
                break;
        }
        case 11: {
                break;
        }
        }
}
//indent end

//indent run
void
function(void)
{
        switch (expr) {
        /* $ The space between the ':' and the '{' is actually a tab. */
        case 1: {
                        break;
                }
        case 11: {
                        break;
                }
        }
}
//indent end


/*
 * Since C11, the _Generic selection expression allows a switch on the data
 * type of an expression.
 */
//indent input
const char *type_name = _Generic(
        ' ',
        int: "character constants have type 'int'",
        char: "character constants have type 'char'",
        default: "character constants have some other type"
);
//indent end

//indent run -di0
const char *type_name = _Generic(
// $ XXX: It's strange to align the arguments at the parenthesis even though
// $ XXX: the first argument is already on a separate line.
                                 ' ',
// $ The indentation is so large that the strings would spill over the right
// $ margin.  To prevent that, the code is right-aligned.  Since the base
// $ indentation of this declaration is 0, the code might even start at the
// $ beginning of the line.
                                 int: "character constants have type 'int'",
                               char: "character constants have type 'char'",
                         default: "character constants have some other type"
);
//indent end

//indent run-equals-input -di0 -nlp


/*
 * Multi-line case expressions are rare but still should be processed in a
 * sensible way.
 */
//indent input
{
        switch (expr) {
// $ FIXME: The line containing the 'case' must be indented like a 'case'.
                case 1
                    + 2
// $ FIXME: This continuation line must be indented by 4 columns.
        + 3:
                stmt;
        }
}
//indent end

//indent run-equals-input -ci4