Hello again,
Sorry for the late response. Before creating the bug report I though I
should search the bugs database and I found that a comment for bug 13756
mentions the missing documentation for -ftree-dse
(http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13756#c8).
Should I still create a new bug report?
Thanks,
Ioannis
Ian Lance Taylor wrote:
"Ioannis E. Venetis" <[EMAIL PROTECTED]> writes:
I downloaded gcc 4.0.1 and created the manual with 'make dvi'. While
browsing through it, I noticed the option -ftree-dse, which is
mentioned in paragraph 3.1 (Options summary) and in paragraph 3.10
(Options That Control Optimization) under -O1.
However, this option is not documented in the manual. What does it do?
It does dead store elimination. To quote from tree-ssa-dce.c:
A dead store is a store into a memory location which will later be
overwritten by another store without any intervening loads. In this
case the earlier store can be deleted.
Not describing this option is a documentation bug. If you feel like
it, please submit a patch or a bug report
(http://gcc.gnu.org/bugzilla/). Thanks.
Ian
