r149978 - in /trunk/gcc/ada: ChangeLog errout.a...

[charlet@gcc.gnu.org]

Author: charlet
Date: Thu Jul 23 09:10:58 2009
New Revision: 149978

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=149978
Log:
2009-07-23  Robert Dewar  <dewar@adacore.com>

	* exp_ch5.adb (Expand_N_Assignment_Statement): Do left-side validity
	check right away so it does not get skipped for early returns, e.g.
	array assignments.
	(Expand_N_Assignment_Statement): Don't propagate Is_Known_Valid to
	left-side unless we really know the value is valid.

	* errout.adb, exp_ch3.adb, exp_disp.ads, sinfo.ads, exp_disp.adb: Minor
	reformatting. Minor code reorganization. Add comments.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/errout.adb
    trunk/gcc/ada/exp_ch3.adb
    trunk/gcc/ada/exp_ch5.adb
    trunk/gcc/ada/exp_disp.adb
    trunk/gcc/ada/exp_disp.ads
    trunk/gcc/ada/sinfo.ads