re PR rtl-optimization/66790 (Invalid uninitialized register handling in REE)

	PR rtl-optimization/66790
	* df-problems.c (LIVE): Amend documentation.

From-SVN: r227876

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 2b1899e32ebf1e8a289afab993fc918abadd939c..c9f98d237280954380e14c419801968548056551 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2015-09-17  Eric Botcazou  <ebotcazou@adacore.com>
+
+       PR rtl-optimization/66790
+       * df-problems.c (LIVE): Amend documentation.
+
 2015-09-12  John David Anglin  <danglin@gcc.gnu.org>
 
        * config/pa/pa.c (pa_output_move_double): Enhance to handle HIGH

diff --git a/gcc/df-problems.c b/gcc/df-problems.c
index 77f8c9922b440b5fa7a39234d3aa88ba8b1d1cb2..c62bf8d129a94bac6d212eb611a00293f932deaf 100644 (file)
--- a/gcc/df-problems.c
+++ b/gcc/df-problems.c
@@ -1340,22 +1340,23 @@ df_lr_verify_transfer_functions (void)
 
 \f
 /*----------------------------------------------------------------------------
-   LIVE AND MUST-INITIALIZED REGISTERS.
+   LIVE AND MAY-INITIALIZED REGISTERS.
 
    This problem first computes the IN and OUT bitvectors for the
-   must-initialized registers problems, which is a forward problem.
-   It gives the set of registers for which we MUST have an available
-   definition on any path from the entry block to the entry/exit of
-   a basic block.  Sets generate a definition, while clobbers kill
+   may-initialized registers problems, which is a forward problem.
+   It gives the set of registers for which we MAY have an available
+   definition, i.e. for which there is an available definition on
+   at least one path from the entry block to the entry/exit of a
+   basic block.  Sets generate a definition, while clobbers kill
    a definition.
 
    In and out bitvectors are built for each basic block and are indexed by
    regnum (see df.h for details).  In and out bitvectors in struct
-   df_live_bb_info actually refers to the must-initialized problem;
+   df_live_bb_info actually refers to the may-initialized problem;
 
    Then, the in and out sets for the LIVE problem itself are computed.
    These are the logical AND of the IN and OUT sets from the LR problem
-   and the must-initialized problem.
+   and the may-initialized problem.
 ----------------------------------------------------------------------------*/
 
 /* Private data used to verify the solution for this problem.  */
@@ -1566,7 +1567,7 @@ df_live_confluence_n (edge e)
 }
 
 
-/* Transfer function for the forwards must-initialized problem.  */
+/* Transfer function for the forwards may-initialized problem.  */
 
 static bool
 df_live_transfer_function (int bb_index)
@@ -1590,7 +1591,7 @@ df_live_transfer_function (int bb_index)
 }
 
 
-/* And the LR info with the must-initialized registers, to produce the LIVE info.  */
+/* And the LR info with the may-initialized registers to produce the LIVE info.  */
 
 static void
 df_live_finalize (bitmap all_blocks)