See http://gcc.gnu.org/ml/gcc-patches/2005-05/msg02644.html
> ... or the frontends would need to guarantee that for all types with some
> variable TYPE_SIZE reachable from the type there would be a DECL_EXPR with
> TYPE_DECL right before the first use of such type.
> What's your preference?
This later option should be the eventual goal. That's not appropriate
for the 4.0 branch though. Your posted patch plus some additions for
aggregates should be good enough for that.
--
Summary: Frontends should be adding DECL_EXPRs for TYPE_DECLs, at
least when the type has SAVE_EXPRs in it
Product: gcc
Version: 4.1.0
Status: UNCONFIRMED
Severity: normal
Priority: P2
Component: c
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: jakub at gcc dot gnu dot org
CC: gcc-bugs at gcc dot gnu dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21860
