Index: tests/.expect/typedefRedef-ERR1.txt
===================================================================
--- tests/.expect/typedefRedef-ERR1.txt	(revision 3bf9d101e125e952f9abb0271db2208c769320f8)
+++ tests/.expect/typedefRedef-ERR1.txt	(revision 6065281f0d80efc8e6e1b435c3186184bfd4916c)
@@ -1,3 +1,4 @@
 typedefRedef.cfa:75:25: warning: Compiled
 typedefRedef.cfa:4:1 error: Cannot redefine typedef: Foo
+typedefRedef.cfa:31:1 error: Cannot redefine typedef: ARR
 typedefRedef.cfa:65:1 error: Cannot redefine typedef: ARR
Index: tests/array-container/.expect/dimexpr-match-c-ERRS.arm64.txt
===================================================================
--- tests/array-container/.expect/dimexpr-match-c-ERRS.arm64.txt	(revision 3bf9d101e125e952f9abb0271db2208c769320f8)
+++ tests/array-container/.expect/dimexpr-match-c-ERRS.arm64.txt	(revision 6065281f0d80efc8e6e1b435c3186184bfd4916c)
@@ -1,2 +1,110 @@
+array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
 array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
   Name: f
@@ -70,4 +178,34 @@
   Address of:
     Name: a  InitAlternative: pointer to array of float with dimension of Generated Cast of:
+    Constant Expression (7: signed int)
+    ... with resolved type:
+      signed int
+  ... to:
+    unsigned long int
+  ... with resolved type:
+    unsigned long int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to array of float with dimension of Generated Cast of:
+    Constant Expression (7: signed int)
+    ... with resolved type:
+      signed int
+  ... to:
+    unsigned long int
+  ... with resolved type:
+    unsigned long int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to array of float with dimension of Generated Cast of:
+    Constant Expression (7: signed int)
+    ... with resolved type:
+      signed int
+  ... to:
+    unsigned long int
+  ... with resolved type:
+    unsigned long int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to array of float with dimension of Generated Cast of:
     Variable Expression: enu7: const instance of enum __anonymous0 with body
     ... with resolved type:
@@ -89,4 +227,119 @@
 array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
   Address of:
+    Name: a  InitAlternative: pointer to array of float with dimension of Generated Cast of:
+    Variable Expression: enu7: const instance of enum __anonymous0 with body
+    ... with resolved type:
+      const instance of enum __anonymous0 with body
+  ... to:
+    unsigned long int
+  ... with resolved type:
+    unsigned long int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to array of float with dimension of Generated Cast of:
+    Variable Expression: enu7: const instance of enum __anonymous0 with body
+    ... with resolved type:
+      const instance of enum __anonymous0 with body
+  ... to:
+    unsigned long int
+  ... with resolved type:
+    unsigned long int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to array of float with dimension of Generated Cast of:
+    Variable Expression: enu7: const instance of enum __anonymous0 with body
+    ... with resolved type:
+      const instance of enum __anonymous0 with body
+  ... to:
+    unsigned long int
+  ... with resolved type:
+    unsigned long int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to array of float with dimension of Sizeof Expression on: instance of type dim7 (not function type)
+  ... with resolved type:
+    unsigned long int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to array of float with dimension of Sizeof Expression on: instance of type dim7 (not function type)
+  ... with resolved type:
+    unsigned long int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to array of float with dimension of Sizeof Expression on: instance of type dim7 (not function type)
+  ... with resolved type:
+    unsigned long int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to array of float with dimension of Sizeof Expression on: instance of type dim7 (not function type)
+  ... with resolved type:
+    unsigned long int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to array of float with dimension of Sizeof Expression on: instance of type dim7 (not function type)
+  ... with resolved type:
+    unsigned long int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to variable length array of float with dimension of Generated Cast of:
+    Variable Expression: _array_dim16: const unsigned long int
+    ... with resolved type:
+      const unsigned long int
+  ... to:
+    unsigned long int
+  ... with resolved type:
+    unsigned long int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to variable length array of float with dimension of Generated Cast of:
+    Variable Expression: _array_dim18: const unsigned long int
+    ... with resolved type:
+      const unsigned long int
+  ... to:
+    unsigned long int
+  ... with resolved type:
+    unsigned long int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to variable length array of float with dimension of Generated Cast of:
+    Variable Expression: _array_dim19: const unsigned long int
+    ... with resolved type:
+      const unsigned long int
+  ... to:
+    unsigned long int
+  ... with resolved type:
+    unsigned long int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to variable length array of float with dimension of Generated Cast of:
+    Variable Expression: _array_dim20: const unsigned long int
+    ... with resolved type:
+      const unsigned long int
+  ... to:
+    unsigned long int
+  ... with resolved type:
+    unsigned long int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to variable length array of float with dimension of Generated Cast of:
+    Variable Expression: _array_dim21: const unsigned long int
+    ... with resolved type:
+      const unsigned long int
+  ... to:
+    unsigned long int
+  ... with resolved type:
+    unsigned long int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to variable length array of float with dimension of Generated Cast of:
+    Variable Expression: _array_dim23: const unsigned long int
+    ... with resolved type:
+      const unsigned long int
+  ... to:
+    unsigned long int
+  ... with resolved type:
+    unsigned long int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
     Name: a  InitAlternative: pointer to variable length array of float with dimension of Generated Cast of:
     Variable Expression: cpr7: const signed int
@@ -110,139 +363,419 @@
   Address of:
     Name: a  InitAlternative: pointer to variable length array of float with dimension of Generated Cast of:
-    Variable Expression: mut7: signed int
-    ... with resolved type:
-      signed int
-  ... to:
-    unsigned long int
-  ... with resolved type:
-    unsigned long int
-array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
-  Address of:
-    Name: a  InitAlternative: pointer to variable length array of float with dimension of Generated Cast of:
-    Variable Expression: mut7: signed int
-    ... with resolved type:
-      signed int
-  ... to:
-    unsigned long int
-  ... with resolved type:
-    unsigned long int
-array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
+    Variable Expression: cpr7: const signed int
+    ... with resolved type:
+      const signed int
+  ... to:
+    unsigned long int
+  ... with resolved type:
+    unsigned long int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to variable length array of float with dimension of Generated Cast of:
+    Variable Expression: cpr7: const signed int
+    ... with resolved type:
+      const signed int
+  ... to:
+    unsigned long int
+  ... with resolved type:
+    unsigned long int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to variable length array of float with dimension of Generated Cast of:
+    Variable Expression: cpr7: const signed int
+    ... with resolved type:
+      const signed int
+  ... to:
+    unsigned long int
+  ... with resolved type:
+    unsigned long int
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
Index: tests/array-container/.expect/dimexpr-match-c-ERRS.x64.txt
===================================================================
--- tests/array-container/.expect/dimexpr-match-c-ERRS.x64.txt	(revision 3bf9d101e125e952f9abb0271db2208c769320f8)
+++ tests/array-container/.expect/dimexpr-match-c-ERRS.x64.txt	(revision 6065281f0d80efc8e6e1b435c3186184bfd4916c)
@@ -1,2 +1,110 @@
+array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
 array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
   Name: f
@@ -70,4 +178,34 @@
   Address of:
     Name: a  InitAlternative: pointer to array of float with dimension of Generated Cast of:
+    Constant Expression (7: signed int)
+    ... with resolved type:
+      signed int
+  ... to:
+    unsigned long int
+  ... with resolved type:
+    unsigned long int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to array of float with dimension of Generated Cast of:
+    Constant Expression (7: signed int)
+    ... with resolved type:
+      signed int
+  ... to:
+    unsigned long int
+  ... with resolved type:
+    unsigned long int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to array of float with dimension of Generated Cast of:
+    Constant Expression (7: signed int)
+    ... with resolved type:
+      signed int
+  ... to:
+    unsigned long int
+  ... with resolved type:
+    unsigned long int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to array of float with dimension of Generated Cast of:
     Variable Expression: enu7: const instance of enum __anonymous0 with body
     ... with resolved type:
@@ -89,4 +227,119 @@
 array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
   Address of:
+    Name: a  InitAlternative: pointer to array of float with dimension of Generated Cast of:
+    Variable Expression: enu7: const instance of enum __anonymous0 with body
+    ... with resolved type:
+      const instance of enum __anonymous0 with body
+  ... to:
+    unsigned long int
+  ... with resolved type:
+    unsigned long int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to array of float with dimension of Generated Cast of:
+    Variable Expression: enu7: const instance of enum __anonymous0 with body
+    ... with resolved type:
+      const instance of enum __anonymous0 with body
+  ... to:
+    unsigned long int
+  ... with resolved type:
+    unsigned long int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to array of float with dimension of Generated Cast of:
+    Variable Expression: enu7: const instance of enum __anonymous0 with body
+    ... with resolved type:
+      const instance of enum __anonymous0 with body
+  ... to:
+    unsigned long int
+  ... with resolved type:
+    unsigned long int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to array of float with dimension of Sizeof Expression on: instance of type dim7 (not function type)
+  ... with resolved type:
+    unsigned long int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to array of float with dimension of Sizeof Expression on: instance of type dim7 (not function type)
+  ... with resolved type:
+    unsigned long int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to array of float with dimension of Sizeof Expression on: instance of type dim7 (not function type)
+  ... with resolved type:
+    unsigned long int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to array of float with dimension of Sizeof Expression on: instance of type dim7 (not function type)
+  ... with resolved type:
+    unsigned long int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to array of float with dimension of Sizeof Expression on: instance of type dim7 (not function type)
+  ... with resolved type:
+    unsigned long int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to variable length array of float with dimension of Generated Cast of:
+    Variable Expression: _array_dim16: const unsigned long int
+    ... with resolved type:
+      const unsigned long int
+  ... to:
+    unsigned long int
+  ... with resolved type:
+    unsigned long int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to variable length array of float with dimension of Generated Cast of:
+    Variable Expression: _array_dim18: const unsigned long int
+    ... with resolved type:
+      const unsigned long int
+  ... to:
+    unsigned long int
+  ... with resolved type:
+    unsigned long int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to variable length array of float with dimension of Generated Cast of:
+    Variable Expression: _array_dim19: const unsigned long int
+    ... with resolved type:
+      const unsigned long int
+  ... to:
+    unsigned long int
+  ... with resolved type:
+    unsigned long int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to variable length array of float with dimension of Generated Cast of:
+    Variable Expression: _array_dim20: const unsigned long int
+    ... with resolved type:
+      const unsigned long int
+  ... to:
+    unsigned long int
+  ... with resolved type:
+    unsigned long int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to variable length array of float with dimension of Generated Cast of:
+    Variable Expression: _array_dim21: const unsigned long int
+    ... with resolved type:
+      const unsigned long int
+  ... to:
+    unsigned long int
+  ... with resolved type:
+    unsigned long int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to variable length array of float with dimension of Generated Cast of:
+    Variable Expression: _array_dim23: const unsigned long int
+    ... with resolved type:
+      const unsigned long int
+  ... to:
+    unsigned long int
+  ... with resolved type:
+    unsigned long int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
     Name: a  InitAlternative: pointer to variable length array of float with dimension of Generated Cast of:
     Variable Expression: cpr7: const signed int
@@ -110,139 +363,419 @@
   Address of:
     Name: a  InitAlternative: pointer to variable length array of float with dimension of Generated Cast of:
-    Variable Expression: mut7: signed int
-    ... with resolved type:
-      signed int
-  ... to:
-    unsigned long int
-  ... with resolved type:
-    unsigned long int
-array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
-  Address of:
-    Name: a  InitAlternative: pointer to variable length array of float with dimension of Generated Cast of:
-    Variable Expression: mut7: signed int
-    ... with resolved type:
-      signed int
-  ... to:
-    unsigned long int
-  ... with resolved type:
-    unsigned long int
-array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
+    Variable Expression: cpr7: const signed int
+    ... with resolved type:
+      const signed int
+  ... to:
+    unsigned long int
+  ... with resolved type:
+    unsigned long int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to variable length array of float with dimension of Generated Cast of:
+    Variable Expression: cpr7: const signed int
+    ... with resolved type:
+      const signed int
+  ... to:
+    unsigned long int
+  ... with resolved type:
+    unsigned long int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to variable length array of float with dimension of Generated Cast of:
+    Variable Expression: cpr7: const signed int
+    ... with resolved type:
+      const signed int
+  ... to:
+    unsigned long int
+  ... with resolved type:
+    unsigned long int
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
Index: tests/array-container/.expect/dimexpr-match-c-ERRS.x86.txt
===================================================================
--- tests/array-container/.expect/dimexpr-match-c-ERRS.x86.txt	(revision 3bf9d101e125e952f9abb0271db2208c769320f8)
+++ tests/array-container/.expect/dimexpr-match-c-ERRS.x86.txt	(revision 6065281f0d80efc8e6e1b435c3186184bfd4916c)
@@ -1,2 +1,110 @@
+array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
 array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
   Name: f
@@ -70,4 +178,84 @@
   Address of:
     Name: a  InitAlternative: pointer to array of float with dimension of Generated Cast of:
+    Constant Expression (7: signed int)
+    ... with resolved type:
+      signed int
+  ... to:
+    unsigned int
+  ... with resolved type:
+    unsigned int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to array of float with dimension of Generated Cast of:
+    Constant Expression (7: signed int)
+    ... with resolved type:
+      signed int
+  ... to:
+    unsigned int
+  ... with resolved type:
+    unsigned int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to array of float with dimension of Generated Cast of:
+    Constant Expression (7: signed int)
+    ... with resolved type:
+      signed int
+  ... to:
+    unsigned int
+  ... with resolved type:
+    unsigned int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to array of float with dimension of Generated Cast of:
+    Sizeof Expression on: instance of type dim7 (not function type)
+    ... with resolved type:
+      unsigned long int
+  ... to:
+    unsigned int
+  ... with resolved type:
+    unsigned int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to array of float with dimension of Generated Cast of:
+    Sizeof Expression on: instance of type dim7 (not function type)
+    ... with resolved type:
+      unsigned long int
+  ... to:
+    unsigned int
+  ... with resolved type:
+    unsigned int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to array of float with dimension of Generated Cast of:
+    Sizeof Expression on: instance of type dim7 (not function type)
+    ... with resolved type:
+      unsigned long int
+  ... to:
+    unsigned int
+  ... with resolved type:
+    unsigned int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to array of float with dimension of Generated Cast of:
+    Sizeof Expression on: instance of type dim7 (not function type)
+    ... with resolved type:
+      unsigned long int
+  ... to:
+    unsigned int
+  ... with resolved type:
+    unsigned int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to array of float with dimension of Generated Cast of:
+    Sizeof Expression on: instance of type dim7 (not function type)
+    ... with resolved type:
+      unsigned long int
+  ... to:
+    unsigned int
+  ... with resolved type:
+    unsigned int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to array of float with dimension of Generated Cast of:
     Variable Expression: enu7: const instance of enum __anonymous0 with body
     ... with resolved type:
@@ -89,4 +277,94 @@
 array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
   Address of:
+    Name: a  InitAlternative: pointer to array of float with dimension of Generated Cast of:
+    Variable Expression: enu7: const instance of enum __anonymous0 with body
+    ... with resolved type:
+      const instance of enum __anonymous0 with body
+  ... to:
+    unsigned int
+  ... with resolved type:
+    unsigned int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to array of float with dimension of Generated Cast of:
+    Variable Expression: enu7: const instance of enum __anonymous0 with body
+    ... with resolved type:
+      const instance of enum __anonymous0 with body
+  ... to:
+    unsigned int
+  ... with resolved type:
+    unsigned int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to array of float with dimension of Generated Cast of:
+    Variable Expression: enu7: const instance of enum __anonymous0 with body
+    ... with resolved type:
+      const instance of enum __anonymous0 with body
+  ... to:
+    unsigned int
+  ... with resolved type:
+    unsigned int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to variable length array of float with dimension of Generated Cast of:
+    Variable Expression: _array_dim16: const unsigned int
+    ... with resolved type:
+      const unsigned int
+  ... to:
+    unsigned int
+  ... with resolved type:
+    unsigned int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to variable length array of float with dimension of Generated Cast of:
+    Variable Expression: _array_dim18: const unsigned int
+    ... with resolved type:
+      const unsigned int
+  ... to:
+    unsigned int
+  ... with resolved type:
+    unsigned int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to variable length array of float with dimension of Generated Cast of:
+    Variable Expression: _array_dim19: const unsigned int
+    ... with resolved type:
+      const unsigned int
+  ... to:
+    unsigned int
+  ... with resolved type:
+    unsigned int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to variable length array of float with dimension of Generated Cast of:
+    Variable Expression: _array_dim20: const unsigned int
+    ... with resolved type:
+      const unsigned int
+  ... to:
+    unsigned int
+  ... with resolved type:
+    unsigned int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to variable length array of float with dimension of Generated Cast of:
+    Variable Expression: _array_dim21: const unsigned int
+    ... with resolved type:
+      const unsigned int
+  ... to:
+    unsigned int
+  ... with resolved type:
+    unsigned int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to variable length array of float with dimension of Generated Cast of:
+    Variable Expression: _array_dim23: const unsigned int
+    ... with resolved type:
+      const unsigned int
+  ... to:
+    unsigned int
+  ... with resolved type:
+    unsigned int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
     Name: a  InitAlternative: pointer to variable length array of float with dimension of Generated Cast of:
     Variable Expression: cpr7: const signed int
@@ -110,139 +388,419 @@
   Address of:
     Name: a  InitAlternative: pointer to variable length array of float with dimension of Generated Cast of:
-    Variable Expression: mut7: signed int
-    ... with resolved type:
-      signed int
-  ... to:
-    unsigned int
-  ... with resolved type:
-    unsigned int
-array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
-  Address of:
-    Name: a  InitAlternative: pointer to variable length array of float with dimension of Generated Cast of:
-    Variable Expression: mut7: signed int
-    ... with resolved type:
-      signed int
-  ... to:
-    unsigned int
-  ... with resolved type:
-    unsigned int
-array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
+    Variable Expression: cpr7: const signed int
+    ... with resolved type:
+      const signed int
+  ... to:
+    unsigned int
+  ... with resolved type:
+    unsigned int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to variable length array of float with dimension of Generated Cast of:
+    Variable Expression: cpr7: const signed int
+    ... with resolved type:
+      const signed int
+  ... to:
+    unsigned int
+  ... with resolved type:
+    unsigned int
+array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to variable length array of float with dimension of Generated Cast of:
+    Variable Expression: cpr7: const signed int
+    ... with resolved type:
+      const signed int
+  ... to:
+    unsigned int
+  ... with resolved type:
+    unsigned int
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
Index: tests/array-container/.expect/dimexpr-match-c.txt
===================================================================
--- tests/array-container/.expect/dimexpr-match-c.txt	(revision 3bf9d101e125e952f9abb0271db2208c769320f8)
+++ tests/array-container/.expect/dimexpr-match-c.txt	(revision 6065281f0d80efc8e6e1b435c3186184bfd4916c)
@@ -13,13 +13,23 @@
 skip STA NE UNS, L=enu7, R=mut42
 done DYN EQ DYN, L=cpr7, R=cpr7
-done DYN NE DYN, L=cpr7, R=cpr42
+skip DYN NE DYN, L=cpr7, R=cpr42
 skip DYN NE STA, L=cpr7, R=42
 skip DYN NE STA, L=cpr7, R=enu42
-done DYN NE UNS, L=cpr7, R=mut42
-done UNS EQ UNS, L=mut7, R=mut7
-done UNS NE UNS, L=mut7, R=mut42
+skip DYN NE UNS, L=cpr7, R=mut42
+skip UNS EQ UNS, L=mut7, R=mut7
+skip UNS NE UNS, L=mut7, R=mut42
 skip UNS NE STA, L=mut7, R=42
 skip UNS NE STA, L=mut7, R=enu42
-done UNS NE DYN, L=mut7, R=cpr42
+skip UNS NE DYN, L=mut7, R=cpr42
+skip STA NE DYN, L=7, R=dim42
+skip STA NE DYN, L=enu7, R=dim42
+skip DYN NE DYN, L=cpr7, R=dim42
+done DYN EQ DYN, L=dim7, R=dim7
+skip DYN NE DYN, L=dim7, R=dim42
+skip DYN NE STA, L=dim7, R=42
+skip DYN NE STA, L=dim7, R=enu42
+skip DYN NE DYN, L=dim7, R=cpr42
+skip DYN NE UNS, L=dim7, R=mut42
+skip UNS NE DYN, L=mut7, R=dim42
 ---- PTRVAR_INIT:   { float a[__R__]; float (*b)[__L__] = & a; }
 done STA EQ STA, L=7, R=7
@@ -36,13 +46,23 @@
 skip STA NE UNS, L=enu7, R=mut42
 done DYN EQ DYN, L=cpr7, R=cpr7
-done DYN NE DYN, L=cpr7, R=cpr42
+skip DYN NE DYN, L=cpr7, R=cpr42
 skip DYN NE STA, L=cpr7, R=42
 skip DYN NE STA, L=cpr7, R=enu42
-done DYN NE UNS, L=cpr7, R=mut42
-done UNS EQ UNS, L=mut7, R=mut7
-done UNS NE UNS, L=mut7, R=mut42
+skip DYN NE UNS, L=cpr7, R=mut42
+skip UNS EQ UNS, L=mut7, R=mut7
+skip UNS NE UNS, L=mut7, R=mut42
 skip UNS NE STA, L=mut7, R=42
 skip UNS NE STA, L=mut7, R=enu42
-done UNS NE DYN, L=mut7, R=cpr42
+skip UNS NE DYN, L=mut7, R=cpr42
+skip STA NE DYN, L=7, R=dim42
+skip STA NE DYN, L=enu7, R=dim42
+skip DYN NE DYN, L=cpr7, R=dim42
+done DYN EQ DYN, L=dim7, R=dim7
+skip DYN NE DYN, L=dim7, R=dim42
+skip DYN NE STA, L=dim7, R=42
+skip DYN NE STA, L=dim7, R=enu42
+skip DYN NE DYN, L=dim7, R=cpr42
+skip DYN NE UNS, L=dim7, R=mut42
+skip UNS NE DYN, L=mut7, R=dim42
 ---- PTRVAR_ASGN:   { float a[__R__]; float (*b)[__L__] = 0p; b = & a; }
 done STA EQ STA, L=7, R=7
@@ -59,13 +79,23 @@
 skip STA NE UNS, L=enu7, R=mut42
 done DYN EQ DYN, L=cpr7, R=cpr7
-done DYN NE DYN, L=cpr7, R=cpr42
+skip DYN NE DYN, L=cpr7, R=cpr42
 skip DYN NE STA, L=cpr7, R=42
 skip DYN NE STA, L=cpr7, R=enu42
-done DYN NE UNS, L=cpr7, R=mut42
-done UNS EQ UNS, L=mut7, R=mut7
-done UNS NE UNS, L=mut7, R=mut42
+skip DYN NE UNS, L=cpr7, R=mut42
+skip UNS EQ UNS, L=mut7, R=mut7
+skip UNS NE UNS, L=mut7, R=mut42
 skip UNS NE STA, L=mut7, R=42
 skip UNS NE STA, L=mut7, R=enu42
-done UNS NE DYN, L=mut7, R=cpr42
+skip UNS NE DYN, L=mut7, R=cpr42
+skip STA NE DYN, L=7, R=dim42
+skip STA NE DYN, L=enu7, R=dim42
+skip DYN NE DYN, L=cpr7, R=dim42
+done DYN EQ DYN, L=dim7, R=dim7
+skip DYN NE DYN, L=dim7, R=dim42
+skip DYN NE STA, L=dim7, R=42
+skip DYN NE STA, L=dim7, R=enu42
+skip DYN NE DYN, L=dim7, R=cpr42
+skip DYN NE UNS, L=dim7, R=mut42
+skip UNS NE DYN, L=mut7, R=dim42
 ---- REFVAR_ASGN:   { float a[__R__]; float (&b)[__L__] = *0p; & b = & a; }
 done STA EQ STA, L=7, R=7
@@ -82,11 +112,21 @@
 skip STA NE UNS, L=enu7, R=mut42
 done DYN EQ DYN, L=cpr7, R=cpr7
-done DYN NE DYN, L=cpr7, R=cpr42
+skip DYN NE DYN, L=cpr7, R=cpr42
 skip DYN NE STA, L=cpr7, R=42
 skip DYN NE STA, L=cpr7, R=enu42
-done DYN NE UNS, L=cpr7, R=mut42
-done UNS EQ UNS, L=mut7, R=mut7
-done UNS NE UNS, L=mut7, R=mut42
+skip DYN NE UNS, L=cpr7, R=mut42
+skip UNS EQ UNS, L=mut7, R=mut7
+skip UNS NE UNS, L=mut7, R=mut42
 skip UNS NE STA, L=mut7, R=42
 skip UNS NE STA, L=mut7, R=enu42
-done UNS NE DYN, L=mut7, R=cpr42
+skip UNS NE DYN, L=mut7, R=cpr42
+skip STA NE DYN, L=7, R=dim42
+skip STA NE DYN, L=enu7, R=dim42
+skip DYN NE DYN, L=cpr7, R=dim42
+done DYN EQ DYN, L=dim7, R=dim7
+skip DYN NE DYN, L=dim7, R=dim42
+skip DYN NE STA, L=dim7, R=42
+skip DYN NE STA, L=dim7, R=enu42
+skip DYN NE DYN, L=dim7, R=cpr42
+skip DYN NE UNS, L=dim7, R=mut42
+skip UNS NE DYN, L=mut7, R=dim42
Index: tests/array-container/.expect/dimexpr-match-cfa-ERRS.arm64.txt
===================================================================
--- tests/array-container/.expect/dimexpr-match-cfa-ERRS.arm64.txt	(revision 3bf9d101e125e952f9abb0271db2208c769320f8)
+++ tests/array-container/.expect/dimexpr-match-cfa-ERRS.arm64.txt	(revision 6065281f0d80efc8e6e1b435c3186184bfd4916c)
@@ -1,2 +1,56 @@
+array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
 array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
   Name: f
@@ -154,4 +208,36 @@
   ... with parameters
     array of char with dimension of Generated Cast of:
+      Constant Expression (7: signed int)
+      ... with resolved type:
+        signed int
+    ... to:
+      unsigned long int
+    ... with resolved type:
+      unsigned long int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to instance of struct arpk with body
+  ... with parameters
+    array of char with dimension of Generated Cast of:
+      Constant Expression (7: signed int)
+      ... with resolved type:
+        signed int
+    ... to:
+      unsigned long int
+    ... with resolved type:
+      unsigned long int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to instance of struct arpk with body
+  ... with parameters
+    array of char with dimension of Generated Cast of:
       Variable Expression: enu7: const instance of enum __anonymous0 with body
       ... with resolved type:
@@ -201,4 +287,36 @@
     Name: a  InitAlternative: pointer to instance of struct arpk with body
   ... with parameters
+    array of char with dimension of Generated Cast of:
+      Variable Expression: enu7: const instance of enum __anonymous0 with body
+      ... with resolved type:
+        const instance of enum __anonymous0 with body
+    ... to:
+      unsigned long int
+    ... with resolved type:
+      unsigned long int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to instance of struct arpk with body
+  ... with parameters
+    array of char with dimension of Generated Cast of:
+      Variable Expression: enu7: const instance of enum __anonymous0 with body
+      ... with resolved type:
+        const instance of enum __anonymous0 with body
+    ... to:
+      unsigned long int
+    ... with resolved type:
+      unsigned long int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to instance of struct arpk with body
+  ... with parameters
     instance of type dim7 (not function type)
     float
@@ -247,4 +365,100 @@
   ... with parameters
     variable length array of char with dimension of Generated Cast of:
+      Variable Expression: _array_dim16: const unsigned long int
+      ... with resolved type:
+        const unsigned long int
+    ... to:
+      unsigned long int
+    ... with resolved type:
+      unsigned long int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to instance of struct arpk with body
+  ... with parameters
+    variable length array of char with dimension of Generated Cast of:
+      Variable Expression: _array_dim18: const unsigned long int
+      ... with resolved type:
+        const unsigned long int
+    ... to:
+      unsigned long int
+    ... with resolved type:
+      unsigned long int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to instance of struct arpk with body
+  ... with parameters
+    variable length array of char with dimension of Generated Cast of:
+      Variable Expression: _array_dim19: const unsigned long int
+      ... with resolved type:
+        const unsigned long int
+    ... to:
+      unsigned long int
+    ... with resolved type:
+      unsigned long int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to instance of struct arpk with body
+  ... with parameters
+    variable length array of char with dimension of Generated Cast of:
+      Variable Expression: _array_dim20: const unsigned long int
+      ... with resolved type:
+        const unsigned long int
+    ... to:
+      unsigned long int
+    ... with resolved type:
+      unsigned long int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to instance of struct arpk with body
+  ... with parameters
+    variable length array of char with dimension of Generated Cast of:
+      Variable Expression: _array_dim21: const unsigned long int
+      ... with resolved type:
+        const unsigned long int
+    ... to:
+      unsigned long int
+    ... with resolved type:
+      unsigned long int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to instance of struct arpk with body
+  ... with parameters
+    variable length array of char with dimension of Generated Cast of:
+      Variable Expression: _array_dim23: const unsigned long int
+      ... with resolved type:
+        const unsigned long int
+    ... to:
+      unsigned long int
+    ... with resolved type:
+      unsigned long int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to instance of struct arpk with body
+  ... with parameters
+    variable length array of char with dimension of Generated Cast of:
       Variable Expression: cpr7: const signed int
       ... with resolved type:
@@ -295,5 +509,348 @@
   ... with parameters
     variable length array of char with dimension of Generated Cast of:
-      Variable Expression: mut7: signed int
+      Variable Expression: cpr7: const signed int
+      ... with resolved type:
+        const signed int
+    ... to:
+      unsigned long int
+    ... with resolved type:
+      unsigned long int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to instance of struct arpk with body
+  ... with parameters
+    variable length array of char with dimension of Generated Cast of:
+      Variable Expression: cpr7: const signed int
+      ... with resolved type:
+        const signed int
+    ... to:
+      unsigned long int
+    ... with resolved type:
+      unsigned long int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Name: a  InitAlternative: reference to instance of struct arpk with body
+  ... with parameters
+    array of char with dimension of Generated Cast of:
+      Constant Expression (7: signed int)
       ... with resolved type:
         signed int
@@ -306,10 +863,9 @@
     float
 
-array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
-  Address of:
-    Name: a  InitAlternative: pointer to instance of struct arpk with body
-  ... with parameters
-    variable length array of char with dimension of Generated Cast of:
-      Variable Expression: mut7: signed int
+array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Name: a  InitAlternative: reference to instance of struct arpk with body
+  ... with parameters
+    array of char with dimension of Generated Cast of:
+      Constant Expression (7: signed int)
       ... with resolved type:
         signed int
@@ -322,10 +878,9 @@
     float
 
-array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
-  Address of:
-    Name: a  InitAlternative: pointer to instance of struct arpk with body
-  ... with parameters
-    variable length array of char with dimension of Generated Cast of:
-      Variable Expression: mut7: signed int
+array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Name: a  InitAlternative: reference to instance of struct arpk with body
+  ... with parameters
+    array of char with dimension of Generated Cast of:
+      Constant Expression (7: signed int)
       ... with resolved type:
         signed int
@@ -338,208 +893,4 @@
     float
 
-array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: f
-...to:
-  Name: a
-
-array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: f
-...to:
-  Name: a
-
-array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: f
-...to:
-  Name: a
-
-array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: f
-...to:
-  Name: a
-
-array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: f
-...to:
-  Name: a
-
-array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: f
-...to:
-  Name: a
-
-array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: f
-...to:
-  Name: a
-
-array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: f
-...to:
-  Name: a
-
-array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: f
-...to:
-  Name: a
-
-array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: f
-...to:
-  Name: a
-
-array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: f
-...to:
-  Name: a
-
-array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: f
-...to:
-  Name: a
-
-array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: f
-...to:
-  Name: a
-
-array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: f
-...to:
-  Name: a
-
-array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: f
-...to:
-  Name: a
-
-array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: f
-...to:
-  Name: a
-
-array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: f
-...to:
-  Name: a
-
 array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
   Name: a  InitAlternative: reference to instance of struct arpk with body
@@ -576,19 +927,4 @@
   ... with parameters
     array of char with dimension of Generated Cast of:
-      Constant Expression (7: signed int)
-      ... with resolved type:
-        signed int
-    ... to:
-      unsigned long int
-    ... with resolved type:
-      unsigned long int
-    float
-    float
-    float
-
-array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
-  Name: a  InitAlternative: reference to instance of struct arpk with body
-  ... with parameters
-    array of char with dimension of Generated Cast of:
       Variable Expression: enu7: const instance of enum __anonymous0 with body
       ... with resolved type:
@@ -635,4 +971,34 @@
   Name: a  InitAlternative: reference to instance of struct arpk with body
   ... with parameters
+    array of char with dimension of Generated Cast of:
+      Variable Expression: enu7: const instance of enum __anonymous0 with body
+      ... with resolved type:
+        const instance of enum __anonymous0 with body
+    ... to:
+      unsigned long int
+    ... with resolved type:
+      unsigned long int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Name: a  InitAlternative: reference to instance of struct arpk with body
+  ... with parameters
+    array of char with dimension of Generated Cast of:
+      Variable Expression: enu7: const instance of enum __anonymous0 with body
+      ... with resolved type:
+        const instance of enum __anonymous0 with body
+    ... to:
+      unsigned long int
+    ... with resolved type:
+      unsigned long int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Name: a  InitAlternative: reference to instance of struct arpk with body
+  ... with parameters
     instance of type dim7 (not function type)
     float
@@ -676,4 +1042,94 @@
   ... with parameters
     variable length array of char with dimension of Generated Cast of:
+      Variable Expression: _array_dim52: const unsigned long int
+      ... with resolved type:
+        const unsigned long int
+    ... to:
+      unsigned long int
+    ... with resolved type:
+      unsigned long int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Name: a  InitAlternative: reference to instance of struct arpk with body
+  ... with parameters
+    variable length array of char with dimension of Generated Cast of:
+      Variable Expression: _array_dim54: const unsigned long int
+      ... with resolved type:
+        const unsigned long int
+    ... to:
+      unsigned long int
+    ... with resolved type:
+      unsigned long int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Name: a  InitAlternative: reference to instance of struct arpk with body
+  ... with parameters
+    variable length array of char with dimension of Generated Cast of:
+      Variable Expression: _array_dim55: const unsigned long int
+      ... with resolved type:
+        const unsigned long int
+    ... to:
+      unsigned long int
+    ... with resolved type:
+      unsigned long int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Name: a  InitAlternative: reference to instance of struct arpk with body
+  ... with parameters
+    variable length array of char with dimension of Generated Cast of:
+      Variable Expression: _array_dim56: const unsigned long int
+      ... with resolved type:
+        const unsigned long int
+    ... to:
+      unsigned long int
+    ... with resolved type:
+      unsigned long int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Name: a  InitAlternative: reference to instance of struct arpk with body
+  ... with parameters
+    variable length array of char with dimension of Generated Cast of:
+      Variable Expression: _array_dim57: const unsigned long int
+      ... with resolved type:
+        const unsigned long int
+    ... to:
+      unsigned long int
+    ... with resolved type:
+      unsigned long int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Name: a  InitAlternative: reference to instance of struct arpk with body
+  ... with parameters
+    variable length array of char with dimension of Generated Cast of:
+      Variable Expression: _array_dim59: const unsigned long int
+      ... with resolved type:
+        const unsigned long int
+    ... to:
+      unsigned long int
+    ... with resolved type:
+      unsigned long int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Name: a  InitAlternative: reference to instance of struct arpk with body
+  ... with parameters
+    variable length array of char with dimension of Generated Cast of:
       Variable Expression: cpr7: const signed int
       ... with resolved type:
@@ -721,281 +1177,392 @@
   ... with parameters
     variable length array of char with dimension of Generated Cast of:
-      Variable Expression: mut7: signed int
-      ... with resolved type:
-        signed int
-    ... to:
-      unsigned long int
-    ... with resolved type:
-      unsigned long int
-    float
-    float
-    float
-
-array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
-  Name: a  InitAlternative: reference to instance of struct arpk with body
-  ... with parameters
-    variable length array of char with dimension of Generated Cast of:
-      Variable Expression: mut7: signed int
-      ... with resolved type:
-        signed int
-    ... to:
-      unsigned long int
-    ... with resolved type:
-      unsigned long int
-    float
-    float
-    float
-
-array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
-  Name: a  InitAlternative: reference to instance of struct arpk with body
-  ... with parameters
-    variable length array of char with dimension of Generated Cast of:
-      Variable Expression: mut7: signed int
-      ... with resolved type:
-        signed int
-    ... to:
-      unsigned long int
-    ... with resolved type:
-      unsigned long int
-    float
-    float
-    float
-
-array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: zip
-...to:
-  Name: a
-  Name: b
-
-array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: zip
-...to:
-  Name: a
-  Name: b
-
-array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: zip
-...to:
-  Name: a
-  Name: b
-
-array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: zip
-...to:
-  Name: a
-  Name: b
-
-array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: zip
-...to:
-  Name: a
-  Name: b
-
-array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: zip
-...to:
-  Name: a
-  Name: b
-
-array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: zip
-...to:
-  Name: a
-  Name: b
-
-array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: zip
-...to:
-  Name: a
-  Name: b
-
-array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: zip
-...to:
-  Name: a
-  Name: b
-
-array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: zip
-...to:
-  Name: a
-  Name: b
-
-array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: zip
-...to:
-  Name: a
-  Name: b
-
-array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: zip
-...to:
-  Name: a
-  Name: b
-
-array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: zip
-...to:
-  Name: a
-  Name: b
-
-array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: zip
-...to:
-  Name: a
-  Name: b
-
-array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: zip
-...to:
-  Name: a
-  Name: b
-
-array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: zip
-...to:
-  Name: a
-  Name: b
-
-array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: zip
-...to:
-  Name: a
-  Name: b
-
+      Variable Expression: cpr7: const signed int
+      ... with resolved type:
+        const signed int
+    ... to:
+      unsigned long int
+    ... with resolved type:
+      unsigned long int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Name: a  InitAlternative: reference to instance of struct arpk with body
+  ... with parameters
+    variable length array of char with dimension of Generated Cast of:
+      Variable Expression: cpr7: const signed int
+      ... with resolved type:
+        const signed int
+    ... to:
+      unsigned long int
+    ... with resolved type:
+      unsigned long int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
Index: tests/array-container/.expect/dimexpr-match-cfa-ERRS.x64.txt
===================================================================
--- tests/array-container/.expect/dimexpr-match-cfa-ERRS.x64.txt	(revision 3bf9d101e125e952f9abb0271db2208c769320f8)
+++ tests/array-container/.expect/dimexpr-match-cfa-ERRS.x64.txt	(revision 6065281f0d80efc8e6e1b435c3186184bfd4916c)
@@ -1,2 +1,56 @@
+array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
 array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
   Name: f
@@ -154,4 +208,36 @@
   ... with parameters
     array of char with dimension of Generated Cast of:
+      Constant Expression (7: signed int)
+      ... with resolved type:
+        signed int
+    ... to:
+      unsigned long int
+    ... with resolved type:
+      unsigned long int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to instance of struct arpk with body
+  ... with parameters
+    array of char with dimension of Generated Cast of:
+      Constant Expression (7: signed int)
+      ... with resolved type:
+        signed int
+    ... to:
+      unsigned long int
+    ... with resolved type:
+      unsigned long int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to instance of struct arpk with body
+  ... with parameters
+    array of char with dimension of Generated Cast of:
       Variable Expression: enu7: const instance of enum __anonymous0 with body
       ... with resolved type:
@@ -201,4 +287,36 @@
     Name: a  InitAlternative: pointer to instance of struct arpk with body
   ... with parameters
+    array of char with dimension of Generated Cast of:
+      Variable Expression: enu7: const instance of enum __anonymous0 with body
+      ... with resolved type:
+        const instance of enum __anonymous0 with body
+    ... to:
+      unsigned long int
+    ... with resolved type:
+      unsigned long int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to instance of struct arpk with body
+  ... with parameters
+    array of char with dimension of Generated Cast of:
+      Variable Expression: enu7: const instance of enum __anonymous0 with body
+      ... with resolved type:
+        const instance of enum __anonymous0 with body
+    ... to:
+      unsigned long int
+    ... with resolved type:
+      unsigned long int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to instance of struct arpk with body
+  ... with parameters
     instance of type dim7 (not function type)
     float
@@ -247,4 +365,100 @@
   ... with parameters
     variable length array of char with dimension of Generated Cast of:
+      Variable Expression: _array_dim16: const unsigned long int
+      ... with resolved type:
+        const unsigned long int
+    ... to:
+      unsigned long int
+    ... with resolved type:
+      unsigned long int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to instance of struct arpk with body
+  ... with parameters
+    variable length array of char with dimension of Generated Cast of:
+      Variable Expression: _array_dim18: const unsigned long int
+      ... with resolved type:
+        const unsigned long int
+    ... to:
+      unsigned long int
+    ... with resolved type:
+      unsigned long int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to instance of struct arpk with body
+  ... with parameters
+    variable length array of char with dimension of Generated Cast of:
+      Variable Expression: _array_dim19: const unsigned long int
+      ... with resolved type:
+        const unsigned long int
+    ... to:
+      unsigned long int
+    ... with resolved type:
+      unsigned long int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to instance of struct arpk with body
+  ... with parameters
+    variable length array of char with dimension of Generated Cast of:
+      Variable Expression: _array_dim20: const unsigned long int
+      ... with resolved type:
+        const unsigned long int
+    ... to:
+      unsigned long int
+    ... with resolved type:
+      unsigned long int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to instance of struct arpk with body
+  ... with parameters
+    variable length array of char with dimension of Generated Cast of:
+      Variable Expression: _array_dim21: const unsigned long int
+      ... with resolved type:
+        const unsigned long int
+    ... to:
+      unsigned long int
+    ... with resolved type:
+      unsigned long int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to instance of struct arpk with body
+  ... with parameters
+    variable length array of char with dimension of Generated Cast of:
+      Variable Expression: _array_dim23: const unsigned long int
+      ... with resolved type:
+        const unsigned long int
+    ... to:
+      unsigned long int
+    ... with resolved type:
+      unsigned long int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to instance of struct arpk with body
+  ... with parameters
+    variable length array of char with dimension of Generated Cast of:
       Variable Expression: cpr7: const signed int
       ... with resolved type:
@@ -295,5 +509,348 @@
   ... with parameters
     variable length array of char with dimension of Generated Cast of:
-      Variable Expression: mut7: signed int
+      Variable Expression: cpr7: const signed int
+      ... with resolved type:
+        const signed int
+    ... to:
+      unsigned long int
+    ... with resolved type:
+      unsigned long int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to instance of struct arpk with body
+  ... with parameters
+    variable length array of char with dimension of Generated Cast of:
+      Variable Expression: cpr7: const signed int
+      ... with resolved type:
+        const signed int
+    ... to:
+      unsigned long int
+    ... with resolved type:
+      unsigned long int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Name: a  InitAlternative: reference to instance of struct arpk with body
+  ... with parameters
+    array of char with dimension of Generated Cast of:
+      Constant Expression (7: signed int)
       ... with resolved type:
         signed int
@@ -306,10 +863,9 @@
     float
 
-array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
-  Address of:
-    Name: a  InitAlternative: pointer to instance of struct arpk with body
-  ... with parameters
-    variable length array of char with dimension of Generated Cast of:
-      Variable Expression: mut7: signed int
+array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Name: a  InitAlternative: reference to instance of struct arpk with body
+  ... with parameters
+    array of char with dimension of Generated Cast of:
+      Constant Expression (7: signed int)
       ... with resolved type:
         signed int
@@ -322,10 +878,9 @@
     float
 
-array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
-  Address of:
-    Name: a  InitAlternative: pointer to instance of struct arpk with body
-  ... with parameters
-    variable length array of char with dimension of Generated Cast of:
-      Variable Expression: mut7: signed int
+array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Name: a  InitAlternative: reference to instance of struct arpk with body
+  ... with parameters
+    array of char with dimension of Generated Cast of:
+      Constant Expression (7: signed int)
       ... with resolved type:
         signed int
@@ -338,208 +893,4 @@
     float
 
-array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: f
-...to:
-  Name: a
-
-array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: f
-...to:
-  Name: a
-
-array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: f
-...to:
-  Name: a
-
-array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: f
-...to:
-  Name: a
-
-array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: f
-...to:
-  Name: a
-
-array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: f
-...to:
-  Name: a
-
-array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: f
-...to:
-  Name: a
-
-array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: f
-...to:
-  Name: a
-
-array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: f
-...to:
-  Name: a
-
-array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: f
-...to:
-  Name: a
-
-array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: f
-...to:
-  Name: a
-
-array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: f
-...to:
-  Name: a
-
-array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: f
-...to:
-  Name: a
-
-array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: f
-...to:
-  Name: a
-
-array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: f
-...to:
-  Name: a
-
-array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: f
-...to:
-  Name: a
-
-array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: f
-...to:
-  Name: a
-
 array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
   Name: a  InitAlternative: reference to instance of struct arpk with body
@@ -576,19 +927,4 @@
   ... with parameters
     array of char with dimension of Generated Cast of:
-      Constant Expression (7: signed int)
-      ... with resolved type:
-        signed int
-    ... to:
-      unsigned long int
-    ... with resolved type:
-      unsigned long int
-    float
-    float
-    float
-
-array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
-  Name: a  InitAlternative: reference to instance of struct arpk with body
-  ... with parameters
-    array of char with dimension of Generated Cast of:
       Variable Expression: enu7: const instance of enum __anonymous0 with body
       ... with resolved type:
@@ -635,4 +971,34 @@
   Name: a  InitAlternative: reference to instance of struct arpk with body
   ... with parameters
+    array of char with dimension of Generated Cast of:
+      Variable Expression: enu7: const instance of enum __anonymous0 with body
+      ... with resolved type:
+        const instance of enum __anonymous0 with body
+    ... to:
+      unsigned long int
+    ... with resolved type:
+      unsigned long int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Name: a  InitAlternative: reference to instance of struct arpk with body
+  ... with parameters
+    array of char with dimension of Generated Cast of:
+      Variable Expression: enu7: const instance of enum __anonymous0 with body
+      ... with resolved type:
+        const instance of enum __anonymous0 with body
+    ... to:
+      unsigned long int
+    ... with resolved type:
+      unsigned long int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Name: a  InitAlternative: reference to instance of struct arpk with body
+  ... with parameters
     instance of type dim7 (not function type)
     float
@@ -676,4 +1042,94 @@
   ... with parameters
     variable length array of char with dimension of Generated Cast of:
+      Variable Expression: _array_dim52: const unsigned long int
+      ... with resolved type:
+        const unsigned long int
+    ... to:
+      unsigned long int
+    ... with resolved type:
+      unsigned long int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Name: a  InitAlternative: reference to instance of struct arpk with body
+  ... with parameters
+    variable length array of char with dimension of Generated Cast of:
+      Variable Expression: _array_dim54: const unsigned long int
+      ... with resolved type:
+        const unsigned long int
+    ... to:
+      unsigned long int
+    ... with resolved type:
+      unsigned long int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Name: a  InitAlternative: reference to instance of struct arpk with body
+  ... with parameters
+    variable length array of char with dimension of Generated Cast of:
+      Variable Expression: _array_dim55: const unsigned long int
+      ... with resolved type:
+        const unsigned long int
+    ... to:
+      unsigned long int
+    ... with resolved type:
+      unsigned long int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Name: a  InitAlternative: reference to instance of struct arpk with body
+  ... with parameters
+    variable length array of char with dimension of Generated Cast of:
+      Variable Expression: _array_dim56: const unsigned long int
+      ... with resolved type:
+        const unsigned long int
+    ... to:
+      unsigned long int
+    ... with resolved type:
+      unsigned long int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Name: a  InitAlternative: reference to instance of struct arpk with body
+  ... with parameters
+    variable length array of char with dimension of Generated Cast of:
+      Variable Expression: _array_dim57: const unsigned long int
+      ... with resolved type:
+        const unsigned long int
+    ... to:
+      unsigned long int
+    ... with resolved type:
+      unsigned long int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Name: a  InitAlternative: reference to instance of struct arpk with body
+  ... with parameters
+    variable length array of char with dimension of Generated Cast of:
+      Variable Expression: _array_dim59: const unsigned long int
+      ... with resolved type:
+        const unsigned long int
+    ... to:
+      unsigned long int
+    ... with resolved type:
+      unsigned long int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Name: a  InitAlternative: reference to instance of struct arpk with body
+  ... with parameters
+    variable length array of char with dimension of Generated Cast of:
       Variable Expression: cpr7: const signed int
       ... with resolved type:
@@ -721,281 +1177,392 @@
   ... with parameters
     variable length array of char with dimension of Generated Cast of:
-      Variable Expression: mut7: signed int
-      ... with resolved type:
-        signed int
-    ... to:
-      unsigned long int
-    ... with resolved type:
-      unsigned long int
-    float
-    float
-    float
-
-array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
-  Name: a  InitAlternative: reference to instance of struct arpk with body
-  ... with parameters
-    variable length array of char with dimension of Generated Cast of:
-      Variable Expression: mut7: signed int
-      ... with resolved type:
-        signed int
-    ... to:
-      unsigned long int
-    ... with resolved type:
-      unsigned long int
-    float
-    float
-    float
-
-array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
-  Name: a  InitAlternative: reference to instance of struct arpk with body
-  ... with parameters
-    variable length array of char with dimension of Generated Cast of:
-      Variable Expression: mut7: signed int
-      ... with resolved type:
-        signed int
-    ... to:
-      unsigned long int
-    ... with resolved type:
-      unsigned long int
-    float
-    float
-    float
-
-array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: zip
-...to:
-  Name: a
-  Name: b
-
-array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: zip
-...to:
-  Name: a
-  Name: b
-
-array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: zip
-...to:
-  Name: a
-  Name: b
-
-array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: zip
-...to:
-  Name: a
-  Name: b
-
-array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: zip
-...to:
-  Name: a
-  Name: b
-
-array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: zip
-...to:
-  Name: a
-  Name: b
-
-array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: zip
-...to:
-  Name: a
-  Name: b
-
-array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: zip
-...to:
-  Name: a
-  Name: b
-
-array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: zip
-...to:
-  Name: a
-  Name: b
-
-array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: zip
-...to:
-  Name: a
-  Name: b
-
-array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: zip
-...to:
-  Name: a
-  Name: b
-
-array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: zip
-...to:
-  Name: a
-  Name: b
-
-array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: zip
-...to:
-  Name: a
-  Name: b
-
-array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: zip
-...to:
-  Name: a
-  Name: b
-
-array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: zip
-...to:
-  Name: a
-  Name: b
-
-array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: zip
-...to:
-  Name: a
-  Name: b
-
-array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: zip
-...to:
-  Name: a
-  Name: b
-
+      Variable Expression: cpr7: const signed int
+      ... with resolved type:
+        const signed int
+    ... to:
+      unsigned long int
+    ... with resolved type:
+      unsigned long int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Name: a  InitAlternative: reference to instance of struct arpk with body
+  ... with parameters
+    variable length array of char with dimension of Generated Cast of:
+      Variable Expression: cpr7: const signed int
+      ... with resolved type:
+        const signed int
+    ... to:
+      unsigned long int
+    ... with resolved type:
+      unsigned long int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
Index: tests/array-container/.expect/dimexpr-match-cfa-ERRS.x86.txt
===================================================================
--- tests/array-container/.expect/dimexpr-match-cfa-ERRS.x86.txt	(revision 3bf9d101e125e952f9abb0271db2208c769320f8)
+++ tests/array-container/.expect/dimexpr-match-cfa-ERRS.x86.txt	(revision 6065281f0d80efc8e6e1b435c3186184bfd4916c)
@@ -1,2 +1,56 @@
+array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Address of:
+    Name: a
+
 array-container/dimexpr-match-cfa.cfa:59:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
   Name: f
@@ -154,4 +208,36 @@
   ... with parameters
     array of char with dimension of Generated Cast of:
+      Constant Expression (7: signed int)
+      ... with resolved type:
+        signed int
+    ... to:
+      unsigned int
+    ... with resolved type:
+      unsigned int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to instance of struct arpk with body
+  ... with parameters
+    array of char with dimension of Generated Cast of:
+      Constant Expression (7: signed int)
+      ... with resolved type:
+        signed int
+    ... to:
+      unsigned int
+    ... with resolved type:
+      unsigned int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to instance of struct arpk with body
+  ... with parameters
+    array of char with dimension of Generated Cast of:
       Variable Expression: enu7: const instance of enum __anonymous0 with body
       ... with resolved type:
@@ -201,4 +287,36 @@
     Name: a  InitAlternative: pointer to instance of struct arpk with body
   ... with parameters
+    array of char with dimension of Generated Cast of:
+      Variable Expression: enu7: const instance of enum __anonymous0 with body
+      ... with resolved type:
+        const instance of enum __anonymous0 with body
+    ... to:
+      unsigned int
+    ... with resolved type:
+      unsigned int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to instance of struct arpk with body
+  ... with parameters
+    array of char with dimension of Generated Cast of:
+      Variable Expression: enu7: const instance of enum __anonymous0 with body
+      ... with resolved type:
+        const instance of enum __anonymous0 with body
+    ... to:
+      unsigned int
+    ... with resolved type:
+      unsigned int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to instance of struct arpk with body
+  ... with parameters
     instance of type dim7 (not function type)
     float
@@ -247,4 +365,100 @@
   ... with parameters
     variable length array of char with dimension of Generated Cast of:
+      Variable Expression: _array_dim16: const unsigned int
+      ... with resolved type:
+        const unsigned int
+    ... to:
+      unsigned int
+    ... with resolved type:
+      unsigned int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to instance of struct arpk with body
+  ... with parameters
+    variable length array of char with dimension of Generated Cast of:
+      Variable Expression: _array_dim18: const unsigned int
+      ... with resolved type:
+        const unsigned int
+    ... to:
+      unsigned int
+    ... with resolved type:
+      unsigned int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to instance of struct arpk with body
+  ... with parameters
+    variable length array of char with dimension of Generated Cast of:
+      Variable Expression: _array_dim19: const unsigned int
+      ... with resolved type:
+        const unsigned int
+    ... to:
+      unsigned int
+    ... with resolved type:
+      unsigned int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to instance of struct arpk with body
+  ... with parameters
+    variable length array of char with dimension of Generated Cast of:
+      Variable Expression: _array_dim20: const unsigned int
+      ... with resolved type:
+        const unsigned int
+    ... to:
+      unsigned int
+    ... with resolved type:
+      unsigned int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to instance of struct arpk with body
+  ... with parameters
+    variable length array of char with dimension of Generated Cast of:
+      Variable Expression: _array_dim21: const unsigned int
+      ... with resolved type:
+        const unsigned int
+    ... to:
+      unsigned int
+    ... with resolved type:
+      unsigned int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to instance of struct arpk with body
+  ... with parameters
+    variable length array of char with dimension of Generated Cast of:
+      Variable Expression: _array_dim23: const unsigned int
+      ... with resolved type:
+        const unsigned int
+    ... to:
+      unsigned int
+    ... with resolved type:
+      unsigned int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to instance of struct arpk with body
+  ... with parameters
+    variable length array of char with dimension of Generated Cast of:
       Variable Expression: cpr7: const signed int
       ... with resolved type:
@@ -295,5 +509,348 @@
   ... with parameters
     variable length array of char with dimension of Generated Cast of:
-      Variable Expression: mut7: signed int
+      Variable Expression: cpr7: const signed int
+      ... with resolved type:
+        const signed int
+    ... to:
+      unsigned int
+    ... with resolved type:
+      unsigned int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Address of:
+    Name: a  InitAlternative: pointer to instance of struct arpk with body
+  ... with parameters
+    variable length array of char with dimension of Generated Cast of:
+      Variable Expression: cpr7: const signed int
+      ... with resolved type:
+        const signed int
+    ... to:
+      unsigned int
+    ... with resolved type:
+      unsigned int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+
+array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Name: a  InitAlternative: reference to instance of struct arpk with body
+  ... with parameters
+    array of char with dimension of Generated Cast of:
+      Constant Expression (7: signed int)
       ... with resolved type:
         signed int
@@ -306,10 +863,9 @@
     float
 
-array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
-  Address of:
-    Name: a  InitAlternative: pointer to instance of struct arpk with body
-  ... with parameters
-    variable length array of char with dimension of Generated Cast of:
-      Variable Expression: mut7: signed int
+array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Name: a  InitAlternative: reference to instance of struct arpk with body
+  ... with parameters
+    array of char with dimension of Generated Cast of:
+      Constant Expression (7: signed int)
       ... with resolved type:
         signed int
@@ -322,10 +878,9 @@
     float
 
-array-container/dimexpr-match-cfa.cfa:67:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
-  Address of:
-    Name: a  InitAlternative: pointer to instance of struct arpk with body
-  ... with parameters
-    variable length array of char with dimension of Generated Cast of:
-      Variable Expression: mut7: signed int
+array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Name: a  InitAlternative: reference to instance of struct arpk with body
+  ... with parameters
+    array of char with dimension of Generated Cast of:
+      Constant Expression (7: signed int)
       ... with resolved type:
         signed int
@@ -338,208 +893,4 @@
     float
 
-array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:76:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: f
-...to:
-  Name: a
-
-array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: f
-...to:
-  Name: a
-
-array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: f
-...to:
-  Name: a
-
-array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: f
-...to:
-  Name: a
-
-array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: f
-...to:
-  Name: a
-
-array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: f
-...to:
-  Name: a
-
-array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: f
-...to:
-  Name: a
-
-array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: f
-...to:
-  Name: a
-
-array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: f
-...to:
-  Name: a
-
-array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: f
-...to:
-  Name: a
-
-array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: f
-...to:
-  Name: a
-
-array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: f
-...to:
-  Name: a
-
-array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: f
-...to:
-  Name: a
-
-array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: f
-...to:
-  Name: a
-
-array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: f
-...to:
-  Name: a
-
-array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: f
-...to:
-  Name: a
-
-array-container/dimexpr-match-cfa.cfa:85:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: f
-...to:
-  Name: a
-
 array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
   Name: a  InitAlternative: reference to instance of struct arpk with body
@@ -576,19 +927,4 @@
   ... with parameters
     array of char with dimension of Generated Cast of:
-      Constant Expression (7: signed int)
-      ... with resolved type:
-        signed int
-    ... to:
-      unsigned int
-    ... with resolved type:
-      unsigned int
-    float
-    float
-    float
-
-array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
-  Name: a  InitAlternative: reference to instance of struct arpk with body
-  ... with parameters
-    array of char with dimension of Generated Cast of:
       Variable Expression: enu7: const instance of enum __anonymous0 with body
       ... with resolved type:
@@ -635,4 +971,34 @@
   Name: a  InitAlternative: reference to instance of struct arpk with body
   ... with parameters
+    array of char with dimension of Generated Cast of:
+      Variable Expression: enu7: const instance of enum __anonymous0 with body
+      ... with resolved type:
+        const instance of enum __anonymous0 with body
+    ... to:
+      unsigned int
+    ... with resolved type:
+      unsigned int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Name: a  InitAlternative: reference to instance of struct arpk with body
+  ... with parameters
+    array of char with dimension of Generated Cast of:
+      Variable Expression: enu7: const instance of enum __anonymous0 with body
+      ... with resolved type:
+        const instance of enum __anonymous0 with body
+    ... to:
+      unsigned int
+    ... with resolved type:
+      unsigned int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Name: a  InitAlternative: reference to instance of struct arpk with body
+  ... with parameters
     instance of type dim7 (not function type)
     float
@@ -676,4 +1042,94 @@
   ... with parameters
     variable length array of char with dimension of Generated Cast of:
+      Variable Expression: _array_dim52: const unsigned int
+      ... with resolved type:
+        const unsigned int
+    ... to:
+      unsigned int
+    ... with resolved type:
+      unsigned int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Name: a  InitAlternative: reference to instance of struct arpk with body
+  ... with parameters
+    variable length array of char with dimension of Generated Cast of:
+      Variable Expression: _array_dim54: const unsigned int
+      ... with resolved type:
+        const unsigned int
+    ... to:
+      unsigned int
+    ... with resolved type:
+      unsigned int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Name: a  InitAlternative: reference to instance of struct arpk with body
+  ... with parameters
+    variable length array of char with dimension of Generated Cast of:
+      Variable Expression: _array_dim55: const unsigned int
+      ... with resolved type:
+        const unsigned int
+    ... to:
+      unsigned int
+    ... with resolved type:
+      unsigned int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Name: a  InitAlternative: reference to instance of struct arpk with body
+  ... with parameters
+    variable length array of char with dimension of Generated Cast of:
+      Variable Expression: _array_dim56: const unsigned int
+      ... with resolved type:
+        const unsigned int
+    ... to:
+      unsigned int
+    ... with resolved type:
+      unsigned int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Name: a  InitAlternative: reference to instance of struct arpk with body
+  ... with parameters
+    variable length array of char with dimension of Generated Cast of:
+      Variable Expression: _array_dim57: const unsigned int
+      ... with resolved type:
+        const unsigned int
+    ... to:
+      unsigned int
+    ... with resolved type:
+      unsigned int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Name: a  InitAlternative: reference to instance of struct arpk with body
+  ... with parameters
+    variable length array of char with dimension of Generated Cast of:
+      Variable Expression: _array_dim59: const unsigned int
+      ... with resolved type:
+        const unsigned int
+    ... to:
+      unsigned int
+    ... with resolved type:
+      unsigned int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Name: a  InitAlternative: reference to instance of struct arpk with body
+  ... with parameters
+    variable length array of char with dimension of Generated Cast of:
       Variable Expression: cpr7: const signed int
       ... with resolved type:
@@ -721,281 +1177,392 @@
   ... with parameters
     variable length array of char with dimension of Generated Cast of:
-      Variable Expression: mut7: signed int
-      ... with resolved type:
-        signed int
-    ... to:
-      unsigned int
-    ... with resolved type:
-      unsigned int
-    float
-    float
-    float
-
-array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
-  Name: a  InitAlternative: reference to instance of struct arpk with body
-  ... with parameters
-    variable length array of char with dimension of Generated Cast of:
-      Variable Expression: mut7: signed int
-      ... with resolved type:
-        signed int
-    ... to:
-      unsigned int
-    ... with resolved type:
-      unsigned int
-    float
-    float
-    float
-
-array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
-  Name: a  InitAlternative: reference to instance of struct arpk with body
-  ... with parameters
-    variable length array of char with dimension of Generated Cast of:
-      Variable Expression: mut7: signed int
-      ... with resolved type:
-        signed int
-    ... to:
-      unsigned int
-    ... with resolved type:
-      unsigned int
-    float
-    float
-    float
-
-array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: ?=?
-...to:
-  Address of:
-    Name: b
-  Address of:
-    Name: a
-
-array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: zip
-...to:
-  Name: a
-  Name: b
-
-array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: zip
-...to:
-  Name: a
-  Name: b
-
-array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: zip
-...to:
-  Name: a
-  Name: b
-
-array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: zip
-...to:
-  Name: a
-  Name: b
-
-array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: zip
-...to:
-  Name: a
-  Name: b
-
-array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: zip
-...to:
-  Name: a
-  Name: b
-
-array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: zip
-...to:
-  Name: a
-  Name: b
-
-array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: zip
-...to:
-  Name: a
-  Name: b
-
-array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: zip
-...to:
-  Name: a
-  Name: b
-
-array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: zip
-...to:
-  Name: a
-  Name: b
-
-array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: zip
-...to:
-  Name: a
-  Name: b
-
-array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: zip
-...to:
-  Name: a
-  Name: b
-
-array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: zip
-...to:
-  Name: a
-  Name: b
-
-array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: zip
-...to:
-  Name: a
-  Name: b
-
-array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: zip
-...to:
-  Name: a
-  Name: b
-
-array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: zip
-...to:
-  Name: a
-  Name: b
-
-array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
-  Name: zip
-...to:
-  Name: a
-  Name: b
-
+      Variable Expression: cpr7: const signed int
+      ... with resolved type:
+        const signed int
+    ... to:
+      unsigned int
+    ... with resolved type:
+      unsigned int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:93:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
+  Name: a  InitAlternative: reference to instance of struct arpk with body
+  ... with parameters
+    variable length array of char with dimension of Generated Cast of:
+      Variable Expression: cpr7: const signed int
+      ... with resolved type:
+        const signed int
+    ... to:
+      unsigned int
+    ... with resolved type:
+      unsigned int
+    float
+    float
+    float
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:102:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: ?=?
+...to:
+  Address of:
+    Name: b
+  Address of:
+    Name: a
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
+array-container/dimexpr-match-cfa.cfa:115:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: zip
+...to:
+  Name: a
+  Name: b
+
Index: tests/array-container/.expect/dimexpr-match-cfa.txt
===================================================================
--- tests/array-container/.expect/dimexpr-match-cfa.txt	(revision 3bf9d101e125e952f9abb0271db2208c769320f8)
+++ tests/array-container/.expect/dimexpr-match-cfa.txt	(revision 6065281f0d80efc8e6e1b435c3186184bfd4916c)
@@ -1,231 +1,231 @@
 ---- PTRPARM_CALL:   { void f( typeof( mkar_( ((tag(float)){}) , ((tag(__L__)){}) ) ) * x ) {} typeof( mkar_( ((tag(float)){}) , ((tag(__R__)){}) ) ) a; f( & a ); }
 done STA EQ STA, L=7, R=7
-done STA NE STA, L=7, R=42
-done STA EQ STA, L=7, R=enu7
-done STA NE STA, L=7, R=enu42
-skip STA NE DYN, L=7, R=cpr42
-skip STA NE UNS, L=7, R=mut42
-done STA EQ STA, L=enu7, R=enu7
-done STA NE STA, L=enu7, R=enu42
-done STA EQ STA, L=enu7, R=7
-done STA NE STA, L=enu7, R=42
-skip STA NE DYN, L=enu7, R=cpr42
-skip STA NE UNS, L=enu7, R=mut42
-done DYN EQ DYN, L=cpr7, R=cpr7
-done DYN NE DYN, L=cpr7, R=cpr42
-skip DYN NE STA, L=cpr7, R=42
-skip DYN NE STA, L=cpr7, R=enu42
-done DYN NE UNS, L=cpr7, R=mut42
-done UNS EQ UNS, L=mut7, R=mut7
-done UNS NE UNS, L=mut7, R=mut42
-skip UNS NE STA, L=mut7, R=42
-skip UNS NE STA, L=mut7, R=enu42
-done UNS NE DYN, L=mut7, R=cpr42
-skip STA NE XXX, L=7, R=dim42
-skip STA NE XXX, L=enu7, R=dim42
-skip DYN NE XXX, L=cpr7, R=dim42
-done XXX EQ XXX, L=dim7, R=dim7
-skip XXX NE XXX, L=dim7, R=dim42
-skip XXX NE STA, L=dim7, R=42
-skip XXX NE STA, L=dim7, R=enu42
-skip XXX NE DYN, L=dim7, R=cpr42
-skip XXX NE UNS, L=dim7, R=mut42
-skip UNS NE XXX, L=mut7, R=dim42
+skip STA NE STA, L=7, R=42
+done STA EQ STA, L=7, R=enu7
+skip STA NE STA, L=7, R=enu42
+skip STA NE DYN, L=7, R=cpr42
+skip STA NE UNS, L=7, R=mut42
+done STA EQ STA, L=enu7, R=enu7
+skip STA NE STA, L=enu7, R=enu42
+done STA EQ STA, L=enu7, R=7
+skip STA NE STA, L=enu7, R=42
+skip STA NE DYN, L=enu7, R=cpr42
+skip STA NE UNS, L=enu7, R=mut42
+done DYN EQ DYN, L=cpr7, R=cpr7
+skip DYN NE DYN, L=cpr7, R=cpr42
+skip DYN NE STA, L=cpr7, R=42
+skip DYN NE STA, L=cpr7, R=enu42
+skip DYN NE UNS, L=cpr7, R=mut42
+skip UNS EQ UNS, L=mut7, R=mut7
+skip UNS NE UNS, L=mut7, R=mut42
+skip UNS NE STA, L=mut7, R=42
+skip UNS NE STA, L=mut7, R=enu42
+skip UNS NE DYN, L=mut7, R=cpr42
+skip STA NE DYN, L=7, R=dim42
+skip STA NE DYN, L=enu7, R=dim42
+skip DYN NE DYN, L=cpr7, R=dim42
+done DYN EQ DYN, L=dim7, R=dim7
+skip DYN NE DYN, L=dim7, R=dim42
+skip DYN NE STA, L=dim7, R=42
+skip DYN NE STA, L=dim7, R=enu42
+skip DYN NE DYN, L=dim7, R=cpr42
+skip DYN NE UNS, L=dim7, R=mut42
+skip UNS NE DYN, L=mut7, R=dim42
 ---- PTRVAR_INIT:   { typeof( mkar_( ((tag(float)){}) , ((tag(__R__)){}) ) ) a; typeof( mkar_( ((tag(float)){}) , ((tag(__L__)){}) ) ) * b = & a; }
 done STA EQ STA, L=7, R=7
-done STA NE STA, L=7, R=42
-done STA EQ STA, L=7, R=enu7
-done STA NE STA, L=7, R=enu42
-skip STA NE DYN, L=7, R=cpr42
-skip STA NE UNS, L=7, R=mut42
-done STA EQ STA, L=enu7, R=enu7
-done STA NE STA, L=enu7, R=enu42
-done STA EQ STA, L=enu7, R=7
-done STA NE STA, L=enu7, R=42
-skip STA NE DYN, L=enu7, R=cpr42
-skip STA NE UNS, L=enu7, R=mut42
-done DYN EQ DYN, L=cpr7, R=cpr7
-done DYN NE DYN, L=cpr7, R=cpr42
-skip DYN NE STA, L=cpr7, R=42
-skip DYN NE STA, L=cpr7, R=enu42
-done DYN NE UNS, L=cpr7, R=mut42
-done UNS EQ UNS, L=mut7, R=mut7
-done UNS NE UNS, L=mut7, R=mut42
-skip UNS NE STA, L=mut7, R=42
-skip UNS NE STA, L=mut7, R=enu42
-done UNS NE DYN, L=mut7, R=cpr42
-skip STA NE XXX, L=7, R=dim42
-skip STA NE XXX, L=enu7, R=dim42
-skip DYN NE XXX, L=cpr7, R=dim42
-done XXX EQ XXX, L=dim7, R=dim7
-skip XXX NE XXX, L=dim7, R=dim42
-skip XXX NE STA, L=dim7, R=42
-skip XXX NE STA, L=dim7, R=enu42
-skip XXX NE DYN, L=dim7, R=cpr42
-skip XXX NE UNS, L=dim7, R=mut42
-skip UNS NE XXX, L=mut7, R=dim42
+skip STA NE STA, L=7, R=42
+done STA EQ STA, L=7, R=enu7
+skip STA NE STA, L=7, R=enu42
+skip STA NE DYN, L=7, R=cpr42
+skip STA NE UNS, L=7, R=mut42
+done STA EQ STA, L=enu7, R=enu7
+skip STA NE STA, L=enu7, R=enu42
+done STA EQ STA, L=enu7, R=7
+skip STA NE STA, L=enu7, R=42
+skip STA NE DYN, L=enu7, R=cpr42
+skip STA NE UNS, L=enu7, R=mut42
+done DYN EQ DYN, L=cpr7, R=cpr7
+skip DYN NE DYN, L=cpr7, R=cpr42
+skip DYN NE STA, L=cpr7, R=42
+skip DYN NE STA, L=cpr7, R=enu42
+skip DYN NE UNS, L=cpr7, R=mut42
+skip UNS EQ UNS, L=mut7, R=mut7
+skip UNS NE UNS, L=mut7, R=mut42
+skip UNS NE STA, L=mut7, R=42
+skip UNS NE STA, L=mut7, R=enu42
+skip UNS NE DYN, L=mut7, R=cpr42
+skip STA NE DYN, L=7, R=dim42
+skip STA NE DYN, L=enu7, R=dim42
+skip DYN NE DYN, L=cpr7, R=dim42
+done DYN EQ DYN, L=dim7, R=dim7
+skip DYN NE DYN, L=dim7, R=dim42
+skip DYN NE STA, L=dim7, R=42
+skip DYN NE STA, L=dim7, R=enu42
+skip DYN NE DYN, L=dim7, R=cpr42
+skip DYN NE UNS, L=dim7, R=mut42
+skip UNS NE DYN, L=mut7, R=dim42
 ---- PTRVAR_ASGN:   { typeof( mkar_( ((tag(float)){}) , ((tag(__R__)){}) ) ) a; typeof( mkar_( ((tag(float)){}) , ((tag(__L__)){}) ) ) * b = 0p; b = & a; }
 done STA EQ STA, L=7, R=7
-done STA NE STA, L=7, R=42
-done STA EQ STA, L=7, R=enu7
-done STA NE STA, L=7, R=enu42
-skip STA NE DYN, L=7, R=cpr42
-skip STA NE UNS, L=7, R=mut42
-done STA EQ STA, L=enu7, R=enu7
-done STA NE STA, L=enu7, R=enu42
-done STA EQ STA, L=enu7, R=7
-done STA NE STA, L=enu7, R=42
-skip STA NE DYN, L=enu7, R=cpr42
-skip STA NE UNS, L=enu7, R=mut42
-done DYN EQ DYN, L=cpr7, R=cpr7
-done DYN NE DYN, L=cpr7, R=cpr42
-skip DYN NE STA, L=cpr7, R=42
-skip DYN NE STA, L=cpr7, R=enu42
-done DYN NE UNS, L=cpr7, R=mut42
-done UNS EQ UNS, L=mut7, R=mut7
-done UNS NE UNS, L=mut7, R=mut42
-skip UNS NE STA, L=mut7, R=42
-skip UNS NE STA, L=mut7, R=enu42
-done UNS NE DYN, L=mut7, R=cpr42
-skip STA NE XXX, L=7, R=dim42
-skip STA NE XXX, L=enu7, R=dim42
-skip DYN NE XXX, L=cpr7, R=dim42
-done XXX EQ XXX, L=dim7, R=dim7
-skip XXX NE XXX, L=dim7, R=dim42
-skip XXX NE STA, L=dim7, R=42
-skip XXX NE STA, L=dim7, R=enu42
-skip XXX NE DYN, L=dim7, R=cpr42
-skip XXX NE UNS, L=dim7, R=mut42
-skip UNS NE XXX, L=mut7, R=dim42
+skip STA NE STA, L=7, R=42
+done STA EQ STA, L=7, R=enu7
+skip STA NE STA, L=7, R=enu42
+skip STA NE DYN, L=7, R=cpr42
+skip STA NE UNS, L=7, R=mut42
+done STA EQ STA, L=enu7, R=enu7
+skip STA NE STA, L=enu7, R=enu42
+done STA EQ STA, L=enu7, R=7
+skip STA NE STA, L=enu7, R=42
+skip STA NE DYN, L=enu7, R=cpr42
+skip STA NE UNS, L=enu7, R=mut42
+done DYN EQ DYN, L=cpr7, R=cpr7
+skip DYN NE DYN, L=cpr7, R=cpr42
+skip DYN NE STA, L=cpr7, R=42
+skip DYN NE STA, L=cpr7, R=enu42
+skip DYN NE UNS, L=cpr7, R=mut42
+skip UNS EQ UNS, L=mut7, R=mut7
+skip UNS NE UNS, L=mut7, R=mut42
+skip UNS NE STA, L=mut7, R=42
+skip UNS NE STA, L=mut7, R=enu42
+skip UNS NE DYN, L=mut7, R=cpr42
+skip STA NE DYN, L=7, R=dim42
+skip STA NE DYN, L=enu7, R=dim42
+skip DYN NE DYN, L=cpr7, R=dim42
+done DYN EQ DYN, L=dim7, R=dim7
+skip DYN NE DYN, L=dim7, R=dim42
+skip DYN NE STA, L=dim7, R=42
+skip DYN NE STA, L=dim7, R=enu42
+skip DYN NE DYN, L=dim7, R=cpr42
+skip DYN NE UNS, L=dim7, R=mut42
+skip UNS NE DYN, L=mut7, R=dim42
 ---- REFPARM_CALL:   { void f( typeof( mkar_( ((tag(float)){}) , ((tag(__L__)){}) ) ) & x ) {} typeof( mkar_( ((tag(float)){}) , ((tag(__R__)){}) ) ) a; f( a ); }
 done STA EQ STA, L=7, R=7
-done STA NE STA, L=7, R=42
-done STA EQ STA, L=7, R=enu7
-done STA NE STA, L=7, R=enu42
-skip STA NE DYN, L=7, R=cpr42
-skip STA NE UNS, L=7, R=mut42
-done STA EQ STA, L=enu7, R=enu7
-done STA NE STA, L=enu7, R=enu42
-done STA EQ STA, L=enu7, R=7
-done STA NE STA, L=enu7, R=42
-skip STA NE DYN, L=enu7, R=cpr42
-skip STA NE UNS, L=enu7, R=mut42
-done DYN EQ DYN, L=cpr7, R=cpr7
-done DYN NE DYN, L=cpr7, R=cpr42
-skip DYN NE STA, L=cpr7, R=42
-skip DYN NE STA, L=cpr7, R=enu42
-done DYN NE UNS, L=cpr7, R=mut42
-done UNS EQ UNS, L=mut7, R=mut7
-done UNS NE UNS, L=mut7, R=mut42
-skip UNS NE STA, L=mut7, R=42
-skip UNS NE STA, L=mut7, R=enu42
-done UNS NE DYN, L=mut7, R=cpr42
-skip STA NE XXX, L=7, R=dim42
-skip STA NE XXX, L=enu7, R=dim42
-skip DYN NE XXX, L=cpr7, R=dim42
-done XXX EQ XXX, L=dim7, R=dim7
-skip XXX NE XXX, L=dim7, R=dim42
-skip XXX NE STA, L=dim7, R=42
-skip XXX NE STA, L=dim7, R=enu42
-skip XXX NE DYN, L=dim7, R=cpr42
-skip XXX NE UNS, L=dim7, R=mut42
-skip UNS NE XXX, L=mut7, R=dim42
+skip STA NE STA, L=7, R=42
+done STA EQ STA, L=7, R=enu7
+skip STA NE STA, L=7, R=enu42
+skip STA NE DYN, L=7, R=cpr42
+skip STA NE UNS, L=7, R=mut42
+done STA EQ STA, L=enu7, R=enu7
+skip STA NE STA, L=enu7, R=enu42
+done STA EQ STA, L=enu7, R=7
+skip STA NE STA, L=enu7, R=42
+skip STA NE DYN, L=enu7, R=cpr42
+skip STA NE UNS, L=enu7, R=mut42
+done DYN EQ DYN, L=cpr7, R=cpr7
+skip DYN NE DYN, L=cpr7, R=cpr42
+skip DYN NE STA, L=cpr7, R=42
+skip DYN NE STA, L=cpr7, R=enu42
+skip DYN NE UNS, L=cpr7, R=mut42
+skip UNS EQ UNS, L=mut7, R=mut7
+skip UNS NE UNS, L=mut7, R=mut42
+skip UNS NE STA, L=mut7, R=42
+skip UNS NE STA, L=mut7, R=enu42
+skip UNS NE DYN, L=mut7, R=cpr42
+skip STA NE DYN, L=7, R=dim42
+skip STA NE DYN, L=enu7, R=dim42
+skip DYN NE DYN, L=cpr7, R=dim42
+done DYN EQ DYN, L=dim7, R=dim7
+skip DYN NE DYN, L=dim7, R=dim42
+skip DYN NE STA, L=dim7, R=42
+skip DYN NE STA, L=dim7, R=enu42
+skip DYN NE DYN, L=dim7, R=cpr42
+skip DYN NE UNS, L=dim7, R=mut42
+skip UNS NE DYN, L=mut7, R=dim42
 ---- REFVAR_INIT:   { typeof( mkar_( ((tag(float)){}) , ((tag(__R__)){}) ) ) a; typeof( mkar_( ((tag(float)){}) , ((tag(__L__)){}) ) ) & b = a; }
 done STA EQ STA, L=7, R=7
-done STA NE STA, L=7, R=42
-done STA EQ STA, L=7, R=enu7
-done STA NE STA, L=7, R=enu42
-skip STA NE DYN, L=7, R=cpr42
-skip STA NE UNS, L=7, R=mut42
-done STA EQ STA, L=enu7, R=enu7
-done STA NE STA, L=enu7, R=enu42
-done STA EQ STA, L=enu7, R=7
-done STA NE STA, L=enu7, R=42
-skip STA NE DYN, L=enu7, R=cpr42
-skip STA NE UNS, L=enu7, R=mut42
-done DYN EQ DYN, L=cpr7, R=cpr7
-done DYN NE DYN, L=cpr7, R=cpr42
-skip DYN NE STA, L=cpr7, R=42
-skip DYN NE STA, L=cpr7, R=enu42
-done DYN NE UNS, L=cpr7, R=mut42
-done UNS EQ UNS, L=mut7, R=mut7
-done UNS NE UNS, L=mut7, R=mut42
-skip UNS NE STA, L=mut7, R=42
-skip UNS NE STA, L=mut7, R=enu42
-done UNS NE DYN, L=mut7, R=cpr42
-skip STA NE XXX, L=7, R=dim42
-skip STA NE XXX, L=enu7, R=dim42
-skip DYN NE XXX, L=cpr7, R=dim42
-done XXX EQ XXX, L=dim7, R=dim7
-skip XXX NE XXX, L=dim7, R=dim42
-skip XXX NE STA, L=dim7, R=42
-skip XXX NE STA, L=dim7, R=enu42
-skip XXX NE DYN, L=dim7, R=cpr42
-skip XXX NE UNS, L=dim7, R=mut42
-skip UNS NE XXX, L=mut7, R=dim42
+skip STA NE STA, L=7, R=42
+done STA EQ STA, L=7, R=enu7
+skip STA NE STA, L=7, R=enu42
+skip STA NE DYN, L=7, R=cpr42
+skip STA NE UNS, L=7, R=mut42
+done STA EQ STA, L=enu7, R=enu7
+skip STA NE STA, L=enu7, R=enu42
+done STA EQ STA, L=enu7, R=7
+skip STA NE STA, L=enu7, R=42
+skip STA NE DYN, L=enu7, R=cpr42
+skip STA NE UNS, L=enu7, R=mut42
+done DYN EQ DYN, L=cpr7, R=cpr7
+skip DYN NE DYN, L=cpr7, R=cpr42
+skip DYN NE STA, L=cpr7, R=42
+skip DYN NE STA, L=cpr7, R=enu42
+skip DYN NE UNS, L=cpr7, R=mut42
+skip UNS EQ UNS, L=mut7, R=mut7
+skip UNS NE UNS, L=mut7, R=mut42
+skip UNS NE STA, L=mut7, R=42
+skip UNS NE STA, L=mut7, R=enu42
+skip UNS NE DYN, L=mut7, R=cpr42
+skip STA NE DYN, L=7, R=dim42
+skip STA NE DYN, L=enu7, R=dim42
+skip DYN NE DYN, L=cpr7, R=dim42
+done DYN EQ DYN, L=dim7, R=dim7
+skip DYN NE DYN, L=dim7, R=dim42
+skip DYN NE STA, L=dim7, R=42
+skip DYN NE STA, L=dim7, R=enu42
+skip DYN NE DYN, L=dim7, R=cpr42
+skip DYN NE UNS, L=dim7, R=mut42
+skip UNS NE DYN, L=mut7, R=dim42
 ---- REFVAR_ASGN:   { typeof( mkar_( ((tag(float)){}) , ((tag(__R__)){}) ) ) a; typeof( mkar_( ((tag(float)){}) , ((tag(__L__)){}) ) ) & b = *0p; & b = & a; }
 done STA EQ STA, L=7, R=7
-done STA NE STA, L=7, R=42
-done STA EQ STA, L=7, R=enu7
-done STA NE STA, L=7, R=enu42
-skip STA NE DYN, L=7, R=cpr42
-skip STA NE UNS, L=7, R=mut42
-done STA EQ STA, L=enu7, R=enu7
-done STA NE STA, L=enu7, R=enu42
-done STA EQ STA, L=enu7, R=7
-done STA NE STA, L=enu7, R=42
-skip STA NE DYN, L=enu7, R=cpr42
-skip STA NE UNS, L=enu7, R=mut42
-done DYN EQ DYN, L=cpr7, R=cpr7
-done DYN NE DYN, L=cpr7, R=cpr42
-skip DYN NE STA, L=cpr7, R=42
-skip DYN NE STA, L=cpr7, R=enu42
-done DYN NE UNS, L=cpr7, R=mut42
-done UNS EQ UNS, L=mut7, R=mut7
-done UNS NE UNS, L=mut7, R=mut42
-skip UNS NE STA, L=mut7, R=42
-skip UNS NE STA, L=mut7, R=enu42
-done UNS NE DYN, L=mut7, R=cpr42
-skip STA NE XXX, L=7, R=dim42
-skip STA NE XXX, L=enu7, R=dim42
-skip DYN NE XXX, L=cpr7, R=dim42
-done XXX EQ XXX, L=dim7, R=dim7
-skip XXX NE XXX, L=dim7, R=dim42
-skip XXX NE STA, L=dim7, R=42
-skip XXX NE STA, L=dim7, R=enu42
-skip XXX NE DYN, L=dim7, R=cpr42
-skip XXX NE UNS, L=dim7, R=mut42
-skip UNS NE XXX, L=mut7, R=dim42
+skip STA NE STA, L=7, R=42
+done STA EQ STA, L=7, R=enu7
+skip STA NE STA, L=7, R=enu42
+skip STA NE DYN, L=7, R=cpr42
+skip STA NE UNS, L=7, R=mut42
+done STA EQ STA, L=enu7, R=enu7
+skip STA NE STA, L=enu7, R=enu42
+done STA EQ STA, L=enu7, R=7
+skip STA NE STA, L=enu7, R=42
+skip STA NE DYN, L=enu7, R=cpr42
+skip STA NE UNS, L=enu7, R=mut42
+done DYN EQ DYN, L=cpr7, R=cpr7
+skip DYN NE DYN, L=cpr7, R=cpr42
+skip DYN NE STA, L=cpr7, R=42
+skip DYN NE STA, L=cpr7, R=enu42
+skip DYN NE UNS, L=cpr7, R=mut42
+skip UNS EQ UNS, L=mut7, R=mut7
+skip UNS NE UNS, L=mut7, R=mut42
+skip UNS NE STA, L=mut7, R=42
+skip UNS NE STA, L=mut7, R=enu42
+skip UNS NE DYN, L=mut7, R=cpr42
+skip STA NE DYN, L=7, R=dim42
+skip STA NE DYN, L=enu7, R=dim42
+skip DYN NE DYN, L=cpr7, R=dim42
+done DYN EQ DYN, L=dim7, R=dim7
+skip DYN NE DYN, L=dim7, R=dim42
+skip DYN NE STA, L=dim7, R=42
+skip DYN NE STA, L=dim7, R=enu42
+skip DYN NE DYN, L=dim7, R=cpr42
+skip DYN NE UNS, L=dim7, R=mut42
+skip UNS NE DYN, L=mut7, R=dim42
 ---- CALLZIP:   { typeof( mkar_( ((tag(float)){}) , ((tag(__L__)){}) ) ) a; typeof( mkar_( ((tag(float)){}) , ((tag(__R__)){}) ) ) b; zip( a, b ); }
 done STA EQ STA, L=7, R=7
-done STA NE STA, L=7, R=42
-done STA EQ STA, L=7, R=enu7
-done STA NE STA, L=7, R=enu42
-skip STA NE DYN, L=7, R=cpr42
-skip STA NE UNS, L=7, R=mut42
-done STA EQ STA, L=enu7, R=enu7
-done STA NE STA, L=enu7, R=enu42
-done STA EQ STA, L=enu7, R=7
-done STA NE STA, L=enu7, R=42
-skip STA NE DYN, L=enu7, R=cpr42
-skip STA NE UNS, L=enu7, R=mut42
-done DYN EQ DYN, L=cpr7, R=cpr7
-done DYN NE DYN, L=cpr7, R=cpr42
-skip DYN NE STA, L=cpr7, R=42
-skip DYN NE STA, L=cpr7, R=enu42
-done DYN NE UNS, L=cpr7, R=mut42
-done UNS EQ UNS, L=mut7, R=mut7
-done UNS NE UNS, L=mut7, R=mut42
-skip UNS NE STA, L=mut7, R=42
-skip UNS NE STA, L=mut7, R=enu42
-done UNS NE DYN, L=mut7, R=cpr42
-skip STA NE XXX, L=7, R=dim42
-skip STA NE XXX, L=enu7, R=dim42
-skip DYN NE XXX, L=cpr7, R=dim42
-done XXX EQ XXX, L=dim7, R=dim7
-skip XXX NE XXX, L=dim7, R=dim42
-skip XXX NE STA, L=dim7, R=42
-skip XXX NE STA, L=dim7, R=enu42
-skip XXX NE DYN, L=dim7, R=cpr42
-skip XXX NE UNS, L=dim7, R=mut42
-skip UNS NE XXX, L=mut7, R=dim42
+skip STA NE STA, L=7, R=42
+done STA EQ STA, L=7, R=enu7
+skip STA NE STA, L=7, R=enu42
+skip STA NE DYN, L=7, R=cpr42
+skip STA NE UNS, L=7, R=mut42
+done STA EQ STA, L=enu7, R=enu7
+skip STA NE STA, L=enu7, R=enu42
+done STA EQ STA, L=enu7, R=7
+skip STA NE STA, L=enu7, R=42
+skip STA NE DYN, L=enu7, R=cpr42
+skip STA NE UNS, L=enu7, R=mut42
+done DYN EQ DYN, L=cpr7, R=cpr7
+skip DYN NE DYN, L=cpr7, R=cpr42
+skip DYN NE STA, L=cpr7, R=42
+skip DYN NE STA, L=cpr7, R=enu42
+skip DYN NE UNS, L=cpr7, R=mut42
+skip UNS EQ UNS, L=mut7, R=mut7
+skip UNS NE UNS, L=mut7, R=mut42
+skip UNS NE STA, L=mut7, R=42
+skip UNS NE STA, L=mut7, R=enu42
+skip UNS NE DYN, L=mut7, R=cpr42
+skip STA NE DYN, L=7, R=dim42
+skip STA NE DYN, L=enu7, R=dim42
+skip DYN NE DYN, L=cpr7, R=dim42
+done DYN EQ DYN, L=dim7, R=dim7
+skip DYN NE DYN, L=dim7, R=dim42
+skip DYN NE STA, L=dim7, R=42
+skip DYN NE STA, L=dim7, R=enu42
+skip DYN NE DYN, L=dim7, R=cpr42
+skip DYN NE UNS, L=dim7, R=mut42
+skip UNS NE DYN, L=mut7, R=dim42
Index: tests/array-container/.expect/safety-summary.txt
===================================================================
--- tests/array-container/.expect/safety-summary.txt	(revision 6065281f0d80efc8e6e1b435c3186184bfd4916c)
+++ tests/array-container/.expect/safety-summary.txt	(revision 6065281f0d80efc8e6e1b435c3186184bfd4916c)
@@ -0,0 +1,6 @@
+array-container/safety-summary.cfa:16:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
+  Name: f
+...to:
+  Name: a
+  Name: b
+
Index: tests/array-container/.expect/symtab-collision.txt
===================================================================
--- tests/array-container/.expect/symtab-collision.txt	(revision 6065281f0d80efc8e6e1b435c3186184bfd4916c)
+++ tests/array-container/.expect/symtab-collision.txt	(revision 6065281f0d80efc8e6e1b435c3186184bfd4916c)
@@ -0,0 +1,13 @@
+array-container/symtab-collision.cfa:25:1 error: conflicting overload of C function collide_me: C const unsigned long int with initializer (maybe constructed)
+  Simple Initializer: Generated Cast of:
+    Constant Expression (17: signed int)
+    ... with resolved type:
+      signed int
+  ... to:
+    const unsigned long int
+  ... with resolved type:
+    const unsigned long int
+  ... with environment:
+    Types:
+
+
Index: tests/array-container/dimexpr-match.hfa
===================================================================
--- tests/array-container/dimexpr-match.hfa	(revision 3bf9d101e125e952f9abb0271db2208c769320f8)
+++ tests/array-container/dimexpr-match.hfa	(revision 6065281f0d80efc8e6e1b435c3186184bfd4916c)
@@ -145,12 +145,4 @@
 #define EXPAND_AND_QUOTE(str) QUOTE(str)
 #define TRY_COMPAT_E EXPAND_AND_QUOTE(TRY_COMPAT(__L__,__R__))
-
-// Temporary: CFA is classic by default
-#if defined CFA_IS_PREVIEW && defined CFA_IS_CLASSIC
-#error Must not define both CFA_IS_CLASSIC, CFA_IS_PREVIEW
-#endif
-#if ! defined CFA_IS_PREVIEW && ! defined CFA_IS_CLASSIC
-#define CFA_IS_CLASSIC
-#endif
 
 #if ! defined __cforall
Index: tests/array-container/safety-summary.cfa
===================================================================
--- tests/array-container/safety-summary.cfa	(revision 6065281f0d80efc8e6e1b435c3186184bfd4916c)
+++ tests/array-container/safety-summary.cfa	(revision 6065281f0d80efc8e6e1b435c3186184bfd4916c)
@@ -0,0 +1,17 @@
+// A simple, isolated, example of what the dimexpr-match cases are all about.
+
+#include <containers/array.hfa>
+
+// context excerpted from doc/theses/mike_brooks_MMath/programs/hello-array.cfa
+forall( [N] )
+array(bool, N) & f( array(float, N) & a, array(float, N) & b ) {}
+
+int main() {
+    // adapted from Peter's "why doesn't this one work" email
+    array(float, 10) a;
+    array(float, 20) b;
+    f( a, a );          // these calls ok (no error here; actual success is shown in dimexpr-match)
+    f( b, b );
+
+    f( a, b );          // reject with mismatch
+}
Index: tests/array-container/symtab-collision.cfa
===================================================================
--- tests/array-container/symtab-collision.cfa	(revision 6065281f0d80efc8e6e1b435c3186184bfd4916c)
+++ tests/array-container/symtab-collision.cfa	(revision 6065281f0d80efc8e6e1b435c3186184bfd4916c)
@@ -0,0 +1,30 @@
+// A white-box case.
+
+// Array dimension hoisting (gen-init, just before resolver) is the earliest pass that uses a
+// with-identifiers symbol table, so early that it's premature to have the symbol table report
+// on name collisions/inconsistencies, and so the symbol table runs in a mode that ignores them.
+
+// This test exercises a dimention-hoisting symbol-table query that retrieves an inconsistently
+// defined identifier.  This fact can be verified manually in gdb by observing a call to
+// SymbolTable.cpp's OnFindError (during an addId call with key `collide_me`) that returns
+// without throwing an exception, followed by a lookupId call with key `collide_me`.
+
+// The (black-box obvious) expected outcome is that cfa-cc rejects the input program on account
+// of the inconsistent identifier.
+
+// The (white-box) relevance of achieving this outcome is the demonstration that an early ignorred
+// name collision leaves the compiler in a valid-enough state to reach the later collision
+// detection, without implementation shotcuts like, "Which, if either, declaration gets
+// ignorred?" becoming relevant.
+
+// This test is unrelated to _why_ the dimension-hoising pass needs to disable symbol-table
+// validation; linking/manging/anon is such a case.
+
+extern "C" {
+    const long long unsigned collide_me = 42;
+    const long      unsigned collide_me = 17;
+}
+
+int main() {
+    float a[collide_me];
+}
