From: Arnaud Charlet <charlet@gcc.gnu.org>
Date: Thu, 31 Jul 2008 10:26:43 +0000 (+0200)
Subject: s-direio.adb (Reset): Replace pragma Unmodified by Warnings (Off)...
X-Git-Tag: releases/gcc-4.4.0~3585
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a66495761c21febaa3b0f4d1ac22f5e3d414244b;p=thirdparty%2Fgcc.git

s-direio.adb (Reset): Replace pragma Unmodified by Warnings (Off)...

	* s-direio.adb (Reset): Replace pragma Unmodified by Warnings (Off),
	so that we can compile this file successfully with -gnatc.

From-SVN: r138382
---

diff --git a/gcc/ada/s-direio.adb b/gcc/ada/s-direio.adb
index c764a1c658e0..8a6dd435e7cb 100644
--- a/gcc/ada/s-direio.adb
+++ b/gcc/ada/s-direio.adb
@@ -251,9 +251,12 @@ package body System.Direct_IO is
    -----------
 
    procedure Reset (File : in out File_Type; Mode : FCB.File_Mode) is
-      pragma Unmodified (File);
+      pragma Warnings (Off, File);
       --  File is actually modified via Unrestricted_Access below, but
       --  GNAT will generate a warning anyway.
+      --  Note that we do not use pragma Unmodified here, since in -gnatc
+      --  mode, GNAT will complain that File is modified for
+      --  "File.Index := 1;"
 
    begin
       FIO.Reset (AP (File)'Unrestricted_Access, Mode);
@@ -262,9 +265,8 @@ package body System.Direct_IO is
    end Reset;
 
    procedure Reset (File : in out File_Type) is
-      pragma Unmodified (File);
-      --  File is actually modified via Unrestricted_Access below, but
-      --  GNAT will generate a warning anyway.
+      pragma Warnings (Off, File);
+      --  See above (other Reset procedure) for explanations on this pragma
 
    begin
       FIO.Reset (AP (File)'Unrestricted_Access);