This is the mail archive of the mailing list for the GCC project.

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [patch] fix PR65048: check that jump-thread paths are still valid

On Thu, Feb 26, 2015 at 7:56 AM, Jeff Law <> 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.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]