[Bug fortran/85797] ICE in gfc_element_size, at fortran/target-memory.c:126

2019-03-31 Thread anlauf at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85797

anlauf at gcc dot gnu.org changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

--- Comment #9 from anlauf at gcc dot gnu.org ---
Fixed on trunk and open branches (7/8).

Thanks for the report!

[Bug fortran/85797] ICE in gfc_element_size, at fortran/target-memory.c:126

2019-03-31 Thread anlauf at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85797

--- Comment #8 from anlauf at gcc dot gnu.org ---
Author: anlauf
Date: Sun Mar 31 19:21:37 2019
New Revision: 270047

URL: https://gcc.gnu.org/viewcvs?rev=270047=gcc=rev
Log:
2019-03-31  Harald Anlauf  

Backport from trunk
PR fortran/83515
PR fortran/85797
* trans-types.c (gfc_typenode_for_spec): Handle conversion for
procedure pointers.
* target-memory.c (gfc_element_size): Handle size determination
for procedure pointers.

PR fortran/83515
PR fortran/85797
* gfortran.dg/pr85797.f90: New test.


Added:
branches/gcc-7-branch/gcc/testsuite/gfortran.dg/pr85797.f90
Modified:
branches/gcc-7-branch/gcc/fortran/ChangeLog
branches/gcc-7-branch/gcc/fortran/target-memory.c
branches/gcc-7-branch/gcc/fortran/trans-types.c
branches/gcc-7-branch/gcc/testsuite/ChangeLog

[Bug fortran/85797] ICE in gfc_element_size, at fortran/target-memory.c:126

2019-03-31 Thread anlauf at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85797

--- Comment #7 from anlauf at gcc dot gnu.org ---
Author: anlauf
Date: Sun Mar 31 19:08:23 2019
New Revision: 270046

URL: https://gcc.gnu.org/viewcvs?rev=270046=gcc=rev
Log:
2019-03-31  Harald Anlauf  

PR fortran/83515
PR fortran/85797
* trans-types.c (gfc_typenode_for_spec): Handle conversion for
procedure pointers.
* target-memory.c (gfc_element_size): Handle size determination
for procedure pointers.

PR fortran/83515
PR fortran/85797
* gfortran.dg/pr85797.f90: New test.


Added:
branches/gcc-8-branch/gcc/testsuite/gfortran.dg/pr85797.f90
Modified:
branches/gcc-8-branch/gcc/fortran/ChangeLog
branches/gcc-8-branch/gcc/fortran/target-memory.c
branches/gcc-8-branch/gcc/fortran/trans-types.c
branches/gcc-8-branch/gcc/testsuite/ChangeLog

[Bug fortran/85797] ICE in gfc_element_size, at fortran/target-memory.c:126

2019-03-31 Thread anlauf at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85797

--- Comment #6 from anlauf at gcc dot gnu.org ---
Author: anlauf
Date: Sun Mar 31 18:33:51 2019
New Revision: 270045

URL: https://gcc.gnu.org/viewcvs?rev=270045=gcc=rev
Log:
2019-03-31  Harald Anlauf  

PR fortran/83515
PR fortran/85797
* trans-types.c (gfc_typenode_for_spec): Handle conversion for
procedure pointers.
* target-memory.c (gfc_element_size): Handle size determination
for procedure pointers.

PR fortran/83515
PR fortran/85797
* gfortran.dg/pr85797.f90: New test.


Added:
trunk/gcc/testsuite/gfortran.dg/pr85797.f90
Modified:
trunk/gcc/fortran/ChangeLog
trunk/gcc/fortran/target-memory.c
trunk/gcc/fortran/trans-types.c
trunk/gcc/testsuite/ChangeLog

[Bug fortran/85797] ICE in gfc_element_size, at fortran/target-memory.c:126

2019-03-20 Thread dominiq at lps dot ens.fr
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85797

--- Comment #5 from Dominique d'Humieres  ---
> Revised patch that also addresses PR83515:

The patch fixes the ICE. Compiling the tests z2.f90 or z3.f90 gives the error

2 |c = transfer(a, a)
  |   1
Error: Cannot convert PROCEDURE to REAL(4) at (1)

or

2 |c = transfer(b, a)
  |   1
Error: Cannot convert PROCEDURE to REAL(4) at (1)

[Bug fortran/85797] ICE in gfc_element_size, at fortran/target-memory.c:126

2019-03-20 Thread anlauf at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85797

anlauf at gcc dot gnu.org changed:

   What|Removed |Added

   Assignee|unassigned at gcc dot gnu.org  |anlauf at gcc dot 
gnu.org

--- Comment #4 from anlauf at gcc dot gnu.org ---
Revised patch that also addresses PR83515:

https://gcc.gnu.org/ml/fortran/2019-03/msg00109.html

[Bug fortran/85797] ICE in gfc_element_size, at fortran/target-memory.c:126

2019-03-17 Thread anlauf at gmx dot de
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85797

Harald Anlauf  changed:

   What|Removed |Added

 CC||anlauf at gmx dot de

--- Comment #3 from Harald Anlauf  ---
Patch submitted:

https://gcc.gnu.org/ml/fortran/2019-03/msg00099.html

[Bug fortran/85797] ICE in gfc_element_size, at fortran/target-memory.c:126

2019-03-15 Thread anlauf at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85797

anlauf at gcc dot gnu.org changed:

   What|Removed |Added

   Keywords||ice-on-invalid-code
 CC||anlauf at gcc dot gnu.org

--- Comment #2 from anlauf at gcc dot gnu.org ---
The following patch generates errors for the testcases when one
of the TRANSFER arguments is a procedure (but not a pointer):

Index: gcc/fortran/check.c
===
--- gcc/fortran/check.c (revision 269717)
+++ gcc/fortran/check.c (working copy)
@@ -5551,6 +5551,24 @@
   return false;
 }

+  if (source->ts.type == BT_PROCEDURE
+  && !source->symtree->n.sym->attr.pointer)
+{
+  gfc_error ("% argument of % intrinsic at %L "
+ "must not be a %s", >where,
+gfc_basic_typename (source->ts.type));
+  return false;
+}
+
+  if (mold->ts.type == BT_PROCEDURE
+  && !mold->symtree->n.sym->attr.pointer)
+{
+  gfc_error ("% argument of % intrinsic at %L "
+ "must not be a %s", >where,
+gfc_basic_typename (mold->ts.type));
+  return false;
+}
+
   if (size != NULL)
 {
   if (!type_check (size, 2, BT_INTEGER))

Needs regtesting.

[Bug fortran/85797] ICE in gfc_element_size, at fortran/target-memory.c:126

2018-05-16 Thread dominiq at lps dot ens.fr
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85797

Dominique d'Humieres  changed:

   What|Removed |Added

   Priority|P3  |P4
 Status|UNCONFIRMED |NEW
   Last reconfirmed||2018-05-16
 Ever confirmed|0   |1

--- Comment #1 from Dominique d'Humieres  ---
Confirmed.