#! /bin/sh

# Copyright (C) 2019 Red Hat, Inc.

# This file is part of elfutils.

#

# This file is free software; you can redistribute it and/or modify

# it under the terms of the GNU General Public License as published by

# the Free Software Foundation; either version 3 of the License, or

# (at your option) any later version.

#

# elfutils is distributed in the hope that it will be useful, but

# WITHOUT ANY WARRANTY; without even the implied warranty of

# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

# GNU General Public License for more details.

#

# You should have received a copy of the GNU General Public License

# along with this program.  If not, see <http://www.gnu.org/licenses/>.

. $srcdir/test-subr.sh

# = rng.ads =

# package Rng is

# 

#    type Rec (I : Integer) is record

#       case I is

#  when Positive =>

#     case I is

#        when 1..15 | 17 | 23 =>

#   null;

#        when others =>

#   J : Integer;

#     end case;

#  when -52..-1 =>

#     Q: Integer;

#  when -64 =>

#     R: Boolean;

#  when others =>

#     null;

#       end case;

#    end record;

# 

#    R : Rec (1);

# 

# end Rng;

# = urng.ads =

#

# package Urng is

# 

#    type Unsigned is mod 65536;

#    type Rec (U : Unsigned) is record

#       case U is

#  when 17 | 23 | 32768..65535 =>

#     null;

#  when 256 => 

#     B: Boolean;

#  when others =>

#     I : Integer;

#       end case;

#    end record;

# 

#    R : Rec (1);

# 

# end Urng;

# gcc -c -g -fgnat-encodings=minimal -gstrict-dwarf rng.ads

# eu-strip -g -f rng.debug rng.o 

# gcc -c -g -fgnat-encodings=minimal -gstrict-dwarf urng.ads

# eu-strip -g -f urng.debug urng.o 

testfiles testfile-rng.debug testfile-urng.debug

testrun_compare ${abs_top_builddir}/src/readelf -U --debug-dump=info testfile-rng.debug testfile-urng.debug <

testfile-rng.debug:

DWARF section [ 5] '.debug_info' at offset 0x40:

 [Offset]

 Compilation unit at offset 0:

 Version: 4, Abbreviation section offset: 0, Address size: 8, Offset size: 4

 [     b]  compile_unit         abbrev: 1

           producer             (strp) "GNU Ada 9.1.1 20190503 (Red Hat 9.1.1-1) -g -fgnat-encodings=minimal -gstrict-dwarf -mtune=generic -march=x86-64"

           language             (data1) Ada95 (13)

           name                 (strp) "rng.ads"

           comp_dir             (strp) "/home/mark"

           low_pc               (addr) 000000000000000000

           high_pc              (data8) 2016 (0x00000000000007e0)

           stmt_list            (sec_offset) 0

 [    2d]    structure_type       abbrev: 2

             name                 (strp) "rng__rec"

             byte_size            (exprloc) 

              [ 0] push_object_address

              [ 1] deref_size 4

              [ 3] call4 [    c6]

              [ 8] plus_uconst 7

              [10] const1s -4

              [12] and

             decl_file            (data1) rng.ads (1)

             decl_line            (data1) 3

             decl_column          (data1) 9

             sibling              (ref4) [    ab]

 [    47]      member               abbrev: 3

               name                 (string) "i"

               decl_file            (data1) rng.ads (1)

               decl_line            (data1) 3

               decl_column          (data1) 14

               type                 (ref4) [    fe]

               data_member_location (data1) 0

 [    52]      variant_part         abbrev: 4

               discr                (ref4) [    47]

 [    57]        variant              abbrev: 5

                 discr_list           (block1) range 1..2147483647

                 sibling              (ref4) [    81]

 [    64]          variant_part         abbrev: 4

                   discr                (ref4) [    47]

 [    69]            variant              abbrev: 6

                     discr_list           (block1) range 1..15, label 17, label 23

 [    72]            variant              abbrev: 7

 [    73]              member               abbrev: 3

                       name                 (string) "j"

                       decl_file            (data1) rng.ads (1)

                       decl_line            (data1) 10

                       decl_column          (data1) 19

                       type                 (ref4) [    fe]

                       data_member_location (data1) 4

 [    81]        variant              abbrev: 5

                 discr_list           (block1) range -52..-1

                 sibling              (ref4) [    96]

 [    8a]          member               abbrev: 3

                   name                 (string) "q"

                   decl_file            (data1) rng.ads (1)

                   decl_line            (data1) 13

                   decl_column          (data1) 13

                   type                 (ref4) [    fe]

                   data_member_location (data1) 4

 [    96]        variant              abbrev: 8

                 discr_value          (sdata) -64

                 sibling              (ref4) [    a8]

 [    9c]          member               abbrev: 3

                   name                 (string) "r"

                   decl_file            (data1) rng.ads (1)

                   decl_line            (data1) 15

                   decl_column          (data1) 13

                   type                 (ref4) [   105]

                   data_member_location (data1) 4

 [    a8]        variant              abbrev: 9

 [    ab]    dwarf_procedure      abbrev: 10

             location             (exprloc) 

              [ 0] dup

              [ 1] lit0

              [ 2] gt

              [ 3] over

              [ 4] lit15

              [ 5] le

              [ 6] and

              [ 7] over

              [ 8] lit17

              [ 9] eq

              [10] or

              [11] over

              [12] lit23

              [13] eq

              [14] or

              [15] bra 22

              [18] lit4

              [19] skip 23

              [22] lit0

              [23] swap

              [24] drop

 [    c6]    dwarf_procedure      abbrev: 10

             location             (exprloc) 

              [ 0] dup

              [ 1] lit0

              [ 2] gt

              [ 3] bra 36

              [ 6] dup

              [ 7] const1s -52

              [ 9] lt

              [10] over

              [11] lit0

              [12] ge

              [13] or

              [14] bra 21

              [17] lit4

              [18] skip 33

              [21] dup

              [22] const1s -64

              [24] eq

              [25] bra 32

              [28] lit0

              [29] skip 33

              [32] lit4

              [33] skip 52

              [36] dup

              [37] call4 [    ab]

              [42] plus_uconst 3

              [44] const1s -4

              [46] and

              [47] plus_uconst 3

              [49] const1s -4

              [51] and

              [52] swap

              [53] drop

 [    fe]    base_type            abbrev: 11

             byte_size            (data1) 4

             encoding             (data1) signed (5)

             name                 (strp) "integer"

             artificial           (flag_present) yes

 [   105]    base_type            abbrev: 12

             byte_size            (data1) 1

             encoding             (data1) boolean (2)

             name                 (strp) "boolean"

 [   10c]    variable             abbrev: 13

             name                 (strp) "rng__r"

             decl_file            (data1) rng.ads (1)

             decl_line            (data1) 21

             decl_column          (data1) 4

             type                 (ref4) [    2d]

             external             (flag_present) yes

             location             (exprloc) 

              [ 0] addr 0x7e4

 [   122]    subprogram           abbrev: 14

             external             (flag_present) yes

             name                 (strp) "rng___elabs"

             artificial           (flag_present) yes

             low_pc               (addr) 0x0000000000000734

             high_pc              (data8) 22 (0x000000000000074a)

             frame_base           (exprloc) 

              [ 0] call_frame_cfa

testfile-urng.debug:

DWARF section [ 5] '.debug_info' at offset 0x40:

 [Offset]

 Compilation unit at offset 0:

 Version: 4, Abbreviation section offset: 0, Address size: 8, Offset size: 4

 [     b]  compile_unit         abbrev: 1

           producer             (strp) "GNU Ada 9.1.1 20190503 (Red Hat 9.1.1-1) -g -fgnat-encodings=minimal -gstrict-dwarf -mtune=generic -march=x86-64"

           language             (data1) Ada95 (13)

           name                 (strp) "urng.ads"

           comp_dir             (strp) "/home/mark"

           low_pc               (addr) 000000000000000000

           high_pc              (data8) 977 (0x00000000000003d1)

           stmt_list            (sec_offset) 0

 [    2d]    base_type            abbrev: 2

             byte_size            (data1) 2

             encoding             (data1) unsigned (7)

             name                 (strp) "urng__unsigned"

 [    34]    structure_type       abbrev: 3

             name                 (strp) "urng__rec"

             byte_size            (exprloc) 

              [ 0] push_object_address

              [ 1] deref_size 2

              [ 3] call4 [    8d]

              [ 8] plus_uconst 7

              [10] const1s -4

              [12] and

             decl_file            (data1) urng.ads (1)

             decl_line            (data1) 4

             decl_column          (data1) 9

             sibling              (ref4) [    8d]

 [    4e]      member               abbrev: 4

               name                 (string) "u"

               decl_file            (data1) urng.ads (1)

               decl_line            (data1) 4

               decl_column          (data1) 14

               type                 (ref4) [    2d]

               data_member_location (data1) 0

 [    59]      variant_part         abbrev: 5

               discr                (ref4) [    4e]

 [    5e]        variant              abbrev: 6

                 discr_list           (block1) label 17, label 23, range 32768..65535

 [    6b]        variant              abbrev: 7

                 discr_value          (udata) 256

                 sibling              (ref4) [    7e]

 [    72]          member               abbrev: 4

                   name                 (string) "b"

                   decl_file            (data1) urng.ads (1)

                   decl_line            (data1) 9

                   decl_column          (data1) 13

                   type                 (ref4) [    a4]

                   data_member_location (data1) 4

 [    7e]        variant              abbrev: 8

 [    7f]          member               abbrev: 4

                   name                 (string) "i"

                   decl_file            (data1) urng.ads (1)

                   decl_line            (data1) 11

                   decl_column          (data1) 13

                   type                 (ref4) [    ab]

                   data_member_location (data1) 4

 [    8d]    dwarf_procedure      abbrev: 9

             location             (exprloc) 

              [ 0] dup

              [ 1] lit17

              [ 2] ne

              [ 3] over

              [ 4] lit23

              [ 5] ne

              [ 6] and

              [ 7] over

              [ 8] lit0

              [ 9] ge

              [10] and

              [11] bra 18

              [14] lit0

              [15] skip 19

              [18] lit4

              [19] swap

              [20] drop

 [    a4]    base_type            abbrev: 2

             byte_size            (data1) 1

             encoding             (data1) boolean (2)

             name                 (strp) "boolean"

 [    ab]    base_type            abbrev: 10

             byte_size            (data1) 4

             encoding             (data1) signed (5)

             name                 (strp) "integer"

             artificial           (flag_present) yes

 [    b2]    variable             abbrev: 11

             name                 (strp) "urng__r"

             decl_file            (data1) urng.ads (1)

             decl_line            (data1) 15

             decl_column          (data1) 4

             type                 (ref4) [    34]

             external             (flag_present) yes

             location             (exprloc) 

              [ 0] addr 0x3d8

 [    c8]    subprogram           abbrev: 12

             external             (flag_present) yes

             name                 (strp) "urng___elabs"

             artificial           (flag_present) yes

             low_pc               (addr) 0x0000000000000386

             high_pc              (data8) 22 (0x000000000000039c)

             frame_base           (exprloc) 

              [ 0] call_frame_cfa

EOF