Minor documentation problem

[Ian Lance Taylor]

"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