On Thu, Feb 26, 2015 at 7:56 AM, Jeff Law <l...@redhat.com> wrote: > On 02/13/15 16:50, Sebastian Pop wrote: >> >> Hi, >> >> the attached patch fixes PR65048 by checking before jump-threading that a >> path >> to be threaded is still valid: as the testcase shows, there may be paths >> that >> are not connected anymore because the cfg has changed in a previous >> jump-thread. >> >> PR tree-optimization/65048 >> * tree-ssa-threadupdate.c (valid_jump_thread_path): New. >> (thread_through_all_blocks): Call valid_jump_thread_path. >> Remove invalid FSM jump-thread paths. >> >> * gcc.dg/tree-ssa/ssa-dom-thread-9.c: New. >> >> The patch passed bootstrap and regression tests on x86_64-linux. >> Ok for trunk? > > I added a regression marker to the new test & its ChangeLog and committed > this for you. Will twiddle BZ appropriately in a minute.
Thanks Jeff. I updated my tree with the patch, and I was waiting for regstrap to finish before pushing the change. For the record, the patch passed regstrap on x86_64-linux. Sebastian
