Changeset 3d5701e for tests/labelledExit.cfa

Timestamp:

Feb 25, 2020, 1:17:33 PM (6 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:

7dc2e015

Parents:

9fb8f01 (diff), dd9e1ca (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

resolve conflict

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 : Wed Feb  5 16:49:48 2020
+// Update Count     : 9
 // 
 
@@ -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
-        // {
-        //      void *array[] = { &&foo, &&bar, &&hack };
-        //   foo: bar: hack:
-        //      &&foo;
-        //      &&bar;
-        //      goto *array[i];
-        // }
+        {
+                void *array[] = { &&foo, &&bar, &&hack };
+          foo: bar: hack:
+                &&foo;
+                &&bar;
+                goto *array[i];
+        }
 
   Q: if ( i > 5 ) {