r178304 - in /trunk/gcc/ada: ChangeLog debug_a....

[charlet at gcc dot gnu dot org]

Author: charlet
Date: Tue Aug 30 13:41:24 2011
New Revision: 178304

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=178304
Log:
2011-08-30  Javier Miranda  <miranda@adacore.com>

	* sem_ch3.adb (Add_Internal_Interface_Entities): If serious errors have
	been reported and a subprogram covering an interface primitive is not
	found then skip generating the internal entity. Done to avoid crashing
	the frontend.
	(Check_Abstract_Overriding): Change text of error of wrong formal of
	protected subprogram or entry. Done for consistency to emit exactly the
	same error reported by Check_Synchronized_Overriding. In addition, the
	error is restricted to protected types (bug found working on AI05-0090)

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

	* exp_aggr.adb, exp_ch11.adb, exp_prag.adb: Remove early exit during
	expansion in Alfa mode.
	* exp_ch6.adb, exp_ch6.ads (Expand_Actuals): Make subprogram public.
	* exp_light.adb, exp_light.ads: New package defining light expansion.
	* expander.adb (Expand): Call light expansion in Alfa mode
	* exp_ch6_light.adb, exp_ch6_light.ads: Light expansion of chapter 6
	constructs.
	* exp_ch7_light.adb, exp_ch7_light.ads: Light expansion of chapter 7
	constructs.
	* exp_attr_light.adb, exp_attr_light.ads: Light expansion of attributes
	* gnat1drv.adb (Adjust_Global_Switches): Comment

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

	* lib-xref-alfa.adb: Minor refactoring.

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

	* exp_ch9.adb (Expand_Entry_Barrier): Do not perform expansion in Alfa
	mode.
	* sem_ch6.adb (Analyze_Subprogram_Body_Helper): Do not perform
	expansion in Alfa mode.
	* sem_ch9.adb (Analyze_Entry_Body): Do not perform expansion in Alfa
	mode.

2011-08-30  Robert Dewar  <dewar@adacore.com>

	* debug_a.adb: Update comment.


Added:
    trunk/gcc/ada/exp_attr_light.adb
    trunk/gcc/ada/exp_attr_light.ads
    trunk/gcc/ada/exp_ch6_light.adb
    trunk/gcc/ada/exp_ch6_light.ads
    trunk/gcc/ada/exp_ch7_light.adb
    trunk/gcc/ada/exp_ch7_light.ads
    trunk/gcc/ada/exp_light.adb
    trunk/gcc/ada/exp_light.ads
Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/debug_a.adb
    trunk/gcc/ada/exp_aggr.adb
    trunk/gcc/ada/exp_ch11.adb
    trunk/gcc/ada/exp_ch6.adb
    trunk/gcc/ada/exp_ch6.ads
    trunk/gcc/ada/exp_ch9.adb
    trunk/gcc/ada/exp_prag.adb
    trunk/gcc/ada/expander.adb
    trunk/gcc/ada/gnat1drv.adb
    trunk/gcc/ada/lib-xref-alfa.adb
    trunk/gcc/ada/sem_ch3.adb
    trunk/gcc/ada/sem_ch6.adb
    trunk/gcc/ada/sem_ch9.adb