1  /* { dg-do run } */
       2  /* { dg-require-effective-target int32plus } */
       3  
       4  extern void abort(void);
       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  }