https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71437
Jeffrey A. Law <law at redhat dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |law at redhat dot com
--- Comment #14 from Jeffrey A. Law <law at redhat dot com> ---
So I've got a proof of concept patch which records ASSERT_EXPRs into the hash
table and uses them within VRP's embedded threading pass. Not sure if it's
going to be gcc-7 material or not yet. I'll have to evaluate after some
refactoring to avoid code duplication.
Long term the goal is to drop the embedded threading within VRP. This work
would raise the bar for that to occur without regressing. However, it doesn't
change the core issue that has to be solved for removal to occur, namely the
need for good range info outside VRP.
