diff options
| author | Steven G. Kargl <kargl@gcc.gnu.org> | 2019-06-13 18:40:19 +0000 |
|---|---|---|
| committer | Steven G. Kargl <kargl@gcc.gnu.org> | 2019-06-13 18:40:19 +0000 |
| commit | b00802f5e09f2765d299c2a54c30cd372e0013ee (patch) | |
| tree | 04fe9fd31225b385bc80c8aa2e654baba7cbd608 /gcc/fortran/resolve.c | |
| parent | 19c6bc40f056f06c48819c838aec306037e9b76b (diff) | |
| download | gcc-b00802f5e09f2765d299c2a54c30cd372e0013ee.zip gcc-b00802f5e09f2765d299c2a54c30cd372e0013ee.tar.gz gcc-b00802f5e09f2765d299c2a54c30cd372e0013ee.tar.bz2 | |
re PR fortran/68544 (ICE trying to pass derived type constructor as a function)
2019-06-13 Steven G. Kargl <kargl@gcc.gnu.org>
PR fortran/68544
* resolve.c (is_dt_name): New function to compare symbol name against
list of derived types.
(resolve_actual_arglist): Use it to find wrong code.
2019-06-13 Steven G. Kargl <kargl@gcc.gnu.org>
PR fortran/68544
* gfortran.dg/pr68544.f90: New test.
* gfortran.dg/pr85687.f90: Modify test for new error message.
From-SVN: r272259
Diffstat (limited to 'gcc/fortran/resolve.c')
| -rw-r--r-- | gcc/fortran/resolve.c | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/gcc/fortran/resolve.c b/gcc/fortran/resolve.c index 8232deb..c565325 100644 --- a/gcc/fortran/resolve.c +++ b/gcc/fortran/resolve.c @@ -1862,6 +1862,25 @@ resolve_procedure_expression (gfc_expr* expr) } +/* Check that name is not a derived type. */ + +static bool +is_dt_name (const char *name) +{ + gfc_symbol *dt_list, *dt_first; + + dt_list = dt_first = gfc_derived_types; + for (; dt_list; dt_list = dt_list->dt_next) + { + if (strcmp(dt_list->name, name) == 0) + return true; + if (dt_first == dt_list->dt_next) + break; + } + return false; +} + + /* Resolve an actual argument list. Most of the time, this is just resolving the expressions in the list. The exception is that we sometimes have to decide whether arguments @@ -1923,6 +1942,13 @@ resolve_actual_arglist (gfc_actual_arglist *arg, procedure_type ptype, sym = e->symtree->n.sym; + if (sym->attr.flavor == FL_PROCEDURE && is_dt_name (sym->name)) + { + gfc_error ("Derived type %qs is used as an actual " + "argument at %L", sym->name, &e->where); + goto cleanup; + } + if (sym->attr.flavor == FL_PROCEDURE || sym->attr.intrinsic || sym->attr.external) |