https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89655
--- Comment #5 from David Binderman <dcb314 at hotmail dot com> --- a, b, d; char *c; e() { int f = a; for (;;) { f = 0; for (; f < (a > 3 ?: a); f++) b = c[f] ? c[(f + 2 > a - 1 ? a - 1 : 2) * d] : 0; } } $ ~/gcc/results/bin/gcc -c -O3 -w bug509.c during GIMPLE pass: vrp bug509.c: In function āeā: bug509.c:3:1: internal compiler error: in min_value, at wide-int.cc:332 3 | e() { | ^ 0x75094c wi::min_value(unsigned int, signop) ../../trunk/gcc/wide-int.cc:332 0x109bdeb set_range_info(tree_node*, value_range_kind, generic_wide_int<wide_int_ref_storage<false, true> > const&, generic_wide_int<wide_int_ref_storage<false, true> > const&) ../../trunk/gcc/tree-ssanames.c:384 0x109c2ea set_range_info(tree_node*, value_range_base const&) ../../trunk/gcc/tree-ssanames.c:408 0x1123bf2 vrp_prop::vrp_finalize(bool) ../../trunk/gcc/tree-vrp.c:6692 0x1130844 execute_vrp ../../trunk/gcc/tree-vrp.c:6780