Changeset 9bdb8b7 for tests/labelledExit.cfa

Timestamp:

Oct 25, 2019, 5:44:25 PM (4 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

c3a2007

Parents:

89124ff

Message:

allow labelled break from within the body of a try statement

File:

• tests/labelledExit.cfa (modified) (2 diffs)

tests/labelledExit.cfa

@@ -10 +10 @@
 // Created On       : Wed Aug 10 07:29:39 2016
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Tue Nov  6 17:57:42 2018
-// Update Count     : 4
+// Last Modified On : Fri Oct 25 17:41:51 2019
+// Update Count     : 7
 // 
 
@@ -136 +136 @@
         }
 
+        // 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
         // {