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
