* tree-ssa-propagate.c: Enhance docs for

	SSA_PROP_NOT_INTERESTING.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@234478 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index af61f53..e66ec5b 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,10 @@
 2016-03-24  Aldy Hernandez  <aldyh@redhat.com>
 
+       * tree-ssa-propagate.c: Enhance docs for
+       SSA_PROP_NOT_INTERESTING.
+
+2016-03-24  Aldy Hernandez  <aldyh@redhat.com>
+
        * doc/extend.texi: Fix typo in documentation to pure attribute.
 
 2016-03-24  John David Anglin  <danglin@gcc.gnu.org>

diff --git a/gcc/tree-ssa-propagate.c b/gcc/tree-ssa-propagate.c
index 3277e49..c4535a4 100644 (file)
--- a/gcc/tree-ssa-propagate.c
+++ b/gcc/tree-ssa-propagate.c
@@ -55,6 +55,8 @@
 
        SSA_PROP_NOT_INTERESTING: Statement S produces nothing of
            interest and does not affect any of the work lists.
+           The statement may be simulated again if any of its input
+           operands change in future iterations of the simulator.
 
        SSA_PROP_VARYING: The value produced by S cannot be determined
            at compile time.  Further simulation of S is not required.