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