Re: [PATCH] tree-optimization/116850 - path isolation fails to update post-dominators

2024-09-26 Thread Richard Biener
On Thu, 26 Sep 2024, Jeff Law wrote: > > > On 9/26/24 5:06 AM, Richard Biener wrote: > > When path isolation performs CFG manipulations (block splitting) it > > fails to update post-dominators it computes on-demand. That both > > runs into dominance verification issues when we compute post-domi

Re: [PATCH] tree-optimization/116850 - path isolation fails to update post-dominators

2024-09-26 Thread Jeff Law
On 9/26/24 5:06 AM, Richard Biener wrote: When path isolation performs CFG manipulations (block splitting) it fails to update post-dominators it computes on-demand. That both runs into dominance verification issues when we compute post-dominators again and possibly accessing missing or broken

Re: [PATCH] tree-optimization/116850 - path isolation fails to update post-dominators

2024-09-26 Thread Richard Biener
On Thu, 26 Sep 2024, Richard Biener wrote: > When path isolation performs CFG manipulations (block splitting) it > fails to update post-dominators it computes on-demand. That both > runs into dominance verification issues when we compute post-dominators > again and possibly accessing missing or b

[PATCH] tree-optimization/116850 - path isolation fails to update post-dominators

2024-09-26 Thread Richard Biener
When path isolation performs CFG manipulations (block splitting) it fails to update post-dominators it computes on-demand. That both runs into dominance verification issues when we compute post-dominators again and possibly accessing missing or broken post-dominance data when checking is disabled.