r220288 - in /trunk/gcc/ada: ChangeLog a-assert...

[charlet@gcc.gnu.org]

Author: charlet
Date: Fri Jan 30 15:25:38 2015
New Revision: 220288

URL: https://gcc.gnu.org/viewcvs?rev=220288&root=gcc&view=rev
Log:
2015-01-30  Robert Dewar  <dewar@adacore.com>

	* einfo.ads: Minor comment fix.
	* freeze.adb (Freeze_Profile): Add test for suspicious import
	in pure unit.
	* sem_prag.adb (Process_Import_Or_Interface): Test for suspicious
	use in Pure unit is now moved to Freeze (to properly catch
	Pure_Function exemption).

2015-01-30  Bob Duff  <duff@adacore.com>

	* sem_res.ads: Minor comment fix.
	* sem_type.adb: sem_type.adb (Remove_Conversions): Need to
	check both operands of an operator.

2015-01-30  Yannick Moy  <moy@adacore.com>

	* a-assert.ads, a-assert.adb: Mark package spec in SPARK. Set assertion
	policy for Pre to Ignore.
	(Assert): Add precondition.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/a-assert.adb
    trunk/gcc/ada/a-assert.ads
    trunk/gcc/ada/einfo.ads
    trunk/gcc/ada/freeze.adb
    trunk/gcc/ada/sem_res.ads
    trunk/gcc/ada/sem_type.adb