source: tests/fallthrough.c @ b54ad9c

//
// 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 : Peter A. Buhr
// Last Modified On : Thu Aug 16 08:21:46 2018
// Update Count     : 14
//

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;
        }

        printf("\n");

        switch ( choice ) {
          case 1:
                printf("case 1\n");
                switch ( choice ) {
                  case 1:
                        printf("case 1\n");
                        for ( int i = 0; i < 4; i += 1 ) {
                                printf("%d\n", i);
                                if ( i == 2 ) fallthru common;
                        } // for
                } // switch
                break;
          case 5:
                printf("case 5\n");
                if ( choice == 5 ) {
                        if ( choice != 5 ) {
                                printf("error\n");
                        } else {
                                printf("check\n");
                                fallthru common;
                        } // if
                } // if
          common:
                printf( "common\n" );
                fallthru;
                break;
          default:
                printf( "default\n" );
                fallthru;
        } // switch

#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);
        printf("\n");
        test(5);
}

// Local Variables: //
// tab-width: 4 //
// compile-command: "cfa fallthrough.c" //
// End: //