[Bug tree-optimization/110603] [14 Regression] GCC, ICE: internal compiler error: in verify_range, at value-range.cc:1104

["doko at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110603

Matthias Klose <doko at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |doko at gcc dot gnu.org

--- Comment #2 from Matthias Klose <doko at gcc dot gnu.org> ---
also seen with 20240101 trunk, building the python-confluent-kafka package:

$ cat confluent_kafka.i
long _init_cimpl_dof;
char _init_cimpl_dash[1], _init_cimpl_eq[1];
char PyInit_cimpl_tmpdoc[512];
int snprintf(char *, unsigned long, char *, ...);
void *memset();
void PyInit_cimpl() {
  memset(_init_cimpl_eq, '=', sizeof(_init_cimpl_eq));
  long _len = snprintf(PyInit_cimpl_tmpdoc, sizeof(PyInit_cimpl_tmpdoc),
                       "+-%.*s-+-%.*s-+\n"
                       "| %-*.*s | %-*.*s |\n"
                       "+=%.*s=+=%.*s=+\n",
                       0, _init_cimpl_dash, 0, _init_cimpl_dash, 0, 0, "", 0,
0,
                       "", 50, _init_cimpl_eq, 0, _init_cimpl_eq);
  _init_cimpl_dof += _len;
}

$ gcc -c -O2 -fno-strict-overflow -fstack-protector-strong -fcf-protection=full
-fwrapv confluent_kafka.i
during GIMPLE pass: strlen
confluent_kafka.i: In function 'PyInit_cimpl':
confluent_kafka.i:6:6: internal compiler error: in verify_range, at
value-range.cc:1132
    6 | void PyInit_cimpl() {
      |      ^~~~~~~~~~~~
0x6eec19 irange::verify_range()
        ../../src/gcc/value-range.cc:1132
0x1b52550 irange::set(tree_node*, generic_wide_int<wide_int_storage> const&,
generic_wide_int<wide_int_storage> const&, value_range_kind)
        ../../src/gcc/value-range.cc:1076
0x1eb42ad try_substitute_return_value
        ../../src/gcc/gimple-ssa-sprintf.cc:4261
0x1eb42ad handle_printf_call(gimple_stmt_iterator*, pointer_query&)
        ../../src/gcc/gimple-ssa-sprintf.cc:4764
0x1eb2193 strlen_pass::check_and_optimize_call(bool*)
        ../../src/gcc/tree-ssa-strlen.cc:5452
0x1cfe639 strlen_pass::check_and_optimize_stmt(bool*)
        ../../src/gcc/tree-ssa-strlen.cc:5656
0x1cfe094 strlen_pass::before_dom_children(basic_block_def*)
        ../../src/gcc/tree-ssa-strlen.cc:5840
0x1c7fd13 dom_walker::walk(basic_block_def*)
        ../../src/gcc/domwalk.cc:311
0x950ef1 printf_strlen_execute
        ../../src/gcc/tree-ssa-strlen.cc:5899
Please submit a full bug report, with preprocessed source (by using
-freport-bug).