public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c/12713] New:
@ 2003-10-21 21:35 gcc-bugzilla at gcc dot gnu dot org
2003-10-22 1:24 ` [Bug c/12713] Document interaction of attribute noreturn and longjmp bangerth at dealii dot org
` (6 more replies)
0 siblings, 7 replies; 8+ messages in thread
From: gcc-bugzilla at gcc dot gnu dot org @ 2003-10-21 21:35 UTC (permalink / raw)
To: gcc-bugs
PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12713
Product: gcc
Version: 3.3.2
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: user42 at zip dot com dot au
CC: gcc-bugs at gcc dot gnu dot org
GCC build triplet: i486-pc-linux-gnu
GCC host triplet: i486-pc-linux-gnu
GCC target triplet: i486-pc-linux-gnu
On reading the description of __attribute__ ((noreturn)) in the
manual, it occurred to me to wonder if it was valid to longjmp back up
out of such a noreturn function, to some higher point in the program.
It'd be nice if that could be stated.
It doesn't particularly worry me whether a longjmp is allowed or not,
or might be allowed in the future or whatever, I just thought the
manual could try to say something to stop anyone wondering or making
wrong assumptions.
Environment:
System: Linux blah 2.2.15 #1 Tue Apr 25 17:13:48 EST 2000 i586 unknown unknown GNU/Linux
Architecture: i586
host: i486-pc-linux-gnu
build: i486-pc-linux-gnu
target: i486-pc-linux-gnu
configured with: ../src/configure -v --enable-languages=c,c++,java,f77,pascal,objc,ada,treelang --prefix=/usr --mandir=/usr/share/man --infodir=/usr/share/info --with-gxx-include-dir=/usr/include/c++/3.3 --enable-shared --with-system-zlib --enable-nls --without-included-gettext --enable-__cxa_atexit --enable-clocale=gnu --enable-debug --enable-java-gc=boehm --enable-java-awt=xlib --enable-objc-gc i486-linux
How-To-Repeat:
.
------- Additional Comments From user42 at zip dot com dot au 2003-10-21 21:19 -------
Fix:
.
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug c/12713] Document interaction of attribute noreturn and longjmp
2003-10-21 21:35 [Bug c/12713] New: gcc-bugzilla at gcc dot gnu dot org
@ 2003-10-22 1:24 ` bangerth at dealii dot org
2003-10-23 0:34 ` pinskia at gcc dot gnu dot org
` (5 subsequent siblings)
6 siblings, 0 replies; 8+ messages in thread
From: bangerth at dealii dot org @ 2003-10-22 1:24 UTC (permalink / raw)
To: gcc-bugs
PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12713
bangerth at dealii dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |documentation
Summary| |Document interaction of
| |attribute noreturn and
| |longjmp
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug c/12713] Document interaction of attribute noreturn and longjmp
2003-10-21 21:35 [Bug c/12713] New: gcc-bugzilla at gcc dot gnu dot org
2003-10-22 1:24 ` [Bug c/12713] Document interaction of attribute noreturn and longjmp bangerth at dealii dot org
@ 2003-10-23 0:34 ` pinskia at gcc dot gnu dot org
2003-10-23 14:35 ` bangerth at dealii dot org
` (4 subsequent siblings)
6 siblings, 0 replies; 8+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2003-10-23 0:34 UTC (permalink / raw)
To: gcc-bugs
PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12713
pinskia at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution| |INVALID
------- Additional Comments From pinskia at gcc dot gnu dot org 2003-10-23 00:32 -------
Returning is different than using longjump.
So this bug is invalid and using longjump says you do not return from the function.
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug c/12713] Document interaction of attribute noreturn and longjmp
2003-10-21 21:35 [Bug c/12713] New: gcc-bugzilla at gcc dot gnu dot org
2003-10-22 1:24 ` [Bug c/12713] Document interaction of attribute noreturn and longjmp bangerth at dealii dot org
2003-10-23 0:34 ` pinskia at gcc dot gnu dot org
@ 2003-10-23 14:35 ` bangerth at dealii dot org
2003-10-24 21:28 ` user42 at zip dot com dot au
` (3 subsequent siblings)
6 siblings, 0 replies; 8+ messages in thread
From: bangerth at dealii dot org @ 2003-10-23 14:35 UTC (permalink / raw)
To: gcc-bugs
PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12713
bangerth at dealii dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|RESOLVED |UNCONFIRMED
Resolution|INVALID |
------- Additional Comments From bangerth at dealii dot org 2003-10-23 14:27 -------
While your reasoning is of course correct, a single sentence in the
manual would clarify this without any doubt. I'd say, let's keep
this open for now.
W.
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug c/12713] Document interaction of attribute noreturn and longjmp
2003-10-21 21:35 [Bug c/12713] New: gcc-bugzilla at gcc dot gnu dot org
` (2 preceding siblings ...)
2003-10-23 14:35 ` bangerth at dealii dot org
@ 2003-10-24 21:28 ` user42 at zip dot com dot au
2003-10-30 6:41 ` pinskia at gcc dot gnu dot org
` (2 subsequent siblings)
6 siblings, 0 replies; 8+ messages in thread
From: user42 at zip dot com dot au @ 2003-10-24 21:28 UTC (permalink / raw)
To: gcc-bugs
PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12713
------- Additional Comments From user42 at zip dot com dot au 2003-10-24 21:24 -------
Subject: Re: Document interaction of attribute noreturn and
longjmp
"bangerth at dealii dot org" <gcc-bugzilla@gcc.gnu.org> writes:
>
> While your reasoning is of course correct, a single sentence in the
> manual would clarify this without any doubt. I'd say, let's keep
> this open for now.
What I should have said in my first message was that it's the way
"abort" and "exit" are given as examples of noreturn functions that
plants the seed of doubt. It suggests, though without saying, that
noreturn is meant for cases where the function is going to terminate
the program (or thread presumably).
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug c/12713] Document interaction of attribute noreturn and longjmp
2003-10-21 21:35 [Bug c/12713] New: gcc-bugzilla at gcc dot gnu dot org
` (3 preceding siblings ...)
2003-10-24 21:28 ` user42 at zip dot com dot au
@ 2003-10-30 6:41 ` pinskia at gcc dot gnu dot org
2004-09-24 20:27 ` cvs-commit at gcc dot gnu dot org
2004-09-24 20:39 ` pinskia at gcc dot gnu dot org
6 siblings, 0 replies; 8+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2003-10-30 6:41 UTC (permalink / raw)
To: gcc-bugs
PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12713
pinskia at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Ever Confirmed| |1
Last reconfirmed|0000-00-00 00:00:00 |2003-10-30 06:40:25
date| |
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug c/12713] Document interaction of attribute noreturn and longjmp
2003-10-21 21:35 [Bug c/12713] New: gcc-bugzilla at gcc dot gnu dot org
` (4 preceding siblings ...)
2003-10-30 6:41 ` pinskia at gcc dot gnu dot org
@ 2004-09-24 20:27 ` cvs-commit at gcc dot gnu dot org
2004-09-24 20:39 ` pinskia at gcc dot gnu dot org
6 siblings, 0 replies; 8+ messages in thread
From: cvs-commit at gcc dot gnu dot org @ 2004-09-24 20:27 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From cvs-commit at gcc dot gnu dot org 2004-09-24 20:27 -------
Subject: Bug 12713
CVSROOT: /cvs/gcc
Module name: gcc
Changes by: jsm28@gcc.gnu.org 2004-09-24 20:27:26
Modified files:
gcc : ChangeLog
gcc/doc : extend.texi
Log message:
PR c/12713
* doc/extend.texi: Document interaction of attribute noreturn and
longjmp.
Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.5607&r2=2.5608
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/doc/extend.texi.diff?cvsroot=gcc&r1=1.219&r2=1.220
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12713
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug c/12713] Document interaction of attribute noreturn and longjmp
2003-10-21 21:35 [Bug c/12713] New: gcc-bugzilla at gcc dot gnu dot org
` (5 preceding siblings ...)
2004-09-24 20:27 ` cvs-commit at gcc dot gnu dot org
@ 2004-09-24 20:39 ` pinskia at gcc dot gnu dot org
6 siblings, 0 replies; 8+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-09-24 20:39 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2004-09-24 20:39 -------
Fixed for 4.0.0.
--
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
Target Milestone|--- |4.0.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12713
^ permalink raw reply [flat|nested] 8+ messages in thread
end of thread, other threads:[~2004-09-24 20:39 UTC | newest]
Thread overview: 8+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2003-10-21 21:35 [Bug c/12713] New: gcc-bugzilla at gcc dot gnu dot org
2003-10-22 1:24 ` [Bug c/12713] Document interaction of attribute noreturn and longjmp bangerth at dealii dot org
2003-10-23 0:34 ` pinskia at gcc dot gnu dot org
2003-10-23 14:35 ` bangerth at dealii dot org
2003-10-24 21:28 ` user42 at zip dot com dot au
2003-10-30 6:41 ` pinskia at gcc dot gnu dot org
2004-09-24 20:27 ` cvs-commit at gcc dot gnu dot org
2004-09-24 20:39 ` pinskia at gcc dot gnu dot org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).