1 files changed, 47 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/old_errors.adb b/gcc/testsuite/gnat.dg/old_errors.adb
new file mode 100644
index 000000000..a5e4d4217
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/old_errors.adb
@@ -0,0 +1,47 @@
+-- { dg-do compile }
+package body Old_Errors is
+
+   A : Integer;
+
+   function F
+     (X : Integer := A'Old) -- { dg-error "can only appear within subprogram" }
+     return Integer is
+   begin
+      return X;
+   end F;
+
+   procedure P (I : in Integer; O : out Integer; IO : in out Integer) is
+      Y : Integer := 0;
+      function G
+        (X : Integer := Y'Old) -- { dg-error "cannot refer to local variable" }
+        return Integer is
+      begin
+         return X;
+      end G;
+
+      function H (X : Integer := A'Old) return Integer is  -- OK
+      begin
+         return X;
+      end H;
+
+   begin
+      Y := Y'Old; -- { dg-error "cannot refer to local variable" }
+      declare
+         Z : Integer := 0;
+         procedure Inner is
+            IL : Integer := 0;
+         begin
+            IL := IL'Old; -- { dg-error "cannot refer to local variable" }
+            Z  := Z'Old;  -- OK
+         end Inner;
+      begin
+         Y := Z'Old; -- { dg-error "cannot refer to local variable" }
+      end;
+      Y := I'Old;   -- { dg-warning "Old applied to constant has no effect" }
+      Y := O'Old;   -- OK
+      Y := IO'Old;  -- OK
+      Y := G;       -- OK, error has been signalled at G declaration
+      pragma Assert (G (3)'Old = Y); -- { dg-error "cannot refer to local variable" }
+   end P;
+
+end Old_Errors;