1/* PR middle-end/14470 */
2/* Origin: Lodewijk Voge <lvoge@cs.vu.nl> */
3
4extern void abort(void);
5
6int 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}
18