Hi, On Wed, 15 Jul 2015, Richard Biener wrote:
> >Or, maybe we're talking past each other. You mean the case where > >complicated-expr-on-Y is the value-expr, and Y is _no_ stale decl, but > >the complicated expr itself nevertheless is mentioned nowhere else? > >Yes, those trees must be retained, I was only talking about the > >stale-decl cases. > > Yes. And that's the case where we still want to collect the decl if it > is not mentioned anywhere else. Thus use a cache map. But then we'll > ICE on the new sanity check. Like Jakubs mentioned, that can (and probably should) better be fixed by walking DECL_VALUE_EXPR from the decl walker, as if it were a normal member (likewise for the other maps, if necessary). It's not necessary to fiddle with the hash-table markers itself. Ciao, Michael.