Re: Minor documentation problem

["Ioannis E. Venetis" <iev at hpclab dot ceid dot upatras dot gr>]

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" <iev@hpclab.ceid.upatras.gr> 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