Changes in src/tests/dtor-early-exit.c [59239b8:32b8144]

File:

• src/tests/dtor-early-exit.c (modified) (3 diffs)

src/tests/dtor-early-exit.c

@@ -1 @@
-// 
+//
 // 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.
-// 
-// dtor-early-exit.c -- 
-// 
+//
+// dtor-early-exit.c --
+//
 // Author           : Rob Schluntz
 // Created On       : Wed Aug 17 08:26:25 2016
@@ -12 +12 @@
 // Last Modified On : Wed Aug 17 08:29:37 2016
 // Update Count     : 2
-// 
+//
 
 #include <fstream>
@@ -213 +213 @@
                 // S_G-S_L = {}
         }
+#ifdef ERR2
         // S_G = {}
-#ifdef ERR2
         if (i == 5) goto L2; // this is an error in g++ because it skips initialization of y, x
         // S_L-S_G = { y, x } => non-empty, so error