Changeset 08e8851 for tests/typedefRedef.cfa

Timestamp:

Sep 29, 2020, 1:51:01 PM (4 years ago)

Author:

Fangren Yu <f37yu@…>

Branches:

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

Children:

1526e86, 87b9332, 9dc3eb21

Parents:

2ff78aa (diff), d13dd6b (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:software/cfa/cfa-cc into master

File:

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

tests/typedefRedef.cfa

@@ -27 +27 @@
 typedef int ARR[];
 typedef int ARR[];
-// #ifdef ERR1
-// if a typedef has an array dimension,
-// it can only be redefined to the same dimension
+#ifdef ERR1
+// if a typedef has an array dimension, it can only be redefined to the same dimension
 typedef int ARR[2];
-// #endif
+#endif
 
 typedef int X;
@@ -54 +53 @@
 
 int main() {
-  typedef int ARR[sz];
+        typedef int ARR[sz];
 
-  // can't redefine typedef which is VLA
+        // can't redefine typedef which is VLA
 #if ERR1
-  typedef int ARR[sz];
+        typedef int ARR[sz];
 #endif
 
-  Foo *x;
+        Foo * x;
 
-  typedef struct Bar Foo;
-  Foo *y;
+        typedef struct Bar Foo;
+        Foo * y;
 
-  typedef int *** pt;
+        typedef int *** pt;
+
+        #pragma message( "Compiled" )                   // force non-empty .expect file
 }