discr6.adb, [...]: Removed, no longer relevant.

* gnat.dg/discr6.adb, gnat.dg/discr6_pkg.ads: Removed, no longer
        relevant.
        * gnat.dg/debug1.ads: Adjust.
        * gnat.dg/formal_type.ads: Fix error in test.

From-SVN: r213530
This commit is contained in:
Arnaud Charlet 2014-08-04 07:45:28 +00:00 committed by Arnaud Charlet
parent b734a5c91e
commit fb4fb123ac
5 changed files with 9 additions and 52 deletions

View File

@ -1,3 +1,10 @@
2014-08-04 Arnaud Charlet <charlet@adacore.com>
* gnat.dg/discr6.adb, gnat.dg/discr6_pkg.ads: Removed, no longer
relevant.
* gnat.dg/debug1.ads: Adjust.
* gnat.dg/formal_type.ads: Fix error in test.
2014-08-03 Marek Polacek <polacek@redhat.com>
* gcc.dg/case-bogus-1.c: New test.

View File

@ -1,33 +0,0 @@
-- { dg-do compile }
-- { dg-options "-gnatdm -gnatws" }
with Discr6_Pkg;
procedure Discr6 is
type T_Bit is range 0..1;
type T_Entier_16 is range -2**15 .. 2**15-1;
package My_Q is new Discr6_Pkg(T_Entier_16);
type T_Valeur is (BIT, Entier_16);
type R(D : T_Valeur) is record
case D is
when BIT => V_BIT : T_Bit;
when Entier_16 => V_E16 : T_Entier_16;
end case;
end record;
for R use record
V_BIT at 0 range 0..7;
V_E16 at 0 range 0..15;
D at 8 range 0..7;
end record;
for R'size use 128;
A : R(Entier_16);
I : Integer;
begin
I := My_Q.X(A.V_E16);
end;

View File

@ -1,16 +0,0 @@
generic
type T(<>) is private;
package Discr6_Pkg is
function X (A : T) return Integer;
pragma Interface(C, X);
pragma IMPORT_FUNCTION (
INTERNAL => X,
EXTERNAL => X,
PARAMETER_TYPES => (T),
MECHANISM => (Descriptor(S)));
end Discr6_Pkg;

View File

@ -11,4 +11,4 @@ package Debug1 is
end Debug1;
-- { dg-final { scan-assembler-times "DW_AT_artificial" 13 } }
-- { dg-final { scan-assembler-times "DW_AT_artificial" 17 } }

View File

@ -9,7 +9,6 @@ package formal_type is
package G is end;
package BI is new Ada.Strings.Bounded.Generic_Bounded_Length (30);
type NB is new BI.Bounded_String;
Thing : NB;
Size : Integer := THing.Max_Length;
Thing : NB;
package GI is new G (BI, NB);
end;