[Bug fortran/71156] PURE interface/definition inconsistency: accepts invalid, rejects valid

[pault at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71156

--- Comment #8 from Paul Thomas <pault at gcc dot gnu.org> ---
Author: pault
Date: Wed Jun  1 18:46:11 2016
New Revision: 237004

URL: https://gcc.gnu.org/viewcvs?rev=237004&root=gcc&view=rev
Log:
2016-06-01  Paul Thomas  <pault@gcc.gnu.org>

        PR fortran/71156
        * decl.c (copy_prefix): Add checks that the module procedure
        declaration prefixes are compliant with the interface. Invert
        order of existing elemental and pure checks.
        * resolve.c (resolve_fl_procedure): Invert order of elemental
        and pure errors.

2016-06-01  Paul Thomas  <pault@gcc.gnu.org>

        PR fortran/71156
        * gfortran.dg/submodule_14.f08: Add missing recursive prefix
        to the module procedure declaration.
        * gfortran.dg/submodule_16.f08: New test.

Added:
    branches/gcc-6-branch/gcc/testsuite/gfortran.dg/submodule_16.f08
Modified:
    branches/gcc-6-branch/gcc/fortran/ChangeLog
    branches/gcc-6-branch/gcc/fortran/decl.c
    branches/gcc-6-branch/gcc/fortran/resolve.c
    branches/gcc-6-branch/gcc/testsuite/ChangeLog
    branches/gcc-6-branch/gcc/testsuite/gfortran.dg/submodule_14.f08