//
// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
//
// The contents of this file are covered under the licence agreement in the
// file "LICENCE" distributed with Cforall.
//
// control_structures.c -- 
//
// Author           : Richard C. Bilson
// Created On       : Wed May 27 17:56:53 2015
// Last Modified By : Peter A. Buhr
// Last Modified On : Mon Jan  4 11:30:30 2016
// Update Count     : 29
//

int main( void ) {
	L1: {
		L2:	switch ( 3_333_333 ) {						// underscores in constant
		  case 1,2,3:									// CFA
		  case 4~8:										// CFA
		  case 9 ... 10:								// gcc, must have spaces
				L3: for ( ;; ) {
					L4: for ( ;; ) {
						break L1;						// labelled break
						break L2;
						break L3;
						break L4;
						//continue L1;					// error: not enclosing loop
						//continue L2;					// error: not enclosing loop
						continue L3;
						continue L4;
					} // for
				} // for
				break;
			default:
				break L1;
		} // switch
		3;
		int i, j;
		choose ( 7 ) {
		  case 1,2,3:
			i = 3;
			4;
			fallthru;
		  case 4,5,6:
			j = 3;
		  default: ;
		} // choose
	} // block

#if 0
	try {
		int i = 3;
	} catch( int ) {
	} catch( double ) {
	} catch( ... ) {
	} finally {
	} // try
#endif

} // main

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