public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c++/66995] New: First declaration as inline after definition of function
@ 2015-07-24 14:12 anders.granlund.0 at gmail dot com
2015-07-24 15:25 ` [Bug c++/66995] " redi at gcc dot gnu.org
` (5 more replies)
0 siblings, 6 replies; 7+ messages in thread
From: anders.granlund.0 at gmail dot com @ 2015-07-24 14:12 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66995
Bug ID: 66995
Summary: First declaration as inline after definition of
function
Product: gcc
Version: unknown
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: anders.granlund.0 at gmail dot com
Target Milestone: ---
Consider the following program (prog.cc):
void f() {}
inline void f();
int main() {}
It is ill-formed by [dcl.fct.spec]/4 (http://eel.is/c++draft/dcl.fct.spec#4):
"If the definition of a function appears in a translation unit before its first
declaration as inline, the program is ill-formed."
Therefore I expected gcc to give at least one diagnostic message when compiling
it, but I get none with the following command line:
g++ prog.cc -std=c++98 -pedantic-errors
I have tried with gcc HEAD 6.0.0 20150722 here:
http://melpon.org/wandbox/permlink/c6wrML22huCFZMxp
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug c++/66995] First declaration as inline after definition of function
2015-07-24 14:12 [Bug c++/66995] New: First declaration as inline after definition of function anders.granlund.0 at gmail dot com
@ 2015-07-24 15:25 ` redi at gcc dot gnu.org
2021-08-27 0:49 ` [Bug c++/66995] [DR317] " pinskia at gcc dot gnu.org
` (4 subsequent siblings)
5 siblings, 0 replies; 7+ messages in thread
From: redi at gcc dot gnu.org @ 2015-07-24 15:25 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66995
Jonathan Wakely <redi at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |accepts-invalid
Status|UNCONFIRMED |NEW
Last reconfirmed| |2015-07-24
Ever confirmed|0 |1
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug c++/66995] [DR317] First declaration as inline after definition of function
2015-07-24 14:12 [Bug c++/66995] New: First declaration as inline after definition of function anders.granlund.0 at gmail dot com
2015-07-24 15:25 ` [Bug c++/66995] " redi at gcc dot gnu.org
@ 2021-08-27 0:49 ` pinskia at gcc dot gnu.org
2022-08-24 11:52 ` redi at gcc dot gnu.org
` (3 subsequent siblings)
5 siblings, 0 replies; 7+ messages in thread
From: pinskia at gcc dot gnu.org @ 2021-08-27 0:49 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66995
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Blocks| |94404
Summary|First declaration as inline |[DR317] First declaration
|after definition of |as inline after definition
|function |of function
--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
So this is DR317.
Referenced Bugs:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94404
[Bug 94404] [meta-bug] C++ core issues
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug c++/66995] [DR317] First declaration as inline after definition of function
2015-07-24 14:12 [Bug c++/66995] New: First declaration as inline after definition of function anders.granlund.0 at gmail dot com
2015-07-24 15:25 ` [Bug c++/66995] " redi at gcc dot gnu.org
2021-08-27 0:49 ` [Bug c++/66995] [DR317] " pinskia at gcc dot gnu.org
@ 2022-08-24 11:52 ` redi at gcc dot gnu.org
2022-08-24 11:52 ` redi at gcc dot gnu.org
` (2 subsequent siblings)
5 siblings, 0 replies; 7+ messages in thread
From: redi at gcc dot gnu.org @ 2022-08-24 11:52 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66995
--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> ---
(In reply to Andrew Pinski from comment #1)
> So this is DR317.
And the new rule first appeared in C++11.
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug c++/66995] [DR317] First declaration as inline after definition of function
2015-07-24 14:12 [Bug c++/66995] New: First declaration as inline after definition of function anders.granlund.0 at gmail dot com
` (2 preceding siblings ...)
2022-08-24 11:52 ` redi at gcc dot gnu.org
@ 2022-08-24 11:52 ` redi at gcc dot gnu.org
2022-08-24 11:54 ` redi at gcc dot gnu.org
2022-08-24 12:46 ` whh8b at obs dot cr
5 siblings, 0 replies; 7+ messages in thread
From: redi at gcc dot gnu.org @ 2022-08-24 11:52 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66995
Jonathan Wakely <redi at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |whh8b at obs dot cr
--- Comment #3 from Jonathan Wakely <redi at gcc dot gnu.org> ---
*** Bug 106729 has been marked as a duplicate of this bug. ***
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug c++/66995] [DR317] First declaration as inline after definition of function
2015-07-24 14:12 [Bug c++/66995] New: First declaration as inline after definition of function anders.granlund.0 at gmail dot com
` (3 preceding siblings ...)
2022-08-24 11:52 ` redi at gcc dot gnu.org
@ 2022-08-24 11:54 ` redi at gcc dot gnu.org
2022-08-24 12:46 ` whh8b at obs dot cr
5 siblings, 0 replies; 7+ messages in thread
From: redi at gcc dot gnu.org @ 2022-08-24 11:54 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66995
Jonathan Wakely <redi at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Last reconfirmed|2021-08-04 00:00:00 |2022-8-24
--- Comment #4 from Jonathan Wakely <redi at gcc dot gnu.org> ---
Clang rejects this:
in.C:2:13: error: inline declaration of 'f' follows non-inline definition
inline void f();
^
in.C:1:6: note: previous definition is here
void f() {}
^
1 error generated.
EDG accepts it by default, but rejects it with --strict:
"in.C", line 2: error: function "f" cannot be declared inline after its
definition at line 1
inline void f();
^
1 error detected in the compilation of "in.C".
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug c++/66995] [DR317] First declaration as inline after definition of function
2015-07-24 14:12 [Bug c++/66995] New: First declaration as inline after definition of function anders.granlund.0 at gmail dot com
` (4 preceding siblings ...)
2022-08-24 11:54 ` redi at gcc dot gnu.org
@ 2022-08-24 12:46 ` whh8b at obs dot cr
5 siblings, 0 replies; 7+ messages in thread
From: whh8b at obs dot cr @ 2022-08-24 12:46 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66995
--- Comment #5 from Will Hawkins <whh8b at obs dot cr> ---
Not sure that I will have any success, but I'd like to give fixing this issue a
try. I will keep you posted.
^ permalink raw reply [flat|nested] 7+ messages in thread
end of thread, other threads:[~2022-08-24 12:46 UTC | newest]
Thread overview: 7+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2015-07-24 14:12 [Bug c++/66995] New: First declaration as inline after definition of function anders.granlund.0 at gmail dot com
2015-07-24 15:25 ` [Bug c++/66995] " redi at gcc dot gnu.org
2021-08-27 0:49 ` [Bug c++/66995] [DR317] " pinskia at gcc dot gnu.org
2022-08-24 11:52 ` redi at gcc dot gnu.org
2022-08-24 11:52 ` redi at gcc dot gnu.org
2022-08-24 11:54 ` redi at gcc dot gnu.org
2022-08-24 12:46 ` whh8b at obs dot cr
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).