[Patch, Fortran] PR 35831: Checking characteristics of dummy arguments

[Tobias Burnus]

Hi Janus,

Janus Weil wrote:
> here is a straightforward patch for a rather old PR, which deals with
> argument checking. The patch at hand fixes one of the outstanding todo
> items of the PR (see comment 17), namely extending the attribute
> checking of dummy arguments. It adds checks for the four missing
> attributes (asynchronous, contiguous, value, volatile). The relevant
> standard reference is F08:12.3.2.
>
> Included is also a test case and a fix for one testsuite case which
> was rejected with the patch.
>
> Regtested on x86_64-unknown-linux-gnu. Ok for trunk?

Looks fine to me. Thanks!

Tobias

> 2013-12-10  Janus Weil  <janus@gcc.gnu.org>
>
>      PR fortran/35831
>      * interface.c (check_dummy_characteristics): Add checks for several
>      attributes.
>
>
> 2013-12-10  Janus Weil  <janus@gcc.gnu.org>
>
>      PR fortran/35831
>      * gfortran.dg/c_by_val_5.f90: Modified.
>      * gfortran.dg/dummy_procedure_10.f90: New.