/* { dg-do run } */

extern void abort(void);
int main()
{
  int a1 = 40000;
  int c1 = ( ((int)(short)(a1-10000)) + 10000)*2;
  if (c1 != 80000)
    abort();
  return 0;
}


syntax highlighted by Code2HTML, v. 0.9.1