From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <elfutils-devel-return-7504-listarch-elfutils-devel=sourceware.org@sourceware.org>
Received: (qmail 43180 invoked by alias); 2 May 2019 21:48:26 -0000
Mailing-List: contact elfutils-devel-help@sourceware.org; run by ezmlm
Precedence: bulk
List-Id: <elfutils-devel.sourceware.org>
List-Post: <mailto:elfutils-devel@sourceware.org>
List-Help: <mailto:elfutils-devel-help@sourceware.org>
List-Subscribe: <mailto:elfutils-devel-subscribe@sourceware.org>
Sender: elfutils-devel-owner@sourceware.org
Received: (qmail 43088 invoked by uid 48); 2 May 2019 21:48:23 -0000
From: "mark at klomp dot org" <sourceware-bugzilla@sourceware.org>
To: elfutils-devel@sourceware.org
Subject: [Bug tools/24509] eu-readelf does not know how to dissect DW_AT_discr_list
Date: Thu, 02 May 2019 21:48:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: elfutils
X-Bugzilla-Component: tools
X-Bugzilla-Version: unspecified
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: mark at klomp dot org
X-Bugzilla-Status: NEW
X-Bugzilla-Resolution:
X-Bugzilla-Priority: P2
X-Bugzilla-Assigned-To: unassigned at sourceware dot org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: attachments.isobsolete attachments.created
Message-ID: <bug-24509-10460-UMhKfY2BXI@http.sourceware.org/bugzilla/>
In-Reply-To: <bug-24509-10460@http.sourceware.org/bugzilla/>
References: <bug-24509-10460@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
X-SW-Source: 2019-q2/txt/msg00061.txt.bz2

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

Mark Wielaard <mark at klomp dot org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  Attachment #11760|0                           |1
        is obsolete|                            |

--- Comment #4 from Mark Wielaard <mark at klomp dot org> ---
Created attachment 11762
  --> https://sourceware.org/bugzilla/attachment.cgi?id=3D11762&action=3Ded=
it
discr_list patch that handles signed/unsigned variant_part types

Updated patch that handles signed/unsigned discriminators.

So this is what I used as testcase to have a signed (Integer) and unsigned
(Character) discr.

package Rng is

   type Rec (I : Integer) is record
      case I is
         when Positive =3D>
            C : Character;
            case I is
               when 1..15 | 17 | 23..255 =3D>
                  null;
               when others =3D>
                  N : Natural;
            end case;
         when -52..-1 =3D>
            Q: Natural;
         when -53 =3D>
            R: Character;
         when others =3D>
            S : String (1 .. 10);
      end case;
   end record;

   Subtype Uppercase is Character Range 'A'..'Z';
   Subtype Lowercase is Character Range 'a'..'z';
   Subtype Numbers is Character Range '0'..'9';

   type RecC (C : Character) is record
      case C is
         when '@' =3D>
            B : Boolean;
         when Lowercase | Uppercase | Numbers =3D>
            D : Character;
         when others =3D>
            null;
      end case;
   end record;

   R : Rec (1);
   RC : RecC ('$');

end Rng;

Does the output look like what you would expect?

BTW. The byte_size expressions are impressive!

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