https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68870
Jeffrey A. Law <law at redhat dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |law at redhat dot com
--- Comment #4 from Jeffrey A. Law <law at redhat dot com> ---
A post-pass over the CFG doing trivial simplifications on the conditions
wouldn't be terribly hard. It would have to limit itself to not looking at
anything in the SSA graph since it's inconsistent until after update_ssa.
My concern is that doing so just papers over the deeper problems we're having
with the interactions with SSA_NAME recycling and the folders.
Would it make sense to define objects that are on the pending free list as
still being referencable by the IL? So they still have a valid type, def_stmt,
etc. It feels like that's the direction we're already going anyway.
