1  /* PR middle-end/14470 */
       2  /* Origin: Lodewijk Voge <lvoge@cs.vu.nl> */
       3  
       4  extern void abort(void);
       5  
       6  int main()
       7  {
       8    int t[1025] = { 1024 }, d;
       9  
      10    d = 0;
      11    d = t[d]++;
      12    if (t[0] != 1025)
      13      abort();
      14    if (d != 1024)
      15      abort();
      16    return 0;
      17  }