From 4a3e34f774a3748b5f9a7afd6d616adb26a15217 Mon Sep 17 00:00:00 2001 From: burnus Date: Tue, 29 Oct 2013 21:48:02 +0000 Subject: [PATCH] 2013-10-29 Tobias Burnus PR fortran/44350 * parse.c (parse_spec): Add C1116 constraint check for BLOCK DATA. 2013-10-29 Tobias Burnus PR fortran/44350 * gfortran.dg/blockdata_8.f90: New. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@204185 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/fortran/ChangeLog | 6 ++++ gcc/fortran/parse.c | 27 +++++++++++++++++ gcc/testsuite/ChangeLog | 5 ++++ gcc/testsuite/gfortran.dg/blockdata_8.f90 | 48 +++++++++++++++++++++++++++++++ 4 files changed, 86 insertions(+) create mode 100644 gcc/testsuite/gfortran.dg/blockdata_8.f90 diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index d116183273a..059b7b3528c 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,9 @@ +2013-10-29 Tobias Burnus + + PR fortran/44350 + * parse.c (parse_spec): Add C1116 constraint + check for BLOCK DATA. + 2013-10-29 Paul Thomas PR fortran/58793 diff --git a/gcc/fortran/parse.c b/gcc/fortran/parse.c index 512babfd450..e8b988558a8 100644 --- a/gcc/fortran/parse.c +++ b/gcc/fortran/parse.c @@ -2628,6 +2628,33 @@ loop: default: break; } + else if (gfc_current_state () == COMP_BLOCK_DATA) + /* Fortran 2008, C1116. */ + switch (st) + { + case ST_DATA_DECL: + case ST_COMMON: + case ST_DATA: + case ST_TYPE: + case ST_END_BLOCK_DATA: + case ST_ATTR_DECL: + case ST_EQUIVALENCE: + case ST_PARAMETER: + case ST_IMPLICIT: + case ST_IMPLICIT_NONE: + case ST_DERIVED_DECL: + case ST_USE: + break; + + case ST_NONE: + break; + + default: + gfc_error ("%s statement is not allowed inside of BLOCK DATA at %C", + gfc_ascii_statement (st)); + reject_statement (); + break; + } /* If we find a statement that can not be followed by an IMPLICIT statement (and thus we can expect to see none any further), type the function result diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index d419b287d5e..3dc59126378 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2013-10-29 Tobias Burnus + + PR fortran/44350 + * gfortran.dg/blockdata_8.f90: New. + 2013-10-29 Paul Thomas PR fortran/58793 diff --git a/gcc/testsuite/gfortran.dg/blockdata_8.f90 b/gcc/testsuite/gfortran.dg/blockdata_8.f90 new file mode 100644 index 00000000000..d3f992564ad --- /dev/null +++ b/gcc/testsuite/gfortran.dg/blockdata_8.f90 @@ -0,0 +1,48 @@ +! { dg-do compile } +! +! PR fortran/44350 +! +! Fortran 2008, C1116 only permits a small subset of statements in BLOCK DATA +! +! Part of the test case was contributed by Vittorio Zecca +! +module m +end module m + +BLOCK DATA valid2 + use m + implicit integer(a-z) + intrinsic :: sin + common /one/ a, c + bind(C) :: /one/ + dimension c(5) + parameter (g = 7) +END BLOCK DATA valid2 + +BLOCK DATA valid + use m + implicit none + type t + sequence + end type t + type(t), save :: x + integer :: y + real :: q + save :: y + dimension :: q(5) +! class(*) :: zz ! See PR fortran/58857 +! pointer :: zz + target :: q + volatile y + asynchronous q +END BLOCK DATA valid + +block data invalid + common x + f(x)=x ! { dg-error "STATEMENT FUNCTION statement is not allowed inside of BLOCK DATA" } + interface ! { dg-error "INTERFACE statement is not allowed inside of BLOCK DATA" } + end interface +1 format() ! { dg-error "FORMAT statement is not allowed inside of BLOCK DATA" } +end block invalid ! { dg-error "Expecting END BLOCK DATA statement" } + +! { dg-error "Unexpected end of file" "" { target "*-*-*" } 0 } -- 2.11.4.GIT