PR middle-end/34443
authorsje <sje@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 3 Mar 2009 18:27:42 +0000 (18:27 +0000)
committersje <sje@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 3 Mar 2009 18:27:42 +0000 (18:27 +0000)
commite5e132886a63b737de3985d184ca08520f6330bd
tree32d3695bd577871d9fe04bdf8dc6493d06b3f8b1
parent463cc2564a4b4ea073a816e5d90450aa72717042
PR middle-end/34443
* doc/extend.texi (section): Update description.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@144582 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/doc/extend.texi