sem_prag.adb: (Analyze_Pragma...

	* sem_prag.adb: (Analyze_Pragma, case External): If entity is a
	constant, do not indicate possible modification, so that gigi can
	treat it as a bona fide constant.

From-SVN: r46168

gcc/ada/ChangeLog

+2001-10-10  Ed Schonberg <schonber@gnat.com>
+
+	* sem_prag.adb: (Analyze_Pragma, case External): If entity is a 
+	constant, do not indicate possible modification, so that gigi can 
+	treat it as a bona fide constant.
+
 2001-10-10  Robert Dewar <dewar@gnat.com>
 
 	* sem_prag.adb: Add processing for pragma External.

gcc/ada/sem_prag.adb

@@ -5021,7 +5021,11 @@ package body Sem_Prag is
             Check_At_Least_N_Arguments (2);
             Check_At_Most_N_Arguments  (4);
             Process_Convention (C, Def_Id);
-            Note_Possible_Modification (Expression (Arg2));
+
+            if Ekind (Def_Id) /= E_Constant then
+               Note_Possible_Modification (Expression (Arg2));
+            end if;
+
             Process_Interface_Name (Def_Id, Arg3, Arg4);
             Set_Exported (Def_Id, Arg2);
          end Export;