1 /* { dg-do run } */
2 /* { dg-require-effective-target int32plus } */
3 
4 extern void abort(void);
main()5 int main()
6 {
7   int a1 = 40000;
8   int c1 = ( ((int)(short)(a1-10000)) + 10000)*2;
9   if (c1 != 80000)
10     abort();
11   return 0;
12 }
13