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