From fb7ca5a762a94ab5c7f3d16831b3dc037dfa6619 Mon Sep 17 00:00:00 2001 From: Janus Weil Date: Sat, 6 Dec 2008 13:15:49 +0100 Subject: [PATCH] re PR fortran/38415 (procedure pointer assignment to abstract interface) 2008-12-06 Janus Weil PR fortran/38415 * expr.c (gfc_check_pointer_assign): Added a check for abstract interfaces in procedure pointer assignments, removed check involving gfc_compare_interfaces until PR38290 is fixed completely. 2008-12-06 Janus Weil PR fortran/38415 * gfortran.dg/proc_ptr_2.f90: Extended. * gfortran.dg/proc_ptr_11.f90: Modified. From-SVN: r142520 --- gcc/fortran/ChangeLog | 7 +++++++ gcc/fortran/expr.c | 9 ++++++++- gcc/testsuite/ChangeLog | 6 ++++++ gcc/testsuite/gfortran.dg/proc_ptr_11.f90 | 6 +++++- gcc/testsuite/gfortran.dg/proc_ptr_2.f90 | 8 ++++++++ 5 files changed, 34 insertions(+), 2 deletions(-) diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index 5cdbb230293c..0fed3d295707 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,10 @@ +2008-12-06 Janus Weil + + PR fortran/38415 + * expr.c (gfc_check_pointer_assign): Added a check for abstract + interfaces in procedure pointer assignments, removed check involving + gfc_compare_interfaces until PR38290 is fixed completely. + 2008-12-05 Jerry DeLisle PR fortran/38291 diff --git a/gcc/fortran/expr.c b/gcc/fortran/expr.c index b94e5ac0b87e..07dfc7a08a31 100644 --- a/gcc/fortran/expr.c +++ b/gcc/fortran/expr.c @@ -3125,6 +3125,13 @@ gfc_check_pointer_assign (gfc_expr *lvalue, gfc_expr *rvalue) &rvalue->where); return FAILURE; } + if (attr.abstract) + { + gfc_error ("Abstract interface '%s' is invalid " + "in procedure pointer assignment at %L", + rvalue->symtree->name, &rvalue->where); + } + /* TODO. See PR 38290. if (rvalue->expr_type == EXPR_VARIABLE && lvalue->symtree->n.sym->attr.if_source != IFSRC_UNKNOWN && !gfc_compare_interfaces (lvalue->symtree->n.sym, @@ -3133,7 +3140,7 @@ gfc_check_pointer_assign (gfc_expr *lvalue, gfc_expr *rvalue) gfc_error ("Interfaces don't match " "in procedure pointer assignment at %L", &rvalue->where); return FAILURE; - } + }*/ return SUCCESS; } diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 5b26088dd13e..2c7ee3cba637 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,9 @@ +2008-12-06 Janus Weil + + PR fortran/38415 + * gfortran.dg/proc_ptr_2.f90: Extended. + * gfortran.dg/proc_ptr_11.f90: Modified. + 2008-12-05 Jerry DeLisle PR fortran/38291 diff --git a/gcc/testsuite/gfortran.dg/proc_ptr_11.f90 b/gcc/testsuite/gfortran.dg/proc_ptr_11.f90 index a5cdbb54890c..69bf140b818c 100644 --- a/gcc/testsuite/gfortran.dg/proc_ptr_11.f90 +++ b/gcc/testsuite/gfortran.dg/proc_ptr_11.f90 @@ -14,8 +14,12 @@ program bsp end interface procedure( up ) , pointer :: pptr + procedure(isign), pointer :: q - pptr => add ! { dg-error "Interfaces don't match" } + ! TODO. See PR 38290. + !pptr => add ! { "Interfaces don't match" } + + q => add print *, pptr() ! { dg-error "is not a function" } diff --git a/gcc/testsuite/gfortran.dg/proc_ptr_2.f90 b/gcc/testsuite/gfortran.dg/proc_ptr_2.f90 index 6224dc5980ba..98539b985af1 100644 --- a/gcc/testsuite/gfortran.dg/proc_ptr_2.f90 +++ b/gcc/testsuite/gfortran.dg/proc_ptr_2.f90 @@ -8,10 +8,18 @@ PROCEDURE(REAL), POINTER :: ptr PROCEDURE(REAL), SAVE :: noptr ! { dg-error "attribute conflicts with" } REAL :: x + abstract interface + subroutine bar(a) + integer :: a + end subroutine bar + end interface + ptr => cos(4.0) ! { dg-error "Invalid procedure pointer assignment" } ptr => x ! { dg-error "Invalid procedure pointer assignment" } ptr => sin(x) ! { dg-error "Invalid procedure pointer assignment" } +ptr => bar ! { dg-error "is invalid in procedure pointer assignment" } + ALLOCATE(ptr) ! { dg-error "must be ALLOCATABLE" } end