Subversion Repositories openrisc_2011-10-31

-- { 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;