https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61409
Aldy Hernandez <aldyh at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |aldyh at gcc dot gnu.org
--- Comment #18 from Aldy Hernandez <aldyh at gcc dot gnu.org> ---
(In reply to Jeffrey A. Law from comment #16)
> AFAICT tree-ssa-uninit won't look at the predicate associated with an
> undefined PHI argument and test it against the predicate for the actual use.
>
> ie, given this PHI from the testcase:
>
> ;; basic block 6, loop depth 0
> ;; pred: 9
> ;; 5
> # ptr_1 = PHI <ptr_5(D)(9), ptr_9(5)>
>
> We want to look at the control dependent path that leads to the edge (9,5).
> For this test, that edge is control dependent on bb2:
Jeff, do you mean edge(9,6) throughout? Because I don't see any flow of
control from 9->5.
