source: src/tests/fallthrough.c@ e2c70ab

//
// Cforall Version 1.0.0 Copyright (C) 2018 University of Waterloo
//
// The contents of this file are covered under the licence agreement in the
// file "LICENCE" distributed with Cforall.
//
// fallthrough.c --
//
// Author           : Rob Schluntz
// Created On       : Wed Mar 14 10:06:25 2018
// Last Modified By : Rob Schluntz
// Last Modified On : Wed Mar 14 10:32:12 2018
// Update Count     : 2
//

void test(int choice) {
        choose ( choice ) {
                case 1:
                        printf("case 1\n");
                        fallthru;
                case 2:
                        printf("case 2\n");
                        fallthru;
                        printf("did not fallthru\n");
                        if ( 7 ) fallthru common2;
                        fallthru common1;
                case 3:
                        printf("case 3\n");
                        fallthru default;
                        fallthru common1;
                common1:
                        printf("common1\n");
                /* break */
                case 4:
                        printf("case 4\n");
                        fallthru common2;
                case 5:
                        printf("case 5\n");
                        fallthru common2;
                        fallthru default;
                case 6:
                        printf("case 6\n");
                        fallthru common2;
                common2:
                        printf("common2\n");
                /* break */
                default:
                        printf("default\n");
                        fallthru;
        }

#if ERR1
        // ERROR: fallthrough must be enclosed in switch or choose
        fallthru;
        // ERROR: fallthrough must be enclosed in switch or choose
        fallthru common4;
        // ERROR: fallthrough must be enclosed in switch or choose
        fallthru default;
        choose ( 3 ) {
                case 2:
                        for ( ;; ) {
                                choose ( 2 ) {
                                        case 1:
                                                // ERROR: default is later, but in a different switch
                                                fallthru default;
                                                // ERROR: common3 is later, but not at the same level as a case clause
                                                fallthru common3;
                                }
                                common3: ;
                        }
                default:
                case 1:
                common4:
                        // ERROR: attempt to jump up with fallthrough
                        if ( 7 ) fallthru common4;
                        // ERROR: attempt to jump up with fallthrough
                        fallthru default;
        }
#endif
}

int main() {
        test(1);
        test(5);
}

// Local Variables: //
// tab-width: 4 //
// compile-command: "cfa dtor-early-exit" //
// End: //