1  /* { dg-do run } */
       2  /* { dg-options "-std=c99 -pedantic-errors" } */
       3  /* { dg-require-effective-target alloca } */
       4  /* PR c/18740 */
       5  
       6  static int i;
       7  
       8  int foo(int n)
       9  {
      10    int (*t)[n];
      11    i = 0;
      12    int j = 0;
      13    char b[1][n+3];			/* Variable length array.  */
      14    int d[3][n];				/* Variable length array.  */
      15    sizeof (b[i++ + sizeof(j++)]);	/* Outer sizeof is evaluated for vla, but not the inner one.  */
      16    if (i != 1 || j != 0)
      17      return 1;
      18    __typeof__(b[i++]) c1;		/* typeof is evauluated when given a vm */
      19    if (i != 2)
      20      return 1;
      21    __typeof__(t + (i++,0)) c2;		/* typeof is evauluated when given a vm */
      22    if (i != 3)
      23      return 1;
      24    __typeof__(i + (i++,0)) c3;		/* typeof is not evauluated when not given a vm */
      25    if (i != 3)
      26      return 1;
      27    sizeof (d[i++]);			/* sizeof is evaluated for vla.  */
      28    if (i != 4)
      29      return 1;
      30    __alignof__(__typeof__(t + (i++,0)));	/* typeof is not evauluated when given a vm inside alignof*/
      31    if (i != 4)
      32      return 1;
      33    sizeof(__typeof__(t + (i++,0)));	/* typeof is not evauluated when given a vm inside sizeof*/
      34    if (i != 4)
      35      return 1;
      36    return 0;
      37  }
      38  
      39  int foo6(int a, int b[a][a], int (*c)[sizeof(*b)]) {
      40    return sizeof (*c);
      41  }
      42  
      43  int main() {
      44    int b[10][10];
      45    int (*c)[sizeof(int)*10];
      46    if (foo6(10, b, c) != 10*sizeof(int)*sizeof(int))
      47      return 1;
      48    return foo(10);
      49  }