From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <sourceware-bugzilla@sourceware.org>
Received: by sourceware.org (Postfix, from userid 48)
	id C77FF38582AB; Mon, 21 Nov 2022 04:09:59 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org C77FF38582AB
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=sourceware.org;
	s=default; t=1669003799;
	bh=hVKI//ydOgX4q0Q3kZnL3wj5MwznOg+ARx0MVw9JDqs=;
	h=From:To:Subject:Date:From;
	b=weqQZH7EPDmUVpkObRBmswpnTYtAEkR+iRrdk6qlbSlSX45gOHmftDaam0rWEr6Wu
	 k9pGbktZgZ8HLIIVA3t3eSSApiAg/IoOPCfNjgZL0shJM7xBgjEK+Rif4Sn9uuvKAi
	 U21KaQIkMc1JLiDNN6yJSORiCJxGjueGOjhNhc1U=
From: "guillermo.e.martinez at oracle dot com"
 <sourceware-bugzilla@sourceware.org>
To: libabigail@sourceware.org
Subject: [Bug default/29811] New: extern array declaration following by its
 definition reports different sizes in DWARF vs CTF
Date: Mon, 21 Nov 2022 04:09:59 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: new
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: libabigail
X-Bugzilla-Component: default
X-Bugzilla-Version: unspecified
X-Bugzilla-Keywords: 
X-Bugzilla-Severity: normal
X-Bugzilla-Who: guillermo.e.martinez at oracle dot com
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P2
X-Bugzilla-Assigned-To: dodji at redhat dot com
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: bug_id short_desc product version bug_status
 bug_severity priority component assigned_to reporter cc target_milestone
Message-ID: <bug-29811-9487@http.sourceware.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://sourceware.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
List-Id: <libabigail.sourceware.org>

https://sourceware.org/bugzilla/show_bug.cgi?id=3D29811

            Bug ID: 29811
           Summary: extern array declaration following by its definition
                    reports different sizes in DWARF vs CTF
           Product: libabigail
           Version: unspecified
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: default
          Assignee: dodji at redhat dot com
          Reporter: guillermo.e.martinez at oracle dot com
                CC: libabigail at sourceware dot org
  Target Milestone: ---

The following C code generates a infinite subrange length using DWARF
front-end.

extern unsigned int is_basic_table[];

unsigned int is_basic_table [] =3D
  {
    0,
  };

<array-type-def dimensions=3D'1' type-id=3D'type-id-1' size-in-bits=3D'infi=
nite'
alignment-in-bits=3D'32' id=3D'type-id-2'>
      <subrange length=3D'infinite' type-id=3D'type-id-3' id=3D'type-id-4'/>
    </array-type-def>


Using CTF:

  <array-type-def dimensions=3D'1' type-id=3D'type-id-1' size-in-bits=3D'32'
id=3D'type-id-2'>
      <subrange length=3D'1' type-id=3D'type-id-3' id=3D'type-id-4'/>
    </array-type-def>

Thus, abidiff abi-ctf.xml abi-dwarf.xml, reports:

1 Changed variable:=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

  [C] 'unsigned int is_basic_table[]' was changed at test-extern-array.c:3:=
1:=20=20=20
    type of variable changed:=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
      array element type 'unsigned int' changed:=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
        type size hasn't changed=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
        type alignment changed from 32 to 0=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
      type size hasn't changed=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
      type alignment changed from 32 to 0

The symbol size showed by objdump:

  0000000000000000 g     O .bss   0000000000000004 is_basic_table

Thanks.

--=20
You are receiving this mail because:
You are on the CC list for the bug.=