[tests] test handling of attribute on an array type.

tests/syntax/array_formals.i

@@ -3,3 +3,12 @@ int f(int a[2]) { return a[1]; }
 int g(int a[static 2]) { return a[1]; }
 
 int h(int a[static restrict const 2]) { return a[1]; }
+
+typedef int (__attribute__((test)) arr)[2];
+
+int k(arr a) { return a[1]; }
+
+int l() {
+  arr a = { 0 };
+  return k(a);
+}

tests/syntax/oracle/array_formals.res.oracle

 [kernel] Parsing tests/syntax/array_formals.i (no preprocessing)
 /* Generated by Frama-C */
+typedef int ( __attribute__((__test__)) arr)[2];
 int f(int a[2])
 {
   int __retres;
@@ -21,4 +22,19 @@ int h(int a[static  const restrict 2])
   return __retres;
 }
 
+int k(int ( __attribute__((__test__)) a)[2])
+{
+  int __retres;
+  __retres = *(a + 1);
+  return __retres;
+}
+
+int l(void)
+{
+  int tmp;
+  arr a = {0};
+  tmp = k(a);
+  return tmp;
+}
+