From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id 11A273858408; Tue, 2 Jan 2024 20:39:18 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 11A273858408 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1704227958; bh=POIwdXjO1uGi9B7tEtu3ntsUly4gV7+TfTe6qLkXNk0=; h=From:To:Subject:Date:In-Reply-To:References:From; b=Bx9oAHkf1xp+OCYgSNJaqDl3Bhsn8SMrrfGnGDKoKSVkX7upNAb33es7/egdE8U8O +I98nUSTT61LOGO6+MmFZz0Om7vxLLw7NWj00OGGuWwUAdw43dlTAkFbgAUF1X6p/F YhAul9FUew/uLC4SOvZcQ8JYcta3jqSRa4W3sqPs= From: "doko at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug tree-optimization/110603] [14 Regression] GCC, ICE: internal compiler error: in verify_range, at value-range.cc:1104 Date: Tue, 02 Jan 2024 20:39:15 +0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: tree-optimization X-Bugzilla-Version: 14.0 X-Bugzilla-Keywords: ice-on-valid-code X-Bugzilla-Severity: normal X-Bugzilla-Who: doko at gcc dot gnu.org X-Bugzilla-Status: NEW X-Bugzilla-Resolution: X-Bugzilla-Priority: P1 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: 14.0 X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: cc Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 List-Id: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D110603 Matthias Klose changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |doko at gcc dot gnu.org --- Comment #2 from Matthias Klose --- 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, '=3D', sizeof(_init_cimpl_eq)); long _len =3D snprintf(PyInit_cimpl_tmpdoc, sizeof(PyInit_cimpl_tmpdoc), "+-%.*s-+-%.*s-+\n" "| %-*.*s | %-*.*s |\n" "+=3D%.*s=3D+=3D%.*s=3D+\n", 0, _init_cimpl_dash, 0, _init_cimpl_dash, 0, 0, "", = 0, 0, "", 50, _init_cimpl_eq, 0, _init_cimpl_eq); _init_cimpl_dof +=3D _len; } $ gcc -c -O2 -fno-strict-overflow -fstack-protector-strong -fcf-protection= =3Dfull -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 const&, generic_wide_int 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).=