r130838 - in /trunk/gcc/ada: exp_prag.adb sem_r...

[charlet@gcc.gnu.org]

Author: charlet
Date: Thu Dec 13 10:26:56 2007
New Revision: 130838

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=130838
Log:
2007-12-06  Robert Dewar  <dewar@adacore.com>
	    Ed Schonberg  <schonberg@adacore.com>

	* exp_prag.adb (Expand_Pragma_Assert): Recognize new warning flag for
	assert fail

	* ug_words: Add entries for -gnatw.a -gnatw.A

	* sem_res.adb (Set_String_Literal_Subtype): If the context of the
	literal is a subtype with non-static constraints, use the base type of
	the context as the base of the string subtype, to prevent type
	mismatches in gigi.
	(Resolve_Actuals): If the actual is an entity name, generate a
	reference before the actual is resolved and expanded, to prevent
	spurious warnings on formals of enclosing protected operations.
	(Analyze_Overloaded_Selected_Component): If type of prefix if
	class-wide, use visible components of base type.
	(Resolve_Selected_Component): Ditto.
	(Resolve_Short_Circuit): Detect case of pragma Assert argument
	evaluating to False, and issue warning message.

	* usage.adb: Add lines for -gnatw.a and -gnatw.A


Modified:
    trunk/gcc/ada/exp_prag.adb
    trunk/gcc/ada/sem_res.adb
    trunk/gcc/ada/ug_words
    trunk/gcc/ada/usage.adb