diff options
author | Harald Anlauf <anlauf@gmx.de> | 2024-03-18 19:36:59 +0100 |
---|---|---|
committer | Harald Anlauf <anlauf@gmx.de> | 2024-03-18 19:36:59 +0100 |
commit | 3be2b8f475f22c531d6cef1b041c0573b3ea5133 (patch) | |
tree | 5aafdbc9144386199cccbffe6e76dc9b91ea8510 | |
parent | 9316d021ebb95062f5e3ed9d67734863279671fe (diff) | |
download | gcc-3be2b8f475f22c531d6cef1b041c0573b3ea5133.zip gcc-3be2b8f475f22c531d6cef1b041c0573b3ea5133.tar.gz gcc-3be2b8f475f22c531d6cef1b041c0573b3ea5133.tar.bz2 |
Fortran: error recovery in frontend optimization [PR103715]
gcc/fortran/ChangeLog:
PR fortran/103715
* frontend-passes.cc (check_externals_expr): Prevent invalid read
in case of mismatch of external subroutine with function.
gcc/testsuite/ChangeLog:
PR fortran/103715
* gfortran.dg/pr103715.f90: New test.
-rw-r--r-- | gcc/fortran/frontend-passes.cc | 3 | ||||
-rw-r--r-- | gcc/testsuite/gfortran.dg/pr103715.f90 | 12 |
2 files changed, 15 insertions, 0 deletions
diff --git a/gcc/fortran/frontend-passes.cc b/gcc/fortran/frontend-passes.cc index 06dfa1a..3c06018 100644 --- a/gcc/fortran/frontend-passes.cc +++ b/gcc/fortran/frontend-passes.cc @@ -5807,6 +5807,9 @@ check_externals_expr (gfc_expr **ep, int *walk_subtrees ATTRIBUTE_UNUSED, if (e->expr_type != EXPR_FUNCTION) return 0; + if (e->symtree && e->symtree->n.sym->attr.subroutine) + return 0; + sym = e->value.function.esym; if (sym == NULL) return 0; diff --git a/gcc/testsuite/gfortran.dg/pr103715.f90 b/gcc/testsuite/gfortran.dg/pr103715.f90 new file mode 100644 index 0000000..72c5a31 --- /dev/null +++ b/gcc/testsuite/gfortran.dg/pr103715.f90 @@ -0,0 +1,12 @@ +! { dg-do compile } +! PR fortran/103715 - ICE in gfc_find_gsymbol +! +! valgrind did report an invalid read in check_externals_procedure + +program p + select type (y => g()) ! { dg-error "Selector shall be polymorphic" } + end select + call g() +end + +! { dg-prune-output "already being used as a FUNCTION" } |