This is the mail archive of the
fortran@gcc.gnu.org
mailing list for the GNU Fortran project.
[Patch, Fortran] PR69397 and PR6844 Internal Compiler Errors2
- From: Jerry DeLisle <jvdelisle at charter dot net>
- To: gfortran <fortran at gcc dot gnu dot org>
- Cc: gcc patches <gcc-patches at gcc dot gnu dot org>
- Date: Sun, 24 Jan 2016 10:54:20 -0800
- Subject: [Patch, Fortran] PR69397 and PR6844 Internal Compiler Errors2
- Authentication-results: sourceware.org; auth=none
Ha all,
The attached patch with new test cases fixes these by replacing gcc_assert and
updating the error message depending on whether resolving an initialization
expression or not.
Regression tested on x86-64.
OK for trunk?
Jerry
2016-01-23 Jerry DeLisle <jvdelisle@gcc.gnu.org>
PR fortran/69397
PR fortran/68442
* interface.c (gfc_arglist_matches_symbol): Replace assert with
a return false if not a procedure.
* resolve.c (resolve_generic_f): Test if we are resolving an
initialization expression and adjust error message accordingly.
diff --git a/gcc/fortran/interface.c b/gcc/fortran/interface.c
index f5e8d0d..5c66c6e 100644
--- a/gcc/fortran/interface.c
+++ b/gcc/fortran/interface.c
@@ -3506,7 +3506,8 @@ gfc_arglist_matches_symbol (gfc_actual_arglist** args, gfc_symbol* sym)
gfc_formal_arglist *dummy_args;
bool r;
- gcc_assert (sym->attr.flavor == FL_PROCEDURE);
+ if (sym->attr.flavor != FL_PROCEDURE)
+ return false;
dummy_args = gfc_sym_get_dummy_args (sym);
diff --git a/gcc/fortran/resolve.c b/gcc/fortran/resolve.c
index 64d59ce..f197ca0 100644
--- a/gcc/fortran/resolve.c
+++ b/gcc/fortran/resolve.c
@@ -2565,8 +2565,13 @@ generic:
that possesses a matching interface. 14.1.2.4 */
if (sym && !intr && !gfc_is_intrinsic (sym, 0, expr->where))
{
- gfc_error ("There is no specific function for the generic %qs "
- "at %L", expr->symtree->n.sym->name, &expr->where);
+ if (gfc_init_expr_flag)
+ gfc_error ("Function %qs in initialization expression at %L "
+ "must be an intrinsic function",
+ expr->symtree->n.sym->name, &expr->where);
+ else
+ gfc_error ("There is no specific function for the generic %qs "
+ "at %L", expr->symtree->n.sym->name, &expr->where);
return false;
}
diff --git a/gcc/testsuite/gfortran.dg/interface_38.f90 b/gcc/testsuite/gfortran.dg/interface_38.f90
new file mode 100644
index 0000000..d8f42ee
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/interface_38.f90
@@ -0,0 +1,16 @@
+! { dg-do compile }
+! PR69397
+program p
+ interface f
+ procedure f1 ! { dg-error "neither function nor subroutine" }
+ !... more
+ end interface
+ integer, allocatable :: z
+ print *, f(z) ! { dg-error "no specific function" }
+contains
+ integer function f2 (x)
+ integer, allocatable :: x
+ f2 = 1
+ end
+end
+
diff --git a/gcc/testsuite/gfortran.dg/interface_39.f90 b/gcc/testsuite/gfortran.dg/interface_39.f90
new file mode 100644
index 0000000..0d6a38e
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/interface_39.f90
@@ -0,0 +1,14 @@
+! { dg-do compile }
+! PR68442
+module m
+ interface gkind
+ procedure g
+ end interface
+contains
+ subroutine f(x)
+ character(kind=gkind()) :: x ! { dg-error "must be an intrinsic" }
+ end
+ integer function g()
+ g = 1
+ end
+end