re PR fortran/86119 (Intrinsic len has wrong type if used within select type for...

2019-02-21  Thomas Koenig  <tkoenig@gcc.gnu.org>

    PR fortran/86119
    * class.c (gfc_get_len_component): Add argument k for kind.
    If the kind of the resulting expression is not equal to k,
    convert it.
    * gfortran.h (gfc_len_component): Adjust prototype.
    * simplify.c (gfc_simplify_len): Pass kind to
    gfc_get_len_component.

2019-02-21  Thomas Koenig  <tkoenig@gcc.gnu.org>

    PR fortran/86119
    * gfortran.dg/warn_conversion_11.f90: New test.

From-SVN: r269070

diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index dd2717cab5aabc1a4fe44e924c4a9f7a2b5d310a..f8df63db99b50a0de6999ad4c9355eda936c0cd2 100644 (file)
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,13 @@
+2019-02-21  Thomas Koenig  <tkoenig@gcc.gnu.org>
+
+       PR fortran/86119
+       * class.c (gfc_get_len_component): Add argument k for kind.
+       If the kind of the resulting expression is not equal to k,
+       convert it.
+       * gfortran.h (gfc_len_component): Adjust prototype.
+       * simplify.c (gfc_simplify_len): Pass kind to
+       gfc_get_len_component.
+
 2019-02-20  Martin Liska  <mliska@suse.cz>
 
        * gfortran.texi: Change singular to plural.

diff --git a/gcc/fortran/class.c b/gcc/fortran/class.c
index 6c6139b96f530b09a6a6e30be7f215558c7dc587..bcbe6318a4e9447c10433aab506e1af54d2d3813 100644 (file)
--- a/gcc/fortran/class.c
+++ b/gcc/fortran/class.c
@@ -565,7 +565,7 @@ gfc_intrinsic_hash_value (gfc_typespec *ts)
    ref to the _len component.  */
 
 gfc_expr *
-gfc_get_len_component (gfc_expr *e)
+gfc_get_len_component (gfc_expr *e, int k)
 {
   gfc_expr *ptr;
   gfc_ref *ref, **last;
@@ -590,6 +590,14 @@ gfc_get_len_component (gfc_expr *e)
     }
   /* And replace if with a ref to the _len component.  */
   gfc_add_len_component (ptr);
+  if (k != ptr->ts.kind)
+    {
+      gfc_typespec ts;
+      gfc_clear_ts (&ts);
+      ts.type = BT_INTEGER;
+      ts.kind = k;
+      gfc_convert_type_warn (ptr, &ts, 2, 0);
+    }
   return ptr;
 }
 

diff --git a/gcc/fortran/gfortran.h b/gcc/fortran/gfortran.h
index 526897c417059295851bc5f2620341b143134b22..6c4e839c489c47a16f08fdac2e14bdff05a08e95 100644 (file)
--- a/gcc/fortran/gfortran.h
+++ b/gcc/fortran/gfortran.h
@@ -3479,7 +3479,7 @@ bool gfc_is_class_scalar_expr (gfc_expr *);
 bool gfc_is_class_container_ref (gfc_expr *e);
 gfc_expr *gfc_class_initializer (gfc_typespec *, gfc_expr *);
 unsigned int gfc_hash_value (gfc_symbol *);
-gfc_expr *gfc_get_len_component (gfc_expr *e);
+gfc_expr *gfc_get_len_component (gfc_expr *e, int);
 bool gfc_build_class_symbol (gfc_typespec *, symbol_attribute *,
                             gfc_array_spec **);
 gfc_symbol *gfc_find_derived_vtab (gfc_symbol *);

diff --git a/gcc/fortran/simplify.c b/gcc/fortran/simplify.c
index 65059c871d285651d2ed118d5fd840e709638094..fa6396bee69a0505351f317fa9f2310890499892 100644 (file)
--- a/gcc/fortran/simplify.c
+++ b/gcc/fortran/simplify.c
@@ -4474,7 +4474,7 @@ gfc_simplify_len (gfc_expr *e, gfc_expr *kind)
     /* The expression in assoc->target points to a ref to the _data component
        of the unlimited polymorphic entity.  To get the _len component the last
        _data ref needs to be stripped and a ref to the _len component added.  */
-    return gfc_get_len_component (e->symtree->n.sym->assoc->target);
+    return gfc_get_len_component (e->symtree->n.sym->assoc->target, k);
   else
     return NULL;
 }

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 138d6034f499a90fa6ed52db3ec458ce5c06788d..e53731ec08c3b177085ae11b70a524ff81f1f24a 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2019-02-21  Thomas Koenig  <tkoenig@gcc.gnu.org>
+
+       PR fortran/86119
+       * gfortran.dg/warn_conversion_11.f90: New test.
+
 2019-02-21  H.J. Lu  <hongjiu.lu@intel.com>
 
        PR target/87412

diff --git a/gcc/testsuite/gfortran.dg/warn_conversion_11.f90 b/gcc/testsuite/gfortran.dg/warn_conversion_11.f90
new file mode 100644 (file)
index 0000000..3393e07
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/warn_conversion_11.f90
@@ -0,0 +1,18 @@
+! { dg-do compile }
+! { dg-options "-Wconversion" }
+! PR 86119 - this used to warn.
+program proglen
+
+implicit none
+
+   class(*), allocatable :: s
+   integer :: l2
+
+   allocate(s, source = '123  ')
+
+   select type(s)
+   type is (character(len=*))
+      l2 = len(s)
+   end select
+
+end program proglen