r194778 - in /trunk/gcc/ada: ChangeLog par_sco....

[charlet@gcc.gnu.org]

Author: charlet
Date: Wed Jan  2 09:26:54 2013
New Revision: 194778

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=194778
Log:
2013-01-02  Hristian Kirtchev  <kirtchev@adacore.com>

	* sem_prag.adb (Analyze_Pragma): Check the legality of pragma Assume.

2013-01-02  Thomas Quinot  <quinot@adacore.com>

	* sem_eval.adb (Compile_Time_Compare): For static operands, we
	can perform a compile time comparison even if in preanalysis mode.

2013-01-02  Thomas Quinot  <quinot@adacore.com>

	* par_sco.adb (SCO_Record): Always use
	Traverse_Declarations_Or_Statements to process the library level
	declaration, so that SCOs are properly generated for its aspects.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/par_sco.adb
    trunk/gcc/ada/sem_eval.adb
    trunk/gcc/ada/sem_prag.adb