1  /* { dg-do run } */
       2  /* { dg-require-effective-target int32plus } */
       3  
       4  signed char a = 0, b = 0, c = 0, d = 0;
       5  
       6  int main()
       7  {
       8    a = -(b - 405418259) - ((d && c) ^ 2040097152);
       9    if (a != (signed char) -1634678893)
      10      __builtin_abort ();
      11    return 0;
      12  }