2011-08-04 Yannick Moy <moy@adacore.com>

	* alfa.adb, alfa.ads (Get_Entity_For_Decl): remove function, partial
	duplicate of Defining_Entity
	(Get_Unique_Entity_For_Decl): rename function into
	Unique_Defining_Entity
	* einfo.adb, einfo.ads (Is_In_ALFA, Body_Is_In_ALFA): remove flags
	(Formal_Proof_On): remove synthesized flag
	* cstand.adb, sem_ch11.adb, sem_ch2.adb, sem_ch3.adb, sem_ch4.adb,
	sem_ch5.adb, sem_ch6.adb, sem_ch9.adb, sem_res.adb, sem_util.adb,
	sem_util.ads, stand.ads: Remove treatment associated to entities in ALFA
	* sem_prag.adb (Analyze_Pragma): remove special treatment for pragma
	Annotate (Formal_Proof)

2011-08-04  Emmanuel Briot  <briot@adacore.com>

	* prj-env.adb (Create_Config_Pragmas_File): fix handling of multi-unit
	source files with non-standard naming schemes, in imported projects



git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177353 138bc75d-0d04-0410-961f-82ee72b054a4

1 files changed, 0 insertions, 9 deletions

diff --git a/gcc/ada/sem_ch2.adb b/gcc/ada/sem_ch2.adb
index d4393963a05..84cd62db2c6 100644
--- a/gcc/ada/sem_ch2.adb
+++ b/gcc/ada/sem_ch2.adb
@@ -24,14 +24,12 @@
 ------------------------------------------------------------------------------
 
 with Atree;    use Atree;
-with Einfo;    use Einfo;
 with Errout;   use Errout;
 with Namet;    use Namet;
 with Opt;      use Opt;
 with Restrict; use Restrict;
 with Rident;   use Rident;
 with Sem_Ch8;  use Sem_Ch8;
-with Sem_Util; use Sem_Util;
 with Sinfo;    use Sinfo;
 with Stand;    use Stand;
 with Uintp;    use Uintp;
@@ -76,13 +74,6 @@ package body Sem_Ch2 is
          return;
       else
          Find_Direct_Name (N);
-
-         if Present (Entity (N))
-           and then Is_Object (Entity (N))
-           and then not Is_In_ALFA (Entity (N))
-         then
-            Mark_Non_ALFA_Subprogram ("object is not in ALFA", N);
-         end if;
       end if;
    end Analyze_Identifier;