On Thu, Mar 19, 2026 at 4:06 AM Christopher Bazley <[email protected]> wrote: > > In the 'RTL SSA Access Lists' subsection of > GCC's documentation, an example of code with > an 'if'...'else' structure is given. The > given list of the full list of accesses is > said to include "use of the ebb4’s R phi > definition of R by B". That cannot be true > because B is in the first substatement of the > 'if' statement, whereas ebb4 is the second > substatement. First and second substatements > are mutually exclusive: there is no path to > B that goes through the degenerate phi node > of ebb4. > > It looks as though D was intended, not B.
Ok with a changelog. Since this is documentation fix, this can go in now. Thanks, Andrew > --- > gcc/doc/rtl.texi | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/gcc/doc/rtl.texi b/gcc/doc/rtl.texi > index d29cbcde3b8..4fa4d27506c 100644 > --- a/gcc/doc/rtl.texi > +++ b/gcc/doc/rtl.texi > @@ -4843,7 +4843,7 @@ definition of R by ebb4's phi instruction, with the > input coming from A > > @itemize @bullet > @item > -use of the ebb4's R phi definition of R by B > +use of ebb4's phi definition of R by D > @end itemize > @end itemize > > -- > 2.43.0 >
