1  /* { dg-do run } */
       2  /* { dg-additional-options "-fstrict-overflow" } */
       3  
       4  int main()
       5  {
       6    signed char var_0, var_1 = -128;
       7    var_0 = (signed char)(-var_1) / 3;
       8    if (var_0 > 0)
       9      __builtin_abort();
      10  }