[Bug analyzer/93779] ICE: unhandled tree code in region_model::get_lvalue_1: 'function_decl'

[dmalcolm at gcc dot gnu.org]

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

David Malcolm  changed:

   What|Removed |Added

 Status|WAITING |RESOLVED
 Resolution|--- |FIXED

--- Comment #6 from David Malcolm  ---
Test coverage added in the above patch.

[Bug analyzer/93779] ICE: unhandled tree code in region_model::get_lvalue_1: 'function_decl'

[cvs-commit at gcc dot gnu.org]

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

--- Comment #5 from CVS Commits  ---
The master branch has been updated by David Malcolm :

https://gcc.gnu.org/g:68f9c41d54a7839e90d10e1400c8726c8ccde88d

commit r10-6693-g68f9c41d54a7839e90d10e1400c8726c8ccde88d
Author: David Malcolm 
Date:   Mon Feb 17 03:28:08 2020 -0500

analyzer: add test coverage for gfortran ICE fix [PR 93779]

PR analyzer/93779 reports an ICE in gfortran with -fanalyzer
that was fixed for GCC 10 by a workaround in
f76a88ebf089871dcce215aa0cb1956ccc060895; the tree code in
question is a FUNCTION_DECL.

Given that I want to rework the above patch at some point, it seems
prudent to add test coverage to ensure the ICE doesn't come back,
which this patch does.

gcc/testsuite/ChangeLog:
PR analyzer/93779
* gfortran.dg/analyzer/pr88304-2.f90: New test, adapted from
gfortran.fortran-torture/compile/pr88304-2.f90

[Bug analyzer/93779] ICE: unhandled tree code in region_model::get_lvalue_1: 'function_decl'

[dmalcolm at gcc dot gnu.org]

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

David Malcolm  changed:

   What|Removed |Added

   Keywords||patch

--- Comment #4 from David Malcolm  ---
URL in comment #3 was truncated; it should have been:
https://gcc.gnu.org/ml/gcc-patches/2020-02/msg01001.html

[Bug analyzer/93779] ICE: unhandled tree code in region_model::get_lvalue_1: 'function_decl'

[dmalcolm at gcc dot gnu.org]

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

David Malcolm  changed:

   What|Removed |Added

 Status|ASSIGNED|WAITING

--- Comment #3 from David Malcolm  ---
Candidate patch adding test coverage:
https://gcc.gnu.org/ml/gcc-patches/2020-02/msg01001.ht

[Bug analyzer/93779] ICE: unhandled tree code in region_model::get_lvalue_1: 'function_decl'

[dmalcolm at gcc dot gnu.org]

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

David Malcolm  changed:

   What|Removed |Added

 Status|UNCONFIRMED |ASSIGNED
   Last reconfirmed||2020-02-17
 Ever confirmed|0   |1

--- Comment #2 from David Malcolm  ---
Thanks.  Indeed; if I undo the patch referred to in comment #1, I get:

internal compiler error: unhandled tree code in region_model::get_lvalue_1:
‘function_decl’

It's probably best to add regression-test coverage for this; marking as
ASSIGNED for that purpose.

[Bug analyzer/93779] ICE: unhandled tree code in region_model::get_lvalue_1: 'function_decl'

[asolokha at gmx dot com]

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

--- Comment #1 from Arseny Solokha  ---
Apparently worked around by g:f76a88ebf089871dcce215aa0cb1956ccc060895?