diff options
| author | Steven G. Kargl <kargl@gcc.gnu.org> | 2018-12-15 22:53:26 +0000 |
|---|---|---|
| committer | Steven G. Kargl <kargl@gcc.gnu.org> | 2018-12-15 22:53:26 +0000 |
| commit | e310b38153d15c6d3ae9686eb38b6629f0f93393 (patch) | |
| tree | 419395b51f331c4c4ae904af423d80756be31a25 /gcc/fortran/decl.c | |
| parent | 54d04ce91ae8e6a2d647200f9443556e6fadc9e2 (diff) | |
| download | gcc-e310b38153d15c6d3ae9686eb38b6629f0f93393.zip gcc-e310b38153d15c6d3ae9686eb38b6629f0f93393.tar.gz gcc-e310b38153d15c6d3ae9686eb38b6629f0f93393.tar.bz2 | |
re PR fortran/88138 (ICE in gfc_arith_concat, at fortran/arith.c:1007)
2019-12-15 Steven G. Kargl <kargl@gcc.gnu.org>
PR fortran/88138
* decl.c (variable_decl): Check that a derived isn't being assigned
an incompatible entity in an initialization.
2019-12-15 Steven G. Kargl <kargl@gcc.gnu.org>
PR fortran/88138
* gfortran.dg/pr88138.f90: new test.
From-SVN: r267177
Diffstat (limited to 'gcc/fortran/decl.c')
| -rw-r--r-- | gcc/fortran/decl.c | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/gcc/fortran/decl.c b/gcc/fortran/decl.c index 6bc78cc..78555ce 100644 --- a/gcc/fortran/decl.c +++ b/gcc/fortran/decl.c @@ -2784,6 +2784,22 @@ variable_decl (int elem) param->value = gfc_copy_expr (initializer); } + /* Before adding a possible initilizer, do a simple check for compatibility + of lhs and rhs types. Assigning a REAL value to a derive type is not a + good thing. */ + if (current_ts.type == BT_DERIVED && initializer + && (gfc_numeric_ts (&initializer->ts) + || initializer->ts.type == BT_LOGICAL + || initializer->ts.type == BT_CHARACTER)) + { + gfc_error ("Incompatible initialization between a derive type " + "entity and an entity with %qs type at %C", + gfc_typename (&initializer->ts)); + m = MATCH_ERROR; + goto cleanup; + } + + /* Add the initializer. Note that it is fine if initializer is NULL here, because we sometimes also need to check if a declaration *must* have an initialization expression. */ |