1 /* { dg-do run } */
2 /* { dg-additional-options "-fstrict-overflow" } */
3 
main()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 }
11