From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugs-return-184728-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 17222 invoked by alias); 3 May 2006 16:05:19 -0000
Received: (qmail 17209 invoked by uid 48); 3 May 2006 16:05:16 -0000
Date: Wed, 03 May 2006 16:05:00 -0000
Message-ID: <20060503160516.17208.qmail@sourceware.org>
X-Bugzilla-Reason: CC
References: <bug-27409-183@http.gcc.gnu.org/bugzilla/>
Subject: [Bug middle-end/27409] ICE in get_constraint_for_component_ref
In-Reply-To: <bug-27409-183@http.gcc.gnu.org/bugzilla/>
Reply-To: gcc-bugzilla@gcc.gnu.org
To: gcc-bugs@gcc.gnu.org
From: "rguenth at gcc dot gnu dot org" <gcc-bugzilla@gcc.gnu.org>
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
X-SW-Source: 2006-05/txt/msg00284.txt.bz2
List-Id: <gcc-bugs.sourceware.org>



------- Comment #1 from rguenth at gcc dot gnu dot org  2006-05-03 16:05 -------
Confirmed.  We access a zero-sized part of the structure:

    arg 1 <field_decl 0x2a959f2180 f type <record_type 0x2a959dfb00 thang_t>
        BLK file t.c line 16 size <integer_cst 0x2a958ab750 0> unit size
<integer_cst 0x2a95891720 0>
        align 8 offset_align 128
        offset <integer_cst 0x2a958ab0f0 constant invariant 16>
        bit offset <integer_cst 0x2a95891bd0 constant invariant 32> context
<record_type 0x2a959dfe70>
        chain <field_decl 0x2a959f2240 g type <record_type 0x2a959dfdc0
thing_t>
            BLK file t.c line 17
            size <integer_cst 0x2a958ab0c0 constant invariant 128> unit size
<integer_cst 0x2a958ab0f0 16>
            align 64 offset_align 128 offset <integer_cst 0x2a958ab0f0 16>
            bit offset <integer_cst 0x2a95891d80 constant invariant 64> context
<record_type 0x2a959dfe70>>>>

The following testcase also ICEs on 32bit targets:

typedef struct {
        struct { } z;
} thang_t;
struct {
        short           e;
        thang_t         f;
        int g;
} my_struct;
void function(int blaz)
{ thang_t *fp = &my_struct.f; foo(fp);}

the important thing is that there has to be padding after e and the zero-sized
f.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2006-05-03 16:05:15
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27409