This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [patch] invoke.texi: overfull hboxes
- To: Gerald Pfeifer <pfeifer at dbai dot tuwien dot ac dot at>, "Joseph S. Myers" <jsm28 at cam dot ac dot uk>
- Subject: Re: [patch] invoke.texi: overfull hboxes
- From: Jan van Male <jan dot vanmale at fenk dot wau dot nl>
- Date: Fri, 1 Jun 2001 14:55:55 +0200
- Cc: <gcc-patches at gcc dot gnu dot org>
At 1:30 PM 1/6/2001, Gerald Pfeifer wrote:
>On Thu, 31 May 2001, Joseph S. Myers wrote:
>> I think it would be better to move these references to readings.html and
>> for the manual then to say that alternative formal definitions are linked
>> to from there.
>
>Yes, that'd be great!
Ok, here's a patch, generated from mainline, applies cleanly to branch,
passes make info and make dvi.
2001-06-01 Jan van Male <jan.vanmale@fenk.wau.nl>
* invoke.texi: Remove references to papers about sequence points to
readings.html, refer to that page.
Index: gcc/gcc/invoke.texi
===================================================================
RCS file: /cvs/gcc/gcc/gcc/invoke.texi,v
retrieving revision 1.309
diff -c -3 -p -r1.309 invoke.texi
*** invoke.texi 2001/06/01 11:37:26 1.309
--- invoke.texi 2001/06/01 12:42:29
*************** this sort of problem in programs.
*** 1878,1893 ****
The present implementation of this option only works for C programs. A
future implementation may also work for C++ programs.
! There is some controversy over the precise meaning of the sequence point
! rules in subtle cases. Alternative formal definitions may be found in
! Clive Feather's ``Annex S''
! @w{@uref{http://wwwold.dkuug.dk/JTC1/SC22/WG14/www/docs/n925.htm}} and in
! Michael Norrish's thesis
! @w{@uref{http://www.cl.cam.ac.uk/users/mn200/PhD/thesis-report.ps.gz}}.
! Other discussions are by Raymond Mak
! @w{@uref{http://wwwold.dkuug.dk/JTC1/SC22/WG14/www/docs/n926.htm}} and
! D. Hugh Redelmeier
! @w{@uref{http://wwwold.dkuug.dk/JTC1/SC22/WG14/www/docs/n927.htm}}.
@item -Wreturn-type
Warn whenever a function is defined with a return-type that defaults to
--- 1878,1887 ----
The present implementation of this option only works for C programs. A
future implementation may also work for C++ programs.
! There is some controversy over the precise meaning of the sequence point
! rules in subtle cases. Links to papers with alternative formal definitions
! and other related discussions may be found on our readings page
! @w{@uref{http://gcc.gnu.org/readings.html}}.
@item -Wreturn-type
Warn whenever a function is defined with a return-type that defaults to
Index: wwwdocs/htdocs/readings.html
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/readings.html,v
retrieving revision 1.49
diff -c -3 -p -r1.49 readings.html
*** readings.html 2001/05/17 05:51:16 1.49
--- readings.html 2001/06/01 12:43:01
*************** tahoe. These are listed here just for co
*** 294,299 ****
--- 294,318 ----
</ul></li>
+ <li>Sequence point rules in C:
+
+ <ul>
+
+ <li><a href="http://wwwold.dkuug.dk/JTC1/SC22/WG14/www/docs/n925.htm";>
+ A formal model of sequence points and related issues by
+ Clive Feather</a></li>
+
+ <li><a href="http://www.cl.cam.ac.uk/users/mn200/PhD/thesis-report.ps.gz";>
+ C formalised in HOL, thesis by Michael Norrish</a></li>
+
+ <li><a href="http://wwwold.dkuug.dk/JTC1/SC22/WG14/www/docs/n926.htm";>
+ Sequence points analysis by Raymond Mak</a></li>
+
+ <li><a href="http://wwwold.dkuug.dk/JTC1/SC22/WG14/www/docs/n927.htm";>
+ Another formalism for sequence points by D. Hugh Redelmeier</a></li>
+
+ </ul></li>
+
<li>C historical information:
<ul>