+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.
+++ /dev/null
--- { 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;
+++ /dev/null
-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;
end Debug1;
--- { dg-final { scan-assembler-times "DW_AT_artificial" 13 } }
+-- { dg-final { scan-assembler-times "DW_AT_artificial" 17 } }
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;