diff options
| author | Steve Kargl <kargl@gcc.gnu.org> | 2023-02-15 22:40:37 +0100 |
|---|---|---|
| committer | Harald Anlauf <anlauf@gmx.de> | 2023-02-15 22:45:20 +0100 |
| commit | c75cbeba81e5b4737a9ab7dd28cce650965535a9 (patch) | |
| tree | 0ba4eaa97bc48ef44466cd02c378407661753900 /gcc | |
| parent | a418129273725fd02e881e6fb5e0877287a1356c (diff) | |
| download | gcc-c75cbeba81e5b4737a9ab7dd28cce650965535a9.zip gcc-c75cbeba81e5b4737a9ab7dd28cce650965535a9.tar.gz gcc-c75cbeba81e5b4737a9ab7dd28cce650965535a9.tar.bz2 | |
Fortran: error recovery on checking procedure argument intent [PR103608]
gcc/fortran/ChangeLog:
PR fortran/103608
* frontend-passes.cc (do_intent): Catch NULL pointer dereference on
reference to invalid formal argument.
gcc/testsuite/ChangeLog:
PR fortran/103608
* gfortran.dg/pr103608.f90: New test.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/fortran/frontend-passes.cc | 3 | ||||
| -rw-r--r-- | gcc/testsuite/gfortran.dg/pr103608.f90 | 14 |
2 files changed, 16 insertions, 1 deletions
diff --git a/gcc/fortran/frontend-passes.cc b/gcc/fortran/frontend-passes.cc index 1cbc630..02fcb41 100644 --- a/gcc/fortran/frontend-passes.cc +++ b/gcc/fortran/frontend-passes.cc @@ -3049,7 +3049,8 @@ do_intent (gfc_expr **e) do_sym = dl->ext.iterator->var->symtree->n.sym; if (a->expr && a->expr->symtree - && a->expr->symtree->n.sym == do_sym) + && a->expr->symtree->n.sym == do_sym + && f->sym) { if (f->sym->attr.intent == INTENT_OUT) gfc_error_now ("Variable %qs at %L set to undefined value " diff --git a/gcc/testsuite/gfortran.dg/pr103608.f90 b/gcc/testsuite/gfortran.dg/pr103608.f90 new file mode 100644 index 0000000..5c37cb7 --- /dev/null +++ b/gcc/testsuite/gfortran.dg/pr103608.f90 @@ -0,0 +1,14 @@ +! { dg-do compile } +! { dg-options "-w" } +! PR fortran/103608 - ICE in do_intent +! Contributed by G.Steinmetz + +program p + implicit none + integer :: i + integer :: x ! { dg-error "Alternate return specifier" } + x(*) = 0 + do i = 1, 2 + print *, x(i) ! { dg-error "Missing alternate return specifier" } + end do +end |