https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71437
--- Comment #17 from Jeffrey A. Law <law at redhat dot com> --- Converting the VRP threading into a domwalk with the appropriate callbacks is trivial. It's a nice side benefit from some 2016 work. Probably the biggest driver for the gcc-7 vs gcc-8 decision will be whether or not I can cleanly share recording expressions from conditionals and recording expressions from ASSERT_EXPRs. The rest of the stuff outlined in c#15 is very simple and straightforward.