From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id 2DCEA395BC2A; Wed, 11 Mar 2020 02:35:24 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 2DCEA395BC2A DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1583894124; bh=cB6xMykB8l20kq1iwqm5roZ6pKbnlQf0pdKzTWWQmjA=; h=From:To:Subject:Date:From; b=xRH8HB3Z4bfk4opTA1CxR1caUnhXv1Wirud+AleCX+KwQ/LPoCIHteMeZmhqK1gul DS9u3XMsf9+psxr/o/NC2GFtHPNF/oI0hEhjDIBme8LzORUNFMJnsr3d14DBZuxg/9 HW5y8UZSXQDkb/KAzA9BB5S/3cbAPJ8q42x8xQ/k= From: "asolokha at gmx dot com" To: gcc-bugs@gcc.gnu.org Subject: [Bug tree-optimization/94131] New: [10 Regression] ICE: tree check: expected integer_cst, have plus_expr in get_len, at tree.h:5927 Date: Wed, 11 Mar 2020 02:35:23 +0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: new X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: tree-optimization X-Bugzilla-Version: 10.0 X-Bugzilla-Keywords: ice-on-invalid-code X-Bugzilla-Severity: normal X-Bugzilla-Who: asolokha at gmx dot com X-Bugzilla-Status: UNCONFIRMED X-Bugzilla-Resolution: X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: bug_id short_desc product version bug_status keywords bug_severity priority component assigned_to reporter target_milestone Message-ID: 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 X-BeenThere: gcc-bugs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-bugs mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 11 Mar 2020 02:35:24 -0000 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D94131 Bug ID: 94131 Summary: [10 Regression] ICE: tree check: expected integer_cst, have plus_expr in get_len, at tree.h:5927 Product: gcc Version: 10.0 Status: UNCONFIRMED Keywords: ice-on-invalid-code Severity: normal Priority: P3 Component: tree-optimization Assignee: unassigned at gcc dot gnu.org Reporter: asolokha at gmx dot com Target Milestone: --- gcc-10.0.1-alpha20200103 snapshot (g:9de42a8e995451cb13dceb3970ae23ff88240b= ff) ICEs when compiling the following testcase w/ -O1 -fno-tree-ccp -fno-tree-forwprop: void rv (int ur) { char yb[ur]; int qn =3D &yb[0]; __builtin_memset (yb, '\0', sizeof (yb)); __builtin_printf ("%s", qn ? &yb[0] : ""); } % gcc-10.0.1 -O1 -fno-tree-ccp -fno-tree-forwprop -w -c gsngdp2d.c during GIMPLE pass: strlen gsngdp2d.c: In function 'rv': gsngdp2d.c:2:1: internal compiler error: tree check: expected integer_cst, = have plus_expr in get_len, at tree.h:5927 2 | rv (int ur) | ^~ 0x6fbc02 tree_check_failed(tree_node const*, char const*, int, char const*, ...) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200308/work/gcc-10-20200308/gc= c/tree.c:9685 0x7c171f tree_check(tree_node const*, char const*, int, char const*, tree_c= ode) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200308/work/gcc-10-20200308/gc= c/tree.h:3534 0x7c171f wi::extended_tree<192>::get_len() const =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200308/work/gcc-10-20200308/gc= c/tree.h:5927 0x7c171f wi::int_traits > >::decompose(long*, unsigned int, generic_wide_int > const&) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200308/work/gcc-10-20200308/gc= c/wide-int.h:985 0x7c171f wide_int_ref_storage::wide_int_ref_storage > >(generic_wide_int > const&, unsigned int) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200308/work/gcc-10-20200308/gc= c/wide-int.h:1034 0x7c171f generic_wide_int >::generic_wide_int > >(generic_wide_int > const&, unsigned int) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200308/work/gcc-10-20200308/gc= c/wide-int.h:790 0x7c171f bool wi::lts_p >, generic_wide_int > >(generic_wide_int > const&, generic_wide_int > const&) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200308/work/gcc-10-20200308/gc= c/wide-int.h:1902 0xf5ecd8 wi::binary_traits >, generic_wide_int >, wi::int_traits > >::precision_type, wi::int_traits > >::precision_type>::signed_predicate_result operator< >, generic_wide_int > >(generic_wide_int > const&, generic_wide_int > const&) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200308/work/gcc-10-20200308/gc= c/wide-int.h:3248 0xf5ecd8 tree_int_cst_lt(tree_node const*, tree_node const*) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200308/work/gcc-10-20200308/gc= c/tree.h:6083 0xf5ecd8 get_range_strlen_dynamic =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200308/work/gcc-10-20200308/gc= c/tree-ssa-strlen.c:1075 0xf5ef71 get_range_strlen_dynamic(tree_node*, c_strlen_data*, vr_values con= st*) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200308/work/gcc-10-20200308/gc= c/tree-ssa-strlen.c:1204 0x16aa577 get_string_length =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200308/work/gcc-10-20200308/gc= c/gimple-ssa-sprintf.c:2029 0x16aa577 format_string =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200308/work/gcc-10-20200308/gc= c/gimple-ssa-sprintf.c:2464 0x16ab003 format_directive =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200308/work/gcc-10-20200308/gc= c/gimple-ssa-sprintf.c:3057 0x16ad869 compute_format_length =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200308/work/gcc-10-20200308/gc= c/gimple-ssa-sprintf.c:4000 0x16ad869 handle_printf_call(gimple_stmt_iterator*, vr_values const*) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200308/work/gcc-10-20200308/gc= c/gimple-ssa-sprintf.c:4681 0xf674e3 strlen_check_and_optimize_call =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200308/work/gcc-10-20200308/gc= c/tree-ssa-strlen.c:5420 0xf674e3 check_and_optimize_stmt =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200308/work/gcc-10-20200308/gc= c/tree-ssa-strlen.c:5588 0xf674e3 strlen_dom_walker::before_dom_children(basic_block_def*) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200308/work/gcc-10-20200308/gc= c/tree-ssa-strlen.c:5821 0x1664337 dom_walker::walk(basic_block_def*) =20=20=20=20=20=20=20 /var/tmp/portage/sys-devel/gcc-10.0.1_alpha20200308/work/gcc-10-20200308/gc= c/domwalk.c:309=