diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index 10ad0bf2a3544c08a79104da6b3b813f7224cba3..b102e312e98543a4b03222117cc644367b18f95f 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,8 @@ +2014-12-31 Tobias Burnus <burnus@net-b.de> + + * match.c (gfc_match_stopcode): Permit error stop in pure + procedures with F2015. + 2014-12-31 Uros Bizjak <ubizjak@gmail.com> * trans-array.c (trans_array_bound_check): Use xasprintf instead diff --git a/gcc/fortran/match.c b/gcc/fortran/match.c index fb68eec6ee87530ec6a54b700096b4bb8ccf5d4f..2b4202bc96d77231c04c4b514d0d2d7e71bef7a6 100644 --- a/gcc/fortran/match.c +++ b/gcc/fortran/match.c @@ -2557,7 +2557,8 @@ gfc_match_cycle (void) } -/* Match a number or character constant after an (ALL) STOP or PAUSE statement. */ +/* Match a number or character constant after an (ERROR) STOP or PAUSE + statement. */ static match gfc_match_stopcode (gfc_statement st) @@ -2581,9 +2582,18 @@ gfc_match_stopcode (gfc_statement st) if (gfc_pure (NULL)) { - gfc_error ("%s statement not allowed in PURE procedure at %C", - gfc_ascii_statement (st)); - goto cleanup; + if (st == ST_ERROR_STOP) + { + if (!gfc_notify_std (GFC_STD_F2015, "%s statement at %C in PURE " + "procedure", gfc_ascii_statement (st))) + goto cleanup; + } + else + { + gfc_error ("%s statement not allowed in PURE procedure at %C", + gfc_ascii_statement (st)); + goto cleanup; + } } gfc_unset_implicit_pure (NULL); diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 03531d386fcaf8deff4d98a62d40c01db08a1cb4..96ca31472c1100e2452b6ea9403fcd2fe94ce01e 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,9 @@ +2014-12-31 Tobias Burnus <burnus@net-b.de> + + * gfortran.dg/error_stop_3.f90: New. + * gfortran.dg/error_stop_4.f90: New. + * gfortran.dg/coarray_3.f90: Remove a dg-error. + 2014-12-31 Iain Sandoe <iain@codesourcery.com> * obj-c++.dg/lambda-0.mm New. diff --git a/gcc/testsuite/gfortran.dg/coarray_3.f90 b/gcc/testsuite/gfortran.dg/coarray_3.f90 index 63c3bd33571b67e08da078b199887ad7db4c189f..aba4eb1bc847b04c07f644bc43247712a500ce74 100644 --- a/gcc/testsuite/gfortran.dg/coarray_3.f90 +++ b/gcc/testsuite/gfortran.dg/coarray_3.f90 @@ -79,7 +79,7 @@ pure subroutine pureSub() critical ! { dg-error "Image control statement CRITICAL" } end critical ! { dg-error "Expecting END SUBROUTINE statement" } sync all ! { dg-error "Image control statement SYNC" } - error stop ! { dg-error "not allowed in PURE procedure" } + error stop end subroutine pureSub diff --git a/gcc/testsuite/gfortran.dg/error_stop_3.f90 b/gcc/testsuite/gfortran.dg/error_stop_3.f90 new file mode 100644 index 0000000000000000000000000000000000000000..43747397e59a607c1a2c39e4988599c1f44060c5 --- /dev/null +++ b/gcc/testsuite/gfortran.dg/error_stop_3.f90 @@ -0,0 +1,9 @@ +! { dg-do compile } +! { dg-options "-std=gnu" } +! +! F2015 permits ERROR STOP in PURE procedures +! FIXME: Change to -std=f2015, when available +! +pure subroutine foo() + error stop "failed" +end diff --git a/gcc/testsuite/gfortran.dg/error_stop_4.f90 b/gcc/testsuite/gfortran.dg/error_stop_4.f90 new file mode 100644 index 0000000000000000000000000000000000000000..a28aa3755b26497d6caeccda40403f41183eba1e --- /dev/null +++ b/gcc/testsuite/gfortran.dg/error_stop_4.f90 @@ -0,0 +1,9 @@ +! { dg-do compile } +! { dg-options "-std=f2008ts" } +! +! F2015 permits ERROR STOP in PURE procedures +! FIXME: Change to error_stop_3.f90 to -std=f2015. +! +pure subroutine foo() + error stop "failed" ! { dg-error "GNU Extension: ERROR STOP statement at .1. in PURE procedure" } +end