On Thu, Mar 23, 2023 at 7:37 PM Andrew MacLeod via Gcc-patches
wrote:
>
> Detailed info in the PR.
>
> As we walk the DOM tree to calculate ranges, any block with multiple
> predecessors is processed by evaluating and unioning incoming values.
> This catches more complex cases where the dominator
On Thu, Mar 23, 2023 at 02:37:01PM -0400, Andrew MacLeod via Gcc-patches wrote:
> PS I have not managed to produce a reduced testcase yet.. If I do I will
> supply it.
Here is one:
/* PR tree-optimization/10923 */
/* { dg-do compile } */
/* { dg-options "-O2 -Wall" } */
void foo (void *)
Detailed info in the PR.
As we walk the DOM tree to calculate ranges, any block with multiple
predecessors is processed by evaluating and unioning incoming values.
This catches more complex cases where the dominator node itself may not
carry range adjustments that we care about.
What was