1  /* { dg-do run } */
       2  /* { dg-options "-fsanitize=undefined -fsanitize-undefined-trap-on-error" } */
       3  
       4  int var_4 = -1716607962;
       5  int var_14 = 943738830;
       6  volatile int a;
       7  int main()
       8  {
       9    //  (-(-1716607962) - 516151698) - -(9403738830)
      10    a = (-var_4 - 516151698) - -var_14;
      11    return 0;
      12  }