This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r262495 - in /trunk/gcc: ada/ChangeLog ada/gcc-...
- From: ebotcazou at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Sat, 07 Jul 2018 10:06:09 -0000
- Subject: r262495 - in /trunk/gcc: ada/ChangeLog ada/gcc-...
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