Index: tests/array-container/.expect/dimexpr-match-cfa-ERRS.x64.txt
===================================================================
--- tests/array-container/.expect/dimexpr-match-cfa-ERRS.x64.txt	(revision 0f4ac1051212a2dd05b205e457789712e2c9a66b)
+++ tests/array-container/.expect/dimexpr-match-cfa-ERRS.x64.txt	(revision 0f4ac1051212a2dd05b205e457789712e2c9a66b)
@@ -0,0 +1,1001 @@
+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
+...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: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:
+      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:
+        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
+    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
+    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
+    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
+    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
+    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
+    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: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: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: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
+      ... 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
+    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: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
+      ... with resolved type:
+        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: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
+    ... 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:
+      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:
+      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:
+        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
+    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
+    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
+    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
+    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
+    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
+    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: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: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: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: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
+
