Error on combination of typedef and variable length array in C language

[mnakao]

For example, the result of processing the following code with C_Front is different from the result using gcc.

#include <stdio.h>
void test(int n){
  typedef int arrayN_t[n];
  n++;
  arrayN_t A;  // When n = 1, int A[1]
  int B[n]; // When n = 1. int B[2]
  printf("%d %d\n", sizeof(A), sizeof(B));
}
int main(){ test(1); return 0;}

While the result of gcc is "4 8", that of C_Front with gcc is "8 8".
Because, C_Front translates the above code to a following code,

void test(int n){
  typedef int arrayN_t[n];
  n++;
  int A[n];
  int B[n];
  printf("%d %d\n", sizeof(A), sizeof(B));
}