r262495 - in /trunk/gcc: ada/ChangeLog ada/gcc-...

[ebotcazou@gcc.gnu.org]

Author: ebotcazou
Date: Sat Jul  7 10:06:08 2018
New Revision: 262495

URL: https://gcc.gnu.org/viewcvs?rev=262495&root=gcc&view=rev
Log:
	* gcc-interface/decl.c (gnat_to_gnu_param): Minor tweak.
	(gnat_to_gnu_subprog_type): New pure_flag local variable.  Set it for
	a pure Ada function with a by-ref In parameter.  Propagate it onto the
	function type by means of the TYPE_QUAL_RESTRICT flag.
	* gcc-interface/utils.c (finish_subprog_decl): Set DECL_PURE_P if the
	function type has the TYPE_QUAL_RESTRICT flag set.

Added:
    trunk/gcc/testsuite/gnat.dg/pure_function3_pkg.ads
    trunk/gcc/testsuite/gnat.dg/pure_function3a.adb
    trunk/gcc/testsuite/gnat.dg/pure_function3b.adb
    trunk/gcc/testsuite/gnat.dg/pure_function3c.adb
Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/gcc-interface/decl.c
    trunk/gcc/ada/gcc-interface/utils.c
    trunk/gcc/testsuite/ChangeLog