[Bug fortran/64528] [5 Regression] ICE: in process_constraint, at tree-ssa-structalias.c:3002 with -O -fno-tree-ccp -fno-tree-dce

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64528

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |burnus at gcc dot gnu.org
          Component|tree-optimization           |fortran

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
I'd say this is a Fortran FE bug.
The reason this ICEs is that the inliner emits 10 = 11; statement (with
INTEGER_CST on lhs), but that happens because myint PARM_DECL is TREE_READONLY,
which looks wrong when it clearly is assigned to.
The setting of TREE_READONLY happens in trans-decl.c:
2330          /* All implementation args are read-only.  */
2331          TREE_READONLY (parm) = 1;
That looks just wrong at least for some f->sym->attr.value dummy arguments ==
PARM_DECLs, perhaps all?