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