]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
discr6.adb, [...]: Removed, no longer relevant.
authorArnaud Charlet <charlet@adacore.com>
Mon, 4 Aug 2014 07:45:28 +0000 (07:45 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 4 Aug 2014 07:45:28 +0000 (09:45 +0200)
        * 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

gcc/testsuite/ChangeLog
gcc/testsuite/gnat.dg/discr6.adb [deleted file]
gcc/testsuite/gnat.dg/discr6_pkg.ads [deleted file]
gcc/testsuite/gnat.dg/specs/debug1.ads
gcc/testsuite/gnat.dg/specs/formal_type.ads

index d18aed8ee1b74accb846cedbbc3de57c2df2d3d4..c04e0bc9c2caf68bc22cceb6e9594f9af8c90382 100644 (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.
diff --git a/gcc/testsuite/gnat.dg/discr6.adb b/gcc/testsuite/gnat.dg/discr6.adb
deleted file mode 100644 (file)
index 52a94b1..0000000
+++ /dev/null
@@ -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;
diff --git a/gcc/testsuite/gnat.dg/discr6_pkg.ads b/gcc/testsuite/gnat.dg/discr6_pkg.ads
deleted file mode 100644 (file)
index 81404d4..0000000
+++ /dev/null
@@ -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;
index 1760eff739f931759dd0eb65ba40db836b6f9236..92e9184e473b65da124bee16a896a3ee218b1a05 100644 (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 } }
index 4f12b82d3f5a59479ee717ccadadcae6e0329f8e..1a6f8aadeb20386308790e1ab07d342d32a265c5 100644 (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;