| #! /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 <<EOF |
| |
| 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 |
