From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugzilla@gcc.gnu.org>
Received: by sourceware.org (Postfix, from userid 48)
 id 7F9823861800; Tue,  7 Jul 2020 11:51:27 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 7F9823861800
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
 s=default; t=1594122687;
 bh=htB7dJCJcSxicMMtTmHjAWdQjmgFglaNhaxlzmT3vrg=;
 h=From:To:Subject:Date:In-Reply-To:References:From;
 b=ie7/uZ60QiQQSlDHOO/THiz5JIPXCiNz/tXVplITenRA+QAKKOB4iH9LJqr4JGlCr
 7aLipmF3pOS4An1/kwigAPmsOw+dNNR4sy2yR/U9BN/OL261zvQzxf4ooWjtOFKoS4
 FgqmEfSn9FAWzRrmdRiUIJNhY6V2s+KeMI3tGzCE=
From: "marxin at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/96058] ICE in c_getstr at
 gcc/fold-const.c:15475
Date: Tue, 07 Jul 2020 11:51:27 +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: 11.0
X-Bugzilla-Keywords: ice-on-valid-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: marxin at gcc dot gnu.org
X-Bugzilla-Status: NEW
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: 
Message-ID: <bug-96058-4-Lk0KEb7nvm@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-96058-4@http.gcc.gnu.org/bugzilla/>
References: <bug-96058-4@http.gcc.gnu.org/bugzilla/>
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 <gcc-bugs.gcc.gnu.org>
List-Unsubscribe: <http://gcc.gnu.org/mailman/options/gcc-bugs>,
 <mailto:gcc-bugs-request@gcc.gnu.org?subject=unsubscribe>
List-Archive: <https://gcc.gnu.org/pipermail/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-request@gcc.gnu.org?subject=help>
List-Subscribe: <http://gcc.gnu.org/mailman/listinfo/gcc-bugs>,
 <mailto:gcc-bugs-request@gcc.gnu.org?subject=subscribe>
X-List-Received-Date: Tue, 07 Jul 2020 11:51:27 -0000

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

--- Comment #5 from Martin Li=C5=A1ka <marxin at gcc dot gnu.org> ---
So the corrupted STRING_CST is created in LTRANS here:

gcc/expr.c:

   =E2=94=8211714         if (TREE_CODE (init) =3D=3D CONSTRUCTOR && initia=
lizer_zerop
(init))=20=20
   =E2=94=8211715           {=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=
=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=
=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20
   =E2=94=8211716             /* Fold an empty/zero constructor for an impl=
icitly
initialized=20
   =E2=94=8211717                object or subobject into the empty string.=
  */=20=20=20=20=20=20=20=20=20
   =E2=94=8211718=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=
=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=
=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=
=20=20
   =E2=94=8211719             /* Determine the character type from that of =
the original=20
   =E2=94=8211720                expression.  */=20=20
B+ =E2=94=8211721             tree chartype =3D argtype;
   =E2=94=8211722             if (POINTER_TYPE_P (chartype))
   =E2=94=8211723               chartype =3D TREE_TYPE (chartype);
   =E2=94=8211724             while (TREE_CODE (chartype) =3D=3D ARRAY_TYPE)
   =E2=94=8211725               chartype =3D TREE_TYPE (chartype);
   =E2=94=8211726             /* Convert a char array to an empty STRING_CS=
T having an
array

(gdb) p debug_tree(init)
 <constructor 0x7ffff0185120
    type <record_type 0x7ffff4514000 VectorIcon addressable cxx-odr-p BLK
        size <integer_cst 0x7ffff7824078 constant 192>
        unit-size <integer_cst 0x7ffff7824048 constant 24>
        align:64 warn_if_not_align:0 symtab:0 alias-set 407 canonical-type
0x7ffff4514000
        fields <field_decl 0x7ffff450ebe0 reps type <pointer_type
0x7ffff450df18>
            readonly unsigned nonlocal DI
../../ui/gfx/vector_icon_types.h:102:0
            size <integer_cst 0x7ffff7806bb8 constant 64>
            unit-size <integer_cst 0x7ffff7806bd0 constant 8>
            align:64 warn_if_not_align:0 offset_align 128
            offset <integer_cst 0x7ffff7806be8 constant 0>
            bit-offset <integer_cst 0x7ffff7806c30 constant 0> context
<record_type 0x7ffff4514000 VectorIcon> chain <field_decl 0x7ffff450eb48
reps_size>> context <namespace_decl 0x7ffff7635390 gfx>
        pointer_to_this <pointer_type 0x7ffff0114150>>
    constant length:3
    idx <field_decl 0x7ffff450ebe0 reps
        type <pointer_type 0x7ffff450df18 type <record_type 0x7ffff450ddc8
VectorIconRep>
            readonly unsigned DI size <integer_cst 0x7ffff7806bb8 64> unit-=
size
<integer_cst 0x7ffff7806bd0 8>
            align:64 warn_if_not_align:0 symtab:0 alias-set -1
structural-equality>
        readonly unsigned nonlocal DI ../../ui/gfx/vector_icon_types.h:102:0
size <integer_cst 0x7ffff7806bb8 64> unit-size <integer_cst 0x7ffff7806bd0 =
8>
        align:64 warn_if_not_align:0 offset_align 128 offset <integer_cst
0x7ffff7806be8 0> bit-offset <integer_cst 0x7ffff7806c30 0> context
<record_type 0x7ffff4514000 VectorIcon>
        chain <field_decl 0x7ffff450eb48 reps_size type <integer_type
0x7ffff760c150 size_t>
            unsigned nonlocal DI ../../ui/gfx/vector_icon_types.h:103:0 size
<integer_cst 0x7ffff7806bb8 64> unit-size <integer_cst 0x7ffff7806bd0 8>
            align:64 warn_if_not_align:0 offset_align 128 offset <integer_c=
st
0x7ffff7806be8 0> bit-offset <integer_cst 0x7ffff7806bb8 64> context
<record_type 0x7ffff4514000 VectorIcon> chain <field_decl 0x7ffff450eab0
name>>>
    val <integer_cst 0x7ffff1f36fc0 type <pointer_type 0x7ffff437ec78> cons=
tant
0>
    idx <field_decl 0x7ffff450eb48 reps_size
        type <integer_type 0x7ffff760c150 size_t public unsigned DI size
<integer_cst 0x7ffff7806bb8 64> unit-size <integer_cst 0x7ffff7806bd0 8>
            align:64 warn_if_not_align:0 symtab:0 alias-set -1 canonical-ty=
pe
0x7ffff781b738 precision:64 min <integer_cst 0x7ffff7806e88 0> max <integer=
_cst
0x7ffff7807500 18446744073709551615>
            pointer_to_this <pointer_type 0x7ffff61c8498> reference_to_this
<reference_type 0x7ffff31cc3f0>>
        unsigned nonlocal DI ../../ui/gfx/vector_icon_types.h:103:0 size
<integer_cst 0x7ffff7806bb8 64> unit-size <integer_cst 0x7ffff7806bd0 8>
        align:64 warn_if_not_align:0 offset_align 128 offset <integer_cst
0x7ffff7806be8 0> bit-offset <integer_cst 0x7ffff7806bb8 64> context
<record_type 0x7ffff4514000 VectorIcon>
        chain <field_decl 0x7ffff450eab0 name type <pointer_type
0x7ffff76b2dc8>
            unsigned nonlocal DI ../../ui/gfx/vector_icon_types.h:108:0 size
<integer_cst 0x7ffff7806bb8 64> unit-size <integer_cst 0x7ffff7806bd0 8>
            align:64 warn_if_not_align:0 offset_align 128
            offset <integer_cst 0x7ffff7806c18 constant 16> bit-offset
<integer_cst 0x7ffff7806c30 0> context <record_type 0x7ffff4514000
VectorIcon>>>
    val <integer_cst 0x7ffff29b9f30 type <integer_type 0x7ffff760c150 size_=
t>
constant 0>
    idx <field_decl 0x7ffff450eab0 name
        type <pointer_type 0x7ffff76b2dc8 type <integer_type 0x7ffff76402a0
char>
            public unsigned DI size <integer_cst 0x7ffff7806bb8 64> unit-si=
ze
<integer_cst 0x7ffff7806bd0 8>
            align:64 warn_if_not_align:0 symtab:0 alias-set 409
structural-equality
            pointer_to_this <pointer_type 0x7ffff522adc8> reference_to_this
<reference_type 0x7ffff3176f18>>
        unsigned nonlocal DI ../../ui/gfx/vector_icon_types.h:108:0 size
<integer_cst 0x7ffff7806bb8 64> unit-size <integer_cst 0x7ffff7806bd0 8>
        align:64 warn_if_not_align:0 offset_align 128 offset <integer_cst
0x7ffff7806c18 16> bit-offset <integer_cst 0x7ffff7806c30 0> context
<record_type 0x7ffff4514000 VectorIcon>>
    val <integer_cst 0x7ffff29b9e40 type <pointer_type 0x7ffff76b2dc8> cons=
tant
0>>
$18 =3D void

(gdb) p debug_tree(argtype)
 <pointer_type 0x7ffff77b5f18
    type <record_type 0x7ffff77b5e70 VectorIcon readonly cxx-odr-p VOID
        align:8 warn_if_not_align:0 symtab:0 alias-set -1 canonical-type
0x7ffff4514000 context <namespace_decl 0x7ffff7635390 gfx>
        pointer_to_this <pointer_type 0x7ffff77b5f18> reference_to_this
<reference_type 0x7ffff5e93b28>>
    public unsigned DI
    size <integer_cst 0x7ffff7806bb8 type <integer_type 0x7ffff781b0a8
bitsizetype> constant 64>
    unit-size <integer_cst 0x7ffff7806bd0 type <integer_type 0x7ffff781b000
sizetype> constant 8>
    align:64 warn_if_not_align:0 symtab:0 alias-set 1025 structural-equalit=
y>

(gdb) p debug_tree(chartype)
 <record_type 0x7ffff77b5e70 VectorIcon readonly cxx-odr-p VOID
    align:8 warn_if_not_align:0 symtab:0 alias-set -1 canonical-type
0x7ffff4514000 context <namespace_decl 0x7ffff7635390 gfx>
    pointer_to_this <pointer_type 0x7ffff77b5f18> reference_to_this
<reference_type 0x7ffff5e93b28>>
$21 =3D void

@Martin: Can you please take a look?=