Minor documentation problem

[Ioannis E. Venetis]

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