Changeset cdbab55 for tests/labelledExit.c

Timestamp:

Aug 21, 2018, 2:24:29 PM (7 years ago)

Author:

Rob Schluntz <rschlunt@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, no_list, persistent-indexer, pthread-emulation, qualifiedEnum

Children:

2a6292d

Parents:

2b79a70 (diff), efa8b6a (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:

Merge branch 'master' of plg.uwaterloo.ca:/u/cforall/software/cfa/cfa-cc

File:

• tests/labelledExit.c (moved) (moved from src/tests/labelledExit.c ) (6 diffs)

tests/labelledExit.c

@@ -10 +10 @@
 // Created On       : Wed Aug 10 07:29:39 2016
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Wed Aug 10 07:30:15 2016
-// Update Count     : 1
+// Last Modified On : Thu Aug 16 08:55:39 2018
+// Update Count     : 3
 // 
 
@@ -60 +60 @@
         }
 
-  D: for ( ;; ) {
+  D: for () {
                 break D;
                 continue D;
@@ -67 +67 @@
   Z : i += 1;
         goto Z;
-  X: Y: for ( ;; ) {
+  X: Y: for () {
                 i += 1;
                 if ( i > 5 ) continue X;
@@ -74 +74 @@
                 break;
         }
-  XX: for ( ;; ) {
-          YY: for ( ;; ) {
-                  ZZ: for ( ;; ) {
+  XX: for () {
+          YY: for () {
+                  ZZ: for () {
                                 i += 1;
                                 if ( i > 5 ) continue XX;
@@ -89 +89 @@
         }
 
-        for ( ;; ) ;
+        for () ;
         for ( int i = 0 ;; ) ;
         for (  ; i < 0; ) ;
@@ -97 +97 @@
   L20: L21: L22: L23: L24: L25: L26: L27: L28: L29:
   L31: L32: L33: L34:
-        for ( ;; ) {
+        for () {
                 break L0;
         }