using GNU Fortran 95 (GCC) 4.1.0 20051126 (prerelease) with '-g -pedantic
-std=f95', I get a bad / no diagnostic for the following invalid code:
MDULE M1
TYPE T1
INTEGER :: I
END TYPE T1
CNTAINS
SUBRUTINE S1(D1)
TYPE(T1), PTINAL :: D1
write(6,*) PRESENT(D1%I)
END SUBRUTINE S1
END MDULE
END

Comment #1 from eedelman at gcc dot gnu dot org 2005-11-30 12:49
Confirmed.

Comment #3 from patchapp at dberlin dot org 2006-07-11 16:10
Subject: Bug number PR25097
A patch for this bug has been added to the patch tracker.
The mailing list url for the patch is

Comment #4 from pault at gcc dot gnu dot org 2006-07-13 05:07
Subject: Bug 25097

Author: pault
Date: Thu Jul 13 05:07:35 2006
New Revision: 115410

URL:
Log:
2006-07-13 Paul Thomas <pault (AT) gcc (DOT) gnu.org>

PR fortran/28174
* trans-expr.c (gfc_conv_aliased_arg): Missing formal arg means
that intent is INUT (fixes regression).

PR fortran/25097
* check.c (check_present): The only permitted reference is a
full array reference.

PR fortran/20903
* decl.c (variable_decl): Add error if a derived type is not
from the current namespace if the namespace is an interface
body.

2006-07-13 Paul Thomas <pault (AT) gcc (DOT) gnu.org>

PR fortran/25097
* gfortran.dg/present_1.f90: New test.

PR fortran/20903
* New test.

Added:

Modified:
trunk/gcc/fortran/ChangeLog
trunk/gcc/fortran/check.c
trunk/gcc/fortran/decl.c
trunk/gcc/fortran/trans-expr.c
trunk/gcc/testsuite/ChangeLog

Comment #5 from pault at gcc dot gnu dot org 2006-07-16 17:17
Subject: Bug 25097

Author: pault
Date: Sun Jul 16 17:17:04 2006
New Revision: 115502

URL:
Log:
2006-07-16 Paul Thomas <pault (AT) gcc (DOT) gnu.org>

PR fortran/28384
* trans-common.c (translate_common): If common_segment is NULL
emit error that common block does not exist.

PR fortran/20844
* io.c (check_io_constraints): It is an error if an ADVANCE
specifier appears without an explicit format.

PR fortran/28201
* resolve.c (resolve_generic_s): For a use_associated function,
do not search for an alternative symbol in the parent name
space.

PR fortran/20893
* resolve.c (resolve_elemental_actual): New function t combine
all the checks of elemental procedure actual arguments. In
addition, check of array valued optional args(this PR) has
been added.
(resolve_function, resolve_call): Remove parts that treated
elemental procedure actual arguments and call the above.

PR fortran/28353
* trans-expr.c (gfc_conv_aliased_arg): Missing formal arg means
that intent is INUT (fixes regression).

PR fortran/25097
* check.c (check_present): The only permitted reference is a
full array reference.

PR fortran/20903
* decl.c (variable_decl): Add error if a derived type is not
from the current namespace if the namespace is an interface
body.

2006-07-16 Paul Thomas <pault (AT) gcc (DOT) gnu.org>

PR fortran/20844
* Add the test for ADVANCE
specifiers requiring an explicit format tag

PR fortran/28201
* gfortran.dg/generic_5: New test.

PR fortran/20893
* New test.

PR fortran/25097
* gfortran.dg/present_1.f90: New test.

PR fortran/20903
* New test.

Added:

Modified:

Comment #6 from pault at gcc dot gnu dot org 2006-07-16 17:21
Fixed on trunk and 4.2
Paul