#! /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 . . $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 <