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. --- 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
