//
// Cforall Version 1.0.0 Copyright (C) 2016 University of Waterloo
//
// The contents of this file are covered under the licence agreement in the
// file "LICENCE" distributed with Cforall.
//
// labelledExit.cfa --
//
// Author           : Peter A. Buhr
// Created On       : Wed Aug 10 07:29:39 2016
// Last Modified By : Peter A. Buhr
// Last Modified On : Fri Jan 17 14:18:15 2025
// Update Count     : 14
//

int foo() {
	int i = 0;
	int x = 0, y = 0;

	// block, labelled exits

  Block: {
		if ( x == y ) {
			for ( ; i < y; ) {
				y += 1;
				if ( y < 10 ) break Block;
			}
		}
	}

	// loops, labelled exits

  w1: while ( y == 10 ) break w1;

  w2: while ( x < 10 ) {
		while (y < 5 ) {
			if ( y == 3 ) break w2;
		}
		x += 1;
	}

  A: for ( i = 0; i < 10; i += 1 ) {
	  B: for ( i = 0; i < 10; i += 1 ) {
		  C: for ( i = 0; i < 10; i += 1 ) {
				goto A;
				goto B;
				goto C;
				continue A;
				continue B;
				continue C;
				continue;
				break A;
				break B;
				break C;
				break;
			}
		}
	}

  D: for () {
		break D;
		continue D;
	}

  Z : i += 1;
	goto Z;
  X: Y: for () {
		i += 1;
		if ( i > 5 ) continue X;
		if ( i < 5 ) break X;
		if ( i < 5 ) break Y;
		break;
	}
  XX: for () {
	  YY: for () {
		  ZZ: for () {
				i += 1;
				if ( i > 5 ) continue XX;
				if ( i < 5 ) continue YY;
				if ( i < 5 ) continue ZZ;
				if ( i > 5 ) break XX;
				if ( i < 5 ) break YY;
				if ( i < 5 ) break ZZ;
				break;
			}
		}
	}

	for () ;
	for ( int i = 0 ;; ) ++i;
	for (  ; i < 0; ) ;
	for (  ; ; i += 1 ) ;
  L0:  L1:  L2:  L3:  L4:  L5:  L6:  L7:  L8:  L9:
  L10: L11: L12: L13: L14: L15: L16: L17: L18: L19:
  L20: L21: L22: L23: L24: L25: L26: L27: L28: L29:
  L31: L32: L33: L34:
	for () {
		break L0;
		break L1;  break L2;  break L3;  break L4;  break L5;  break L6;
		break L7;  break L8;  break L9;	 break L10; break L11; break L12;
		break L13; break L14; break L15; break L16; break L17; break L18;
		break L19; break L20; break L21; break L22; break L23; break L24;
		break L25; break L26; break L27; break L28; break L29; break L31;
		break L32; break L33; break L34;
	}

	// switch/choose, labelled exits

  Switch: switch ( i ) {
	  default:
		i += 1;
		fallthrough;
	  case 0:
		i += 1;
		break Switch;
	  case 1:
		switch ( i ) {
		  case 0:
			break Switch;
		  default:
			; break;
		}
	}

  Choose: choose ( i ) {
	  default:
		i += 1;
	  case 0:
		i += 1;
		break Choose;
	  case 1:
		choose ( i ) {
		  case 0:
			break;
		  default:
			break Choose;
		}
		fallthrough;
	  case 2:
		i += 1;
	}

	// all nested control options, labelled exits

  Comp: {
	  Try: try {
		  For: for ( ;; ) {
			  While: while ( true ) {
				  Do: do {
					  If: if ( true ) {
						  Switch2: switch ( 3 ) {
							  case 3:
								break Try;
								break Comp;
								break For;		continue For;
								break While;	continue While;
								break Do;		continue Do;
								break If;
								break Switch2;
							} // switch
						} // if
					} while ( true );
				} // while
			} // for
		} finally {} // always executed
	} // compound

	// computed goto
	{
		void *array[] = { &&foo, &&bar, &&hack };
	  foo: bar: hack:
		&&foo;
		&&bar;
		goto *array[i];
	}

  Q: if ( i > 5 ) {
		i += 1;
		break Q;
	}
	else
		i += 1;
}

int main() {
	printf("done\n");
}

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