r255680 - in /trunk/gcc/ada: ChangeLog exp_attr...

[pmderodat@gcc.gnu.org]

Author: pmderodat
Date: Fri Dec 15 09:44:22 2017
New Revision: 255680

URL: https://gcc.gnu.org/viewcvs?rev=255680&root=gcc&view=rev
Log:
2017-12-15  Bob Duff  <duff@adacore.com>

	* exp_ch6.adb (Expand_N_Extended_Return_Statement): If the
	Init_Assignment is rewritten, we need to set Assignment_OK on the new
	node.  Otherwise, we will get spurious errors when initializing via
	assignment statement.

2017-12-15  Arnaud Charlet  <charlet@adacore.com>

	* exp_unst.adb (Visit_Node): Refine handling of 'Access to ignore non
	relevant nodes.
	(Has_Non_Null_Statements): Moved to sem_util for later reuse.

2017-12-15  Eric Botcazou  <ebotcazou@adacore.com>

	* exp_attr.adb (Is_Inline_Floating_Point_Attribute): Fix comment.
	* libgnat/s-fatgen.adb (Model): Use Machine attribute.
	(Truncation): Likewise.

2017-12-15  Bob Duff  <duff@adacore.com>

	* exp_ch7.adb (Expand_Cleanup_Actions): Make sure the block and handled
	statement sequence generated for certain extended return statements
	have a Sloc that is not No_Location. Otherwise, the back end doesn't
	set any location and ends up reading uninitialized variables.

Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/exp_attr.adb
    trunk/gcc/ada/exp_ch6.adb
    trunk/gcc/ada/exp_ch7.adb
    trunk/gcc/ada/exp_unst.adb
    trunk/gcc/ada/libgnat/s-fatgen.adb
    trunk/gcc/ada/sem_util.adb
    trunk/gcc/ada/sem_util.ads