Changes in tests/array.cfa [81e768d:7ae39f0]

File:

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

tests/array.cfa

@@ -57 +57 @@
     }
 
-    int fred2(int n,
-        int a1[],
-E1(     int a2[*],   )
-        int a4[3],
-        int T[3],
-        int a5[n]
-    ) {}
-
     int mary( int T[3],                                 // same as: int *T
               int p1[const 3],                          // same as: int const *p1
@@ -118 +110 @@
 E3( int fm4( int r, int c, int m[][] );            )    // m's immediate element type is incomplete
     int fm5x( int, int, int[*][*] );                    // same as fm1 decl
-    int fm5y( int r, int c, int m[r][c] ) {}            // same as fm1 defn
-
+                                                        #ifndef __cforall
+    int fm5y( int r, int c, int m[r][c] ) {}            // BUG 276: CFA chokes but should accept
+                                                        // C: same as fm1 defn
+                                                        #endif