* [Bug c++/29365] Unnecessary anonymous namespace warnings
2006-10-06 6:08 [Bug c++/29365] New: Unnecessary anonymous namespace warnings gcc at magfr dot user dot lysator dot liu dot se
@ 2006-10-06 6:09 ` gcc at magfr dot user dot lysator dot liu dot se
2006-10-06 12:59 ` pinskia at gcc dot gnu dot org
` (37 subsequent siblings)
38 siblings, 0 replies; 44+ messages in thread
From: gcc at magfr dot user dot lysator dot liu dot se @ 2006-10-06 6:09 UTC (permalink / raw)
To: gcc-bugs
------- Comment #1 from gcc at magfr dot user dot lysator dot liu dot se 2006-10-06 06:09 -------
Created an attachment (id=12389)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=12389&action=view)
foo.C - testcase
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29365
^ permalink raw reply [flat|nested] 44+ messages in thread* [Bug c++/29365] Unnecessary anonymous namespace warnings
2006-10-06 6:08 [Bug c++/29365] New: Unnecessary anonymous namespace warnings gcc at magfr dot user dot lysator dot liu dot se
2006-10-06 6:09 ` [Bug c++/29365] " gcc at magfr dot user dot lysator dot liu dot se
@ 2006-10-06 12:59 ` pinskia at gcc dot gnu dot org
2006-10-06 18:36 ` jason at gcc dot gnu dot org
` (36 subsequent siblings)
38 siblings, 0 replies; 44+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2006-10-06 12:59 UTC (permalink / raw)
To: gcc-bugs
------- Comment #2 from pinskia at gcc dot gnu dot org 2006-10-06 12:59 -------
As I understand it, the warning is because if you have the definition of class
foo::bar, you will be violating ODR for foo.
--
pinskia at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jason at gcc dot gnu dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29365
^ permalink raw reply [flat|nested] 44+ messages in thread* [Bug c++/29365] Unnecessary anonymous namespace warnings
2006-10-06 6:08 [Bug c++/29365] New: Unnecessary anonymous namespace warnings gcc at magfr dot user dot lysator dot liu dot se
2006-10-06 6:09 ` [Bug c++/29365] " gcc at magfr dot user dot lysator dot liu dot se
2006-10-06 12:59 ` pinskia at gcc dot gnu dot org
@ 2006-10-06 18:36 ` jason at gcc dot gnu dot org
2006-10-06 18:48 ` gcc at magfr dot user dot lysator dot liu dot se
` (35 subsequent siblings)
38 siblings, 0 replies; 44+ messages in thread
From: jason at gcc dot gnu dot org @ 2006-10-06 18:36 UTC (permalink / raw)
To: gcc-bugs
------- Comment #3 from jason at gcc dot gnu dot org 2006-10-06 18:36 -------
Yes. If foo is used in multiple translation units, it violates the ODR because
gazonk is a different type in each translation unit.
--
jason at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution| |INVALID
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29365
^ permalink raw reply [flat|nested] 44+ messages in thread* [Bug c++/29365] Unnecessary anonymous namespace warnings
2006-10-06 6:08 [Bug c++/29365] New: Unnecessary anonymous namespace warnings gcc at magfr dot user dot lysator dot liu dot se
` (2 preceding siblings ...)
2006-10-06 18:36 ` jason at gcc dot gnu dot org
@ 2006-10-06 18:48 ` gcc at magfr dot user dot lysator dot liu dot se
2006-10-06 21:01 ` jason at gcc dot gnu dot org
` (34 subsequent siblings)
38 siblings, 0 replies; 44+ messages in thread
From: gcc at magfr dot user dot lysator dot liu dot se @ 2006-10-06 18:48 UTC (permalink / raw)
To: gcc-bugs
------- Comment #4 from gcc at magfr dot user dot lysator dot liu dot se 2006-10-06 18:48 -------
I still fail to understand why this would inherently violate the ODR.
I agree with Andrew that if more than one translation unit sees the defintion
of foo::bar then it will violate the ODR but if only one translation unit ever
sees the definition of foo::bar then I see no problem with this.
Externally foo::bar is exposed only as a undefined inner class. About the only
thing you could use it for would be as a pointer target.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29365
^ permalink raw reply [flat|nested] 44+ messages in thread* [Bug c++/29365] Unnecessary anonymous namespace warnings
2006-10-06 6:08 [Bug c++/29365] New: Unnecessary anonymous namespace warnings gcc at magfr dot user dot lysator dot liu dot se
` (3 preceding siblings ...)
2006-10-06 18:48 ` gcc at magfr dot user dot lysator dot liu dot se
@ 2006-10-06 21:01 ` jason at gcc dot gnu dot org
2006-10-10 3:54 ` bangerth at dealii dot org
` (33 subsequent siblings)
38 siblings, 0 replies; 44+ messages in thread
From: jason at gcc dot gnu dot org @ 2006-10-06 21:01 UTC (permalink / raw)
To: gcc-bugs
------- Comment #5 from jason at gcc dot gnu dot org 2006-10-06 21:00 -------
Yes, sorry, I should have said if foo::bar is used in multiple TUs, rather than
foo itself. If foo::bar is defined in only one TU, and is used as an opaque
type in other TUs, you're fine.
Perhaps we should suppress this warning in the main input file.
--
jason at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|RESOLVED |UNCONFIRMED
Resolution|INVALID |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29365
^ permalink raw reply [flat|nested] 44+ messages in thread* [Bug c++/29365] Unnecessary anonymous namespace warnings
2006-10-06 6:08 [Bug c++/29365] New: Unnecessary anonymous namespace warnings gcc at magfr dot user dot lysator dot liu dot se
` (4 preceding siblings ...)
2006-10-06 21:01 ` jason at gcc dot gnu dot org
@ 2006-10-10 3:54 ` bangerth at dealii dot org
2007-03-12 9:37 ` Woebbeking at web dot de
` (32 subsequent siblings)
38 siblings, 0 replies; 44+ messages in thread
From: bangerth at dealii dot org @ 2006-10-10 3:54 UTC (permalink / raw)
To: gcc-bugs
------- Comment #6 from bangerth at dealii dot org 2006-10-10 03:54 -------
Confirmed. The code makes sense and we shouldn't unconditionally warn.
W.
--
bangerth at dealii dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |bangerth at dealii dot org
Status|UNCONFIRMED |NEW
Ever Confirmed|0 |1
Last reconfirmed|0000-00-00 00:00:00 |2006-10-10 03:54:47
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29365
^ permalink raw reply [flat|nested] 44+ messages in thread* [Bug c++/29365] Unnecessary anonymous namespace warnings
2006-10-06 6:08 [Bug c++/29365] New: Unnecessary anonymous namespace warnings gcc at magfr dot user dot lysator dot liu dot se
` (5 preceding siblings ...)
2006-10-10 3:54 ` bangerth at dealii dot org
@ 2007-03-12 9:37 ` Woebbeking at web dot de
2007-04-03 22:50 ` spark at gcc dot gnu dot org
` (31 subsequent siblings)
38 siblings, 0 replies; 44+ messages in thread
From: Woebbeking at web dot de @ 2007-03-12 9:37 UTC (permalink / raw)
To: gcc-bugs
------- Comment #7 from Woebbeking at web dot de 2007-03-12 09:37 -------
Any news on this? It's really annoying if you've many pimpls which often use
anonymous namespace.
--
Woebbeking at web dot de changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |Woebbeking at web dot de
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29365
^ permalink raw reply [flat|nested] 44+ messages in thread* [Bug c++/29365] Unnecessary anonymous namespace warnings
2006-10-06 6:08 [Bug c++/29365] New: Unnecessary anonymous namespace warnings gcc at magfr dot user dot lysator dot liu dot se
` (6 preceding siblings ...)
2007-03-12 9:37 ` Woebbeking at web dot de
@ 2007-04-03 22:50 ` spark at gcc dot gnu dot org
2007-04-03 23:11 ` pinskia at gcc dot gnu dot org
` (30 subsequent siblings)
38 siblings, 0 replies; 44+ messages in thread
From: spark at gcc dot gnu dot org @ 2007-04-03 22:50 UTC (permalink / raw)
To: gcc-bugs
------- Comment #8 from spark at gcc dot gnu dot org 2007-04-03 23:50 -------
The following patch addresses the problem.
Do we want to add a flag to control this ?
--- a/gcc/cp/decl2.c Mon Apr 02 15:48:00 2007 +0000
+++ b/gcc/cp/decl2.c Tue Apr 03 22:45:49 2007 +0000
@@ -1860,9 +1860,13 @@ constrain_class_visibility (tree type)
int subvis = type_visibility (ftype);
if (subvis == VISIBILITY_ANON)
- warning (0, "\
+ {
+ if (strcmp (main_input_filename,
+ DECL_SOURCE_FILE (TYPE_MAIN_DECL (ftype))))
+ warning (0, "\
%qT has a field %qD whose type uses the anonymous namespace",
- type, t);
+ type, t);
+ }
else if (IS_AGGR_TYPE (ftype)
&& vis < VISIBILITY_HIDDEN
&& subvis >= VISIBILITY_HIDDEN)
@@ -1877,9 +1881,13 @@ constrain_class_visibility (tree type)
int subvis = type_visibility (TREE_TYPE (t));
if (subvis == VISIBILITY_ANON)
- warning (0, "\
+ {
+ if (strcmp (main_input_filename,
+ DECL_SOURCE_FILE (TYPE_MAIN_DECL (TREE_TYPE (t)))))
+ warning (0, "\
%qT has a base %qT whose type uses the anonymous namespace",
- type, TREE_TYPE (t));
+ type, TREE_TYPE (t));
+ }
else if (vis < VISIBILITY_HIDDEN
&& subvis >= VISIBILITY_HIDDEN)
warning (OPT_Wattributes, "\
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29365
^ permalink raw reply [flat|nested] 44+ messages in thread* [Bug c++/29365] Unnecessary anonymous namespace warnings
2006-10-06 6:08 [Bug c++/29365] New: Unnecessary anonymous namespace warnings gcc at magfr dot user dot lysator dot liu dot se
` (7 preceding siblings ...)
2007-04-03 22:50 ` spark at gcc dot gnu dot org
@ 2007-04-03 23:11 ` pinskia at gcc dot gnu dot org
2007-04-03 23:19 ` spark at gcc dot gnu dot org
` (29 subsequent siblings)
38 siblings, 0 replies; 44+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2007-04-03 23:11 UTC (permalink / raw)
To: gcc-bugs
------- Comment #9 from pinskia at gcc dot gnu dot org 2007-04-04 00:11 -------
(In reply to comment #8)
> The following patch addresses the problem.
> Do we want to add a flag to control this ?
Except if you look at the file name, you could get a case where you are no
longer warning about.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29365
^ permalink raw reply [flat|nested] 44+ messages in thread* [Bug c++/29365] Unnecessary anonymous namespace warnings
2006-10-06 6:08 [Bug c++/29365] New: Unnecessary anonymous namespace warnings gcc at magfr dot user dot lysator dot liu dot se
` (8 preceding siblings ...)
2007-04-03 23:11 ` pinskia at gcc dot gnu dot org
@ 2007-04-03 23:19 ` spark at gcc dot gnu dot org
2007-04-03 23:30 ` crowl at google dot com
` (28 subsequent siblings)
38 siblings, 0 replies; 44+ messages in thread
From: spark at gcc dot gnu dot org @ 2007-04-03 23:19 UTC (permalink / raw)
To: gcc-bugs
------- Comment #10 from spark at gcc dot gnu dot org 2007-04-04 00:18 -------
(In reply to comment #9)
> (In reply to comment #8)
> > The following patch addresses the problem.
> > Do we want to add a flag to control this ?
>
> Except if you look at the file name, you could get a case where you are no
> longer warning about.
That's why I asked if we want to add a flag to enable/disable this
- although I think my patch is a reasonable compromise as a default,
it's not perfect (it can never be perfect unless we do whole-program analysis).
The patch prevents the warning IF the anonymous namespace
was in the same main source file that it's currently compiling (e.g. *.cc
file).
I think this covers bulk of the false positives with very small number of the
false negatives.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29365
^ permalink raw reply [flat|nested] 44+ messages in thread* [Bug c++/29365] Unnecessary anonymous namespace warnings
2006-10-06 6:08 [Bug c++/29365] New: Unnecessary anonymous namespace warnings gcc at magfr dot user dot lysator dot liu dot se
` (9 preceding siblings ...)
2007-04-03 23:19 ` spark at gcc dot gnu dot org
@ 2007-04-03 23:30 ` crowl at google dot com
2007-04-04 16:40 ` patchapp at dberlin dot org
` (27 subsequent siblings)
38 siblings, 0 replies; 44+ messages in thread
From: crowl at google dot com @ 2007-04-03 23:30 UTC (permalink / raw)
To: gcc-bugs
------- Comment #11 from crowl at google dot com 2007-04-04 00:30 -------
(In reply to comment #5)
> Yes, sorry, I should have said if foo::bar is used in multiple TUs, rather than
> foo itself. If foo::bar is defined in only one TU, and is used as an opaque
> type in other TUs, you're fine.
>
> Perhaps we should suppress this warning in the main input file.
The only remaining insecurity is when the same source is compiled twice
in the same program or when a source is also include. These cases are
probably rare enough to not warrant an option.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29365
^ permalink raw reply [flat|nested] 44+ messages in thread* [Bug c++/29365] Unnecessary anonymous namespace warnings
2006-10-06 6:08 [Bug c++/29365] New: Unnecessary anonymous namespace warnings gcc at magfr dot user dot lysator dot liu dot se
` (10 preceding siblings ...)
2007-04-03 23:30 ` crowl at google dot com
@ 2007-04-04 16:40 ` patchapp at dberlin dot org
2007-04-16 16:49 ` spark at gcc dot gnu dot org
` (26 subsequent siblings)
38 siblings, 0 replies; 44+ messages in thread
From: patchapp at dberlin dot org @ 2007-04-04 16:40 UTC (permalink / raw)
To: gcc-bugs
------- Comment #12 from patchapp at dberlin dot org 2007-04-04 17:40 -------
Subject: Bug number PR 29365
A patch for this bug has been added to the patch tracker.
The mailing list url for the patch is
http://gcc.gnu.org/ml/gcc-patches/2007-04/msg00140.html
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29365
^ permalink raw reply [flat|nested] 44+ messages in thread* [Bug c++/29365] Unnecessary anonymous namespace warnings
2006-10-06 6:08 [Bug c++/29365] New: Unnecessary anonymous namespace warnings gcc at magfr dot user dot lysator dot liu dot se
` (11 preceding siblings ...)
2007-04-04 16:40 ` patchapp at dberlin dot org
@ 2007-04-16 16:49 ` spark at gcc dot gnu dot org
2007-04-16 18:24 ` pinskia at gcc dot gnu dot org
` (25 subsequent siblings)
38 siblings, 0 replies; 44+ messages in thread
From: spark at gcc dot gnu dot org @ 2007-04-16 16:49 UTC (permalink / raw)
To: gcc-bugs
------- Comment #13 from spark at gcc dot gnu dot org 2007-04-16 17:49 -------
Subject: Bug 29365
Author: spark
Date: Mon Apr 16 17:49:02 2007
New Revision: 123879
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=123879
Log:
gcc/ChangeLog:
2007-04-16 Seongbae Park <seongbae.park@gmail.com>
PR c++/29365
* cp/decl2.c (constrain_class_visibility):
Do not warn about the use of anonymous namespace in the main input
file.
gcc/testsuite/ChangeLog:
2007-04-16 Seongbae Park <seongbae.park@gmail.com>
PR c++/29365
Testcase for c++ anonymous namespace warning
* g++.dg/warn/anonymous-namespace-1.C: New test
* g++.dg/warn/anonymous-namespace-1.h: New test
Added:
trunk/gcc/testsuite/g++.dg/warn/anonymous-namespace-1.C
trunk/gcc/testsuite/g++.dg/warn/anonymous-namespace-1.h
Modified:
trunk/gcc/ChangeLog
trunk/gcc/cp/decl2.c
trunk/gcc/testsuite/ChangeLog
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29365
^ permalink raw reply [flat|nested] 44+ messages in thread* [Bug c++/29365] Unnecessary anonymous namespace warnings
2006-10-06 6:08 [Bug c++/29365] New: Unnecessary anonymous namespace warnings gcc at magfr dot user dot lysator dot liu dot se
` (12 preceding siblings ...)
2007-04-16 16:49 ` spark at gcc dot gnu dot org
@ 2007-04-16 18:24 ` pinskia at gcc dot gnu dot org
2007-04-17 6:16 ` gcc at magfr dot user dot lysator dot liu dot se
` (24 subsequent siblings)
38 siblings, 0 replies; 44+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2007-04-16 18:24 UTC (permalink / raw)
To: gcc-bugs
------- Comment #14 from pinskia at gcc dot gnu dot org 2007-04-16 19:24 -------
Fixed.
--
pinskia at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
Target Milestone|--- |4.3.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29365
^ permalink raw reply [flat|nested] 44+ messages in thread* [Bug c++/29365] Unnecessary anonymous namespace warnings
2006-10-06 6:08 [Bug c++/29365] New: Unnecessary anonymous namespace warnings gcc at magfr dot user dot lysator dot liu dot se
` (13 preceding siblings ...)
2007-04-16 18:24 ` pinskia at gcc dot gnu dot org
@ 2007-04-17 6:16 ` gcc at magfr dot user dot lysator dot liu dot se
2007-04-17 6:18 ` gcc at magfr dot user dot lysator dot liu dot se
` (23 subsequent siblings)
38 siblings, 0 replies; 44+ messages in thread
From: gcc at magfr dot user dot lysator dot liu dot se @ 2007-04-17 6:16 UTC (permalink / raw)
To: gcc-bugs
------- Comment #15 from gcc at magfr dot user dot lysator dot liu dot se 2007-04-17 07:15 -------
I think there are still some kind of problem.
If I try to compile bar.C using g++ -c bar.C then where g++ is g++ (GCC) 4.3.0
20070416 (experimental) (Hm, I'd wish for a revision number in there somewhere)
then I get an ICE:
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29365
^ permalink raw reply [flat|nested] 44+ messages in thread* [Bug c++/29365] Unnecessary anonymous namespace warnings
2006-10-06 6:08 [Bug c++/29365] New: Unnecessary anonymous namespace warnings gcc at magfr dot user dot lysator dot liu dot se
` (14 preceding siblings ...)
2007-04-17 6:16 ` gcc at magfr dot user dot lysator dot liu dot se
@ 2007-04-17 6:18 ` gcc at magfr dot user dot lysator dot liu dot se
2007-04-17 16:37 ` spark at gcc dot gnu dot org
` (22 subsequent siblings)
38 siblings, 0 replies; 44+ messages in thread
From: gcc at magfr dot user dot lysator dot liu dot se @ 2007-04-17 6:18 UTC (permalink / raw)
To: gcc-bugs
------- Comment #16 from gcc at magfr dot user dot lysator dot liu dot se 2007-04-17 07:18 -------
Created an attachment (id=13375)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=13375&action=view)
Test showing that the current fix causes an ICE
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29365
^ permalink raw reply [flat|nested] 44+ messages in thread* [Bug c++/29365] Unnecessary anonymous namespace warnings
2006-10-06 6:08 [Bug c++/29365] New: Unnecessary anonymous namespace warnings gcc at magfr dot user dot lysator dot liu dot se
` (15 preceding siblings ...)
2007-04-17 6:18 ` gcc at magfr dot user dot lysator dot liu dot se
@ 2007-04-17 16:37 ` spark at gcc dot gnu dot org
2007-04-17 16:51 ` pluto at agmk dot net
` (21 subsequent siblings)
38 siblings, 0 replies; 44+ messages in thread
From: spark at gcc dot gnu dot org @ 2007-04-17 16:37 UTC (permalink / raw)
To: gcc-bugs
------- Comment #17 from spark at gcc dot gnu dot org 2007-04-17 17:36 -------
I'm testing the following patch (which fixes the ICE).
It turned out to be a latent bug in the warning code not handling pointer types
correctly.
Index: cp/decl2.c
===================================================================
--- cp/decl2.c (revision 123879)
+++ cp/decl2.c (working copy)
@@ -1856,7 +1856,7 @@ constrain_class_visibility (tree type)
for (t = TYPE_FIELDS (type); t; t = TREE_CHAIN (t))
if (TREE_CODE (t) == FIELD_DECL && TREE_TYPE (t) != error_mark_node)
{
- tree ftype = strip_array_types (TREE_TYPE (t));
+ tree ftype = strip_pointer_or_array_types (TREE_TYPE (t));
int subvis = type_visibility (ftype);
if (subvis == VISIBILITY_ANON)
Index: c-common.c
===================================================================
--- c-common.c (revision 123879)
+++ c-common.c (working copy)
@@ -3894,6 +3894,15 @@ strip_pointer_operator (tree t)
return t;
}
+/* Recursively remove pointer or array type from TYPE. */
+tree
+strip_pointer_or_array_types (tree t)
+{
+ while (TREE_CODE (t) == ARRAY_TYPE || POINTER_TYPE_P (t))
+ t = TREE_TYPE (t);
+ return t;
+}
+
/* Used to compare case labels. K1 and K2 are actually tree nodes
representing case labels, or NULL_TREE for a `default' label.
Returns -1 if K1 is ordered before K2, -1 if K1 is ordered after
Index: c-common.h
===================================================================
--- c-common.h (revision 123879)
+++ c-common.h (working copy)
@@ -727,6 +727,7 @@ extern bool c_promoting_integer_type_p (
extern int self_promoting_args_p (tree);
extern tree strip_array_types (tree);
extern tree strip_pointer_operator (tree);
+extern tree strip_pointer_or_array_types (tree);
extern HOST_WIDE_INT c_common_to_target_charset (HOST_WIDE_INT);
/* This is the basic parsing function. */
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29365
^ permalink raw reply [flat|nested] 44+ messages in thread* [Bug c++/29365] Unnecessary anonymous namespace warnings
2006-10-06 6:08 [Bug c++/29365] New: Unnecessary anonymous namespace warnings gcc at magfr dot user dot lysator dot liu dot se
` (16 preceding siblings ...)
2007-04-17 16:37 ` spark at gcc dot gnu dot org
@ 2007-04-17 16:51 ` pluto at agmk dot net
2007-04-18 5:25 ` gcc at user dot lysator dot liu dot se
` (20 subsequent siblings)
38 siblings, 0 replies; 44+ messages in thread
From: pluto at agmk dot net @ 2007-04-17 16:51 UTC (permalink / raw)
To: gcc-bugs
------- Comment #18 from pluto at agmk dot net 2007-04-17 17:51 -------
(In reply to comment #14)
> Fixed.
will it be backported to 4.2 branch?
--
pluto at agmk dot net changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |pluto at agmk dot net
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29365
^ permalink raw reply [flat|nested] 44+ messages in thread* [Bug c++/29365] Unnecessary anonymous namespace warnings
2006-10-06 6:08 [Bug c++/29365] New: Unnecessary anonymous namespace warnings gcc at magfr dot user dot lysator dot liu dot se
` (17 preceding siblings ...)
2007-04-17 16:51 ` pluto at agmk dot net
@ 2007-04-18 5:25 ` gcc at user dot lysator dot liu dot se
2007-05-03 12:00 ` aaronavay62 at aaronwl dot com
` (19 subsequent siblings)
38 siblings, 0 replies; 44+ messages in thread
From: gcc at user dot lysator dot liu dot se @ 2007-04-18 5:25 UTC (permalink / raw)
To: gcc-bugs
------- Comment #19 from gcc at user dot lysator dot liu dot se 2007-04-18 06:24 -------
Subject: Re: Unnecessary anonymous namespace warnings
Yes, the latest patch seems to solve the problem with the ICE for me as
well.
Thanks.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29365
^ permalink raw reply [flat|nested] 44+ messages in thread* [Bug c++/29365] Unnecessary anonymous namespace warnings
2006-10-06 6:08 [Bug c++/29365] New: Unnecessary anonymous namespace warnings gcc at magfr dot user dot lysator dot liu dot se
` (18 preceding siblings ...)
2007-04-18 5:25 ` gcc at user dot lysator dot liu dot se
@ 2007-05-03 12:00 ` aaronavay62 at aaronwl dot com
2007-06-05 17:26 ` pluto at agmk dot net
` (18 subsequent siblings)
38 siblings, 0 replies; 44+ messages in thread
From: aaronavay62 at aaronwl dot com @ 2007-05-03 12:00 UTC (permalink / raw)
To: gcc-bugs
------- Comment #20 from aaronavay62 at aaronwl dot com 2007-05-03 13:00 -------
It looks like this will not be backported to 4.2 as its not strictly a
regression. See <http://gcc.gnu.org/ml/gcc/2007-05/msg00067.html>. If you use
this sort of pimpl and anonymous namespaces or similar, and you want to use
-Werror, you'll need to patch your own sources for now.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29365
^ permalink raw reply [flat|nested] 44+ messages in thread* [Bug c++/29365] Unnecessary anonymous namespace warnings
2006-10-06 6:08 [Bug c++/29365] New: Unnecessary anonymous namespace warnings gcc at magfr dot user dot lysator dot liu dot se
` (19 preceding siblings ...)
2007-05-03 12:00 ` aaronavay62 at aaronwl dot com
@ 2007-06-05 17:26 ` pluto at agmk dot net
2007-06-05 22:37 ` spark at gcc dot gnu dot org
` (17 subsequent siblings)
38 siblings, 0 replies; 44+ messages in thread
From: pluto at agmk dot net @ 2007-06-05 17:26 UTC (permalink / raw)
To: gcc-bugs
------- Comment #24 from pluto at agmk dot net 2007-06-05 17:26 -------
(In reply to comment #23)
> Confirmed. I'm working on a fix.
> This is due to template instantiations marked as anonymous.
any news?
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29365
^ permalink raw reply [flat|nested] 44+ messages in thread* [Bug c++/29365] Unnecessary anonymous namespace warnings
2006-10-06 6:08 [Bug c++/29365] New: Unnecessary anonymous namespace warnings gcc at magfr dot user dot lysator dot liu dot se
` (20 preceding siblings ...)
2007-06-05 17:26 ` pluto at agmk dot net
@ 2007-06-05 22:37 ` spark at gcc dot gnu dot org
2007-06-06 4:49 ` pluto at agmk dot net
` (16 subsequent siblings)
38 siblings, 0 replies; 44+ messages in thread
From: spark at gcc dot gnu dot org @ 2007-06-05 22:37 UTC (permalink / raw)
To: gcc-bugs
------- Comment #25 from spark at gcc dot gnu dot org 2007-06-05 22:37 -------
(In reply to comment #24)
> any news?
I have (or had, since I seem to have lost it) a patch that will prevent the
invalid warning for the template case, but it will effectively prevent the
valid warning for other template case as well, and I haven't found an easy way
to make it accurate yet. I'll get back to this once dataflow branch is
integrated and stablized in the mainline, unless someone else fixes this before
then.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29365
^ permalink raw reply [flat|nested] 44+ messages in thread* [Bug c++/29365] Unnecessary anonymous namespace warnings
2006-10-06 6:08 [Bug c++/29365] New: Unnecessary anonymous namespace warnings gcc at magfr dot user dot lysator dot liu dot se
` (21 preceding siblings ...)
2007-06-05 22:37 ` spark at gcc dot gnu dot org
@ 2007-06-06 4:49 ` pluto at agmk dot net
2007-06-06 9:24 ` pinskia at gcc dot gnu dot org
` (15 subsequent siblings)
38 siblings, 0 replies; 44+ messages in thread
From: pluto at agmk dot net @ 2007-06-06 4:49 UTC (permalink / raw)
To: gcc-bugs
------- Comment #26 from pluto at agmk dot net 2007-06-06 04:49 -------
(In reply to comment #25)
> (In reply to comment #24)
> > any news?
>
> I have (or had, since I seem to have lost it) a patch that will prevent the
> invalid warning for the template case, but it will effectively prevent the
> valid warning for other template case as well, and I haven't found an easy way
> to make it accurate yet. I'll get back to this once dataflow branch is
> integrated and stablized in the mainline, unless someone else fixes this before
> then.
4.2.1 won't have dataflow merge. we need a fix, or switch to disable
this broken feature.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29365
^ permalink raw reply [flat|nested] 44+ messages in thread* [Bug c++/29365] Unnecessary anonymous namespace warnings
2006-10-06 6:08 [Bug c++/29365] New: Unnecessary anonymous namespace warnings gcc at magfr dot user dot lysator dot liu dot se
` (22 preceding siblings ...)
2007-06-06 4:49 ` pluto at agmk dot net
@ 2007-06-06 9:24 ` pinskia at gcc dot gnu dot org
2007-06-06 10:09 ` pluto at agmk dot net
` (14 subsequent siblings)
38 siblings, 0 replies; 44+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2007-06-06 9:24 UTC (permalink / raw)
To: gcc-bugs
------- Comment #27 from pinskia at gcc dot gnu dot org 2007-06-06 09:23 -------
> 4.2.1 won't have dataflow merge. we need a fix, or switch to disable
> this broken feature.
Seongbae knows dataflow will not be in 4.2, what he is trying to say, which I
think you misunderstood, is that he will be working on this again after the
merge happens as he is busy with that. It is not like GCC is a closed source
program either, you can try to make a fix for the issue too.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29365
^ permalink raw reply [flat|nested] 44+ messages in thread* [Bug c++/29365] Unnecessary anonymous namespace warnings
2006-10-06 6:08 [Bug c++/29365] New: Unnecessary anonymous namespace warnings gcc at magfr dot user dot lysator dot liu dot se
` (23 preceding siblings ...)
2007-06-06 9:24 ` pinskia at gcc dot gnu dot org
@ 2007-06-06 10:09 ` pluto at agmk dot net
2007-06-06 11:23 ` manu at gcc dot gnu dot org
` (13 subsequent siblings)
38 siblings, 0 replies; 44+ messages in thread
From: pluto at agmk dot net @ 2007-06-06 10:09 UTC (permalink / raw)
To: gcc-bugs
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 1043 bytes --]
------- Comment #28 from pluto at agmk dot net 2007-06-06 10:08 -------
(In reply to comment #27)
> It is not like GCC is a closed source program either,
> you can try to make a fix for the issue too.
Andrew, real world is not so simple ;)
some time ago Manuel López-Ibáñez helps me create official patch:
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=7302#c22
patch was submitted:
http://gcc.gnu.org/ml/gcc-patches/2007-03/msg01347.html
added to tracker:
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=7302#c23
and pinged:
http://gcc.gnu.org/ml/gcc-patches/2007-04/msg00604.html
http://gcc.gnu.org/ml/gcc-patches/2007-05/msg00110.html
c.a. 3 months and no effects for tested trivial patch.
no accecpt, no reject, no commit, no fun.
in current situation i feel no reason to working
on another patch while the GCC-Team redirect external
patches to /dev/null.
moreover, gcc lists are full of patch-ping^N-noeffects.
i think people are not motivated to cooperate with GCC-Team.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29365
^ permalink raw reply [flat|nested] 44+ messages in thread* [Bug c++/29365] Unnecessary anonymous namespace warnings
2006-10-06 6:08 [Bug c++/29365] New: Unnecessary anonymous namespace warnings gcc at magfr dot user dot lysator dot liu dot se
` (24 preceding siblings ...)
2007-06-06 10:09 ` pluto at agmk dot net
@ 2007-06-06 11:23 ` manu at gcc dot gnu dot org
2007-06-25 18:13 ` spark at gcc dot gnu dot org
` (12 subsequent siblings)
38 siblings, 0 replies; 44+ messages in thread
From: manu at gcc dot gnu dot org @ 2007-06-06 11:23 UTC (permalink / raw)
To: gcc-bugs
------- Comment #29 from manu at gcc dot gnu dot org 2007-06-06 11:23 -------
(In reply to comment #28)
> (In reply to comment #27)
>
> > It is not like GCC is a closed source program either,
> > you can try to make a fix for the issue too.
>
> Andrew, real world is not so simple ;)
[snip]
> c.a. 3 months and no effects for tested trivial patch.
> no accecpt, no reject, no commit, no fun.
> in current situation i feel no reason to working
> on another patch while the GCC-Team redirect external
> patches to /dev/null.
It is true that patches get lost sometimes. But that is true for everybody, not
only for external patches. If you check
http://www.dberlin.org/patches/patches/list, there are patches pending since
2006 from top maintainers such as Andrew Pinski. I guess they forgot about them
or just don't have time to keep pinging them. (That is why the patch tracker is
such a great idea, I may decide to take his patch, update it and ping it
myself).
> moreover, gcc lists are full of patch-ping^N-noeffects.
> i think people are not motivated to cooperate with GCC-Team.
That may be true. (I think it is to some extent). But there are also lots of
patches that get 5 pings and then get reviewed and committed. Sending a ping
for a patch takes less than 1 second (at least with gmail). Sometimes you need
to ping individual maintainers (CC them) one by one until someone replies (in
your case, perhaps diagnostics maintainer and C++ front-end ones) but without
being annoying because that will put reviewers off.
Unfortunately, this penalises the sporadic contributor that wants to commit a
patch before sending another. You don't need to wait. If you have 12 patches
waiting approval, ping all of them. (It will make more noise than a lonely ping
from time to time).
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29365
^ permalink raw reply [flat|nested] 44+ messages in thread* [Bug c++/29365] Unnecessary anonymous namespace warnings
2006-10-06 6:08 [Bug c++/29365] New: Unnecessary anonymous namespace warnings gcc at magfr dot user dot lysator dot liu dot se
` (25 preceding siblings ...)
2007-06-06 11:23 ` manu at gcc dot gnu dot org
@ 2007-06-25 18:13 ` spark at gcc dot gnu dot org
2007-08-20 15:40 ` jason at gcc dot gnu dot org
` (11 subsequent siblings)
38 siblings, 0 replies; 44+ messages in thread
From: spark at gcc dot gnu dot org @ 2007-06-25 18:13 UTC (permalink / raw)
To: gcc-bugs
------- Comment #30 from spark at gcc dot gnu dot org 2007-06-25 18:13 -------
The following patch will essentially disable the warning
for template instantiations in the anonymous namespace.
Index: gcc/cp/decl2.c
===================================================================
--- gcc/cp/decl2.c (revision 125999)
+++ gcc/cp/decl2.c (working copy)
@@ -1850,7 +1850,9 @@ constrain_class_visibility (tree type)
if (subvis == VISIBILITY_ANON)
{
if (strcmp (main_input_filename,
- DECL_SOURCE_FILE (TYPE_MAIN_DECL (ftype))))
+ DECL_SOURCE_FILE (TYPE_MAIN_DECL (ftype)))
+ && !(CLASS_TYPE_P (ftype)
+ && CLASSTYPE_USE_TEMPLATE (ftype)))
warning (0, "\
%qT has a field %qD whose type uses the anonymous namespace",
type, t);
@@ -1871,7 +1873,9 @@ constrain_class_visibility (tree type)
if (subvis == VISIBILITY_ANON)
{
if (strcmp (main_input_filename,
- DECL_SOURCE_FILE (TYPE_MAIN_DECL (TREE_TYPE (t)))))
+ DECL_SOURCE_FILE (TYPE_MAIN_DECL (TREE_TYPE (t))))
+ && !(CLASS_TYPE_P (TREE_TYPE (t))
+ && CLASSTYPE_USE_TEMPLATE (TREE_TYPE (t))))
warning (0, "\
%qT has a base %qT whose type uses the anonymous namespace",
type, TREE_TYPE (t));
I don't know whether it's possible to do this warning
accurately, as I can't figure out
how to recover where the template instantiation has happened
at this point in compilation.
DECL_SOURCE_FILE (TYPE_MAIN_DECL (ftype))
points to the source file of the declaration of the template itself,
not where the template instantiation happened.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29365
^ permalink raw reply [flat|nested] 44+ messages in thread* [Bug c++/29365] Unnecessary anonymous namespace warnings
2006-10-06 6:08 [Bug c++/29365] New: Unnecessary anonymous namespace warnings gcc at magfr dot user dot lysator dot liu dot se
` (26 preceding siblings ...)
2007-06-25 18:13 ` spark at gcc dot gnu dot org
@ 2007-08-20 15:40 ` jason at gcc dot gnu dot org
2007-08-22 17:24 ` jason at gcc dot gnu dot org
` (10 subsequent siblings)
38 siblings, 0 replies; 44+ messages in thread
From: jason at gcc dot gnu dot org @ 2007-08-20 15:40 UTC (permalink / raw)
To: gcc-bugs
--
jason at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
AssignedTo|unassigned at gcc dot gnu |jason at gcc dot gnu dot org
|dot org |
Status|REOPENED |ASSIGNED
Last reconfirmed|2006-10-10 03:54:47 |2007-08-20 15:40:39
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29365
^ permalink raw reply [flat|nested] 44+ messages in thread* [Bug c++/29365] Unnecessary anonymous namespace warnings
2006-10-06 6:08 [Bug c++/29365] New: Unnecessary anonymous namespace warnings gcc at magfr dot user dot lysator dot liu dot se
` (27 preceding siblings ...)
2007-08-20 15:40 ` jason at gcc dot gnu dot org
@ 2007-08-22 17:24 ` jason at gcc dot gnu dot org
2007-08-22 20:40 ` jason at gcc dot gnu dot org
` (9 subsequent siblings)
38 siblings, 0 replies; 44+ messages in thread
From: jason at gcc dot gnu dot org @ 2007-08-22 17:24 UTC (permalink / raw)
To: gcc-bugs
------- Comment #31 from jason at gcc dot gnu dot org 2007-08-22 17:23 -------
Subject: Bug 29365
Author: jason
Date: Wed Aug 22 17:23:37 2007
New Revision: 127711
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=127711
Log:
PR c++/29365
* pt.c (outermost_tinst_level): New function.
* lex.c (in_main_input_context): New function.
* decl2.c (constrain_class_visibility): Use it to avoid warning
about uses of the anonymous namespace in the main input file.
Added:
trunk/gcc/testsuite/g++.dg/warn/anonymous-namespace-3.C
trunk/gcc/testsuite/g++.dg/warn/anonymous-namespace-3.h
Modified:
trunk/gcc/cp/ChangeLog
trunk/gcc/cp/cp-tree.h
trunk/gcc/cp/decl2.c
trunk/gcc/cp/lex.c
trunk/gcc/cp/pt.c
trunk/gcc/testsuite/g++.dg/warn/anonymous-namespace-1.C
trunk/gcc/testsuite/g++.dg/warn/anonymous-namespace-2.C
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29365
^ permalink raw reply [flat|nested] 44+ messages in thread* [Bug c++/29365] Unnecessary anonymous namespace warnings
2006-10-06 6:08 [Bug c++/29365] New: Unnecessary anonymous namespace warnings gcc at magfr dot user dot lysator dot liu dot se
` (28 preceding siblings ...)
2007-08-22 17:24 ` jason at gcc dot gnu dot org
@ 2007-08-22 20:40 ` jason at gcc dot gnu dot org
2007-08-22 21:50 ` jason at gcc dot gnu dot org
` (8 subsequent siblings)
38 siblings, 0 replies; 44+ messages in thread
From: jason at gcc dot gnu dot org @ 2007-08-22 20:40 UTC (permalink / raw)
To: gcc-bugs
------- Comment #32 from jason at gcc dot gnu dot org 2007-08-22 20:40 -------
Subject: Bug 29365
Author: jason
Date: Wed Aug 22 20:40:30 2007
New Revision: 127716
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=127716
Log:
PR c++/29365
* pt.c (outermost_tinst_level): New function.
* lex.c (in_main_input_context): New function.
* decl2.c (constrain_class_visibility): Use it to avoid warning
about uses of the anonymous namespace in the main input file.
Modified:
branches/gcc-4_2-branch/gcc/cp/ChangeLog
branches/gcc-4_2-branch/gcc/cp/cp-tree.h
branches/gcc-4_2-branch/gcc/cp/decl2.c
branches/gcc-4_2-branch/gcc/cp/lex.c
branches/gcc-4_2-branch/gcc/cp/pt.c
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29365
^ permalink raw reply [flat|nested] 44+ messages in thread* [Bug c++/29365] Unnecessary anonymous namespace warnings
2006-10-06 6:08 [Bug c++/29365] New: Unnecessary anonymous namespace warnings gcc at magfr dot user dot lysator dot liu dot se
` (29 preceding siblings ...)
2007-08-22 20:40 ` jason at gcc dot gnu dot org
@ 2007-08-22 21:50 ` jason at gcc dot gnu dot org
2007-08-28 19:40 ` pluto at agmk dot net
` (7 subsequent siblings)
38 siblings, 0 replies; 44+ messages in thread
From: jason at gcc dot gnu dot org @ 2007-08-22 21:50 UTC (permalink / raw)
To: gcc-bugs
------- Comment #33 from jason at gcc dot gnu dot org 2007-08-22 21:50 -------
Fixed.
--
jason at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29365
^ permalink raw reply [flat|nested] 44+ messages in thread* [Bug c++/29365] Unnecessary anonymous namespace warnings
2006-10-06 6:08 [Bug c++/29365] New: Unnecessary anonymous namespace warnings gcc at magfr dot user dot lysator dot liu dot se
` (30 preceding siblings ...)
2007-08-22 21:50 ` jason at gcc dot gnu dot org
@ 2007-08-28 19:40 ` pluto at agmk dot net
2007-08-28 20:48 ` Andrew Pinski
2007-08-28 20:48 ` pinskia at gmail dot com
` (6 subsequent siblings)
38 siblings, 1 reply; 44+ messages in thread
From: pluto at agmk dot net @ 2007-08-28 19:40 UTC (permalink / raw)
To: gcc-bugs
------- Comment #34 from pluto at agmk dot net 2007-08-28 19:40 -------
(In reply to comment #33)
> Fixed.
>
one more testcase:
$ cat X.hpp
namespace { class Impl; }
struct X
{
~X();
Impl* pimpl_;
};
$ cat X.cpp
#include "X.hpp"
X::~X()
{
}
$ g++ -Wall -c X.cpp
In file included from X.cpp:1:
X.hpp:3: warning: 'X' has a field 'X::pimpl_' whose type uses the anonymous
namespace
gcc version 4.2.2 20070828
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29365
^ permalink raw reply [flat|nested] 44+ messages in thread* Re: [Bug c++/29365] Unnecessary anonymous namespace warnings
2007-08-28 19:40 ` pluto at agmk dot net
@ 2007-08-28 20:48 ` Andrew Pinski
0 siblings, 0 replies; 44+ messages in thread
From: Andrew Pinski @ 2007-08-28 20:48 UTC (permalink / raw)
To: gcc-bugzilla; +Cc: gcc-bugs
On 28 Aug 2007 19:40:14 -0000, pluto at agmk dot net
<gcc-bugzilla@gcc.gnu.org> wrote:
>
>
> ------- Comment #34 from pluto at agmk dot net 2007-08-28 19:40 -------
> (In reply to comment #33)
> > Fixed.
> >
>
> one more testcase:
>
> $ cat X.hpp
> namespace { class Impl; }
> struct X
> {
> ~X();
> Impl* pimpl_;
> };
>
> $ cat X.cpp
> #include "X.hpp"
> X::~X()
> {
> }
In this case, the warning is correct as Impl will be different in each
Translation Unit so X can never be the same between two of them.
-- Pinski
^ permalink raw reply [flat|nested] 44+ messages in thread
* [Bug c++/29365] Unnecessary anonymous namespace warnings
2006-10-06 6:08 [Bug c++/29365] New: Unnecessary anonymous namespace warnings gcc at magfr dot user dot lysator dot liu dot se
` (31 preceding siblings ...)
2007-08-28 19:40 ` pluto at agmk dot net
@ 2007-08-28 20:48 ` pinskia at gmail dot com
2007-08-28 21:41 ` bangerth at dealii dot org
` (5 subsequent siblings)
38 siblings, 0 replies; 44+ messages in thread
From: pinskia at gmail dot com @ 2007-08-28 20:48 UTC (permalink / raw)
To: gcc-bugs
------- Comment #35 from pinskia at gmail dot com 2007-08-28 20:48 -------
Subject: Re: Unnecessary anonymous namespace warnings
On 28 Aug 2007 19:40:14 -0000, pluto at agmk dot net
<gcc-bugzilla@gcc.gnu.org> wrote:
>
>
> ------- Comment #34 from pluto at agmk dot net 2007-08-28 19:40 -------
> (In reply to comment #33)
> > Fixed.
> >
>
> one more testcase:
>
> $ cat X.hpp
> namespace { class Impl; }
> struct X
> {
> ~X();
> Impl* pimpl_;
> };
>
> $ cat X.cpp
> #include "X.hpp"
> X::~X()
> {
> }
In this case, the warning is correct as Impl will be different in each
Translation Unit so X can never be the same between two of them.
-- Pinski
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29365
^ permalink raw reply [flat|nested] 44+ messages in thread* [Bug c++/29365] Unnecessary anonymous namespace warnings
2006-10-06 6:08 [Bug c++/29365] New: Unnecessary anonymous namespace warnings gcc at magfr dot user dot lysator dot liu dot se
` (32 preceding siblings ...)
2007-08-28 20:48 ` pinskia at gmail dot com
@ 2007-08-28 21:41 ` bangerth at dealii dot org
2007-08-28 22:11 ` Andrew Pinski
2007-08-28 22:11 ` pinskia at gmail dot com
` (4 subsequent siblings)
38 siblings, 1 reply; 44+ messages in thread
From: bangerth at dealii dot org @ 2007-08-28 21:41 UTC (permalink / raw)
To: gcc-bugs
------- Comment #36 from bangerth at dealii dot org 2007-08-28 21:40 -------
(In reply to comment #35)
> In this case, the warning is correct as Impl will be different in each
> Translation Unit so X can never be the same between two of them.
That's what I thought too at first, but the request is valid anyway as long
as you never use the pointer to the class from anywhere except the one
implementation file in which the class is defined. Never using means not
even passing around the pointer, i.e. the class better not has an inline
function in the header file in which the pointer is used. However, as long
as the entire handling of the pointer is inside a single TU, nothing is
wrong with the code.
Now, whether that's good style is clearly a different matter...
W.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29365
^ permalink raw reply [flat|nested] 44+ messages in thread* Re: [Bug c++/29365] Unnecessary anonymous namespace warnings
2007-08-28 21:41 ` bangerth at dealii dot org
@ 2007-08-28 22:11 ` Andrew Pinski
0 siblings, 0 replies; 44+ messages in thread
From: Andrew Pinski @ 2007-08-28 22:11 UTC (permalink / raw)
To: gcc-bugzilla; +Cc: gcc-bugs
On 28 Aug 2007 21:41:05 -0000, bangerth at dealii dot org
<gcc-bugzilla@gcc.gnu.org> wrote:
> That's what I thought too at first, but the request is valid anyway as long
> as you never use the pointer to the class from anywhere except the one
> implementation file in which the class is defined.
No it is not, it is still violating One definition rule as struct X
will have a different member type for pimpl_ in each TU (this violates
the whole idea of types being exported). This is going to be true no
matter what, even if you change the warning. Now you can use a
"void*" to get around this issue and should solve the issue and not
violate the C++ ODR.
This warning is not about style, it is about warning when you are most
likely going to violat C++'s One definition rule with anonymous
namespaces and you do violate it here as explained above.
Thanks,
Andrew Pinski
^ permalink raw reply [flat|nested] 44+ messages in thread
* [Bug c++/29365] Unnecessary anonymous namespace warnings
2006-10-06 6:08 [Bug c++/29365] New: Unnecessary anonymous namespace warnings gcc at magfr dot user dot lysator dot liu dot se
` (33 preceding siblings ...)
2007-08-28 21:41 ` bangerth at dealii dot org
@ 2007-08-28 22:11 ` pinskia at gmail dot com
2007-08-29 3:15 ` bangerth at dealii dot org
` (3 subsequent siblings)
38 siblings, 0 replies; 44+ messages in thread
From: pinskia at gmail dot com @ 2007-08-28 22:11 UTC (permalink / raw)
To: gcc-bugs
------- Comment #37 from pinskia at gmail dot com 2007-08-28 22:11 -------
Subject: Re: Unnecessary anonymous namespace warnings
On 28 Aug 2007 21:41:05 -0000, bangerth at dealii dot org
<gcc-bugzilla@gcc.gnu.org> wrote:
> That's what I thought too at first, but the request is valid anyway as long
> as you never use the pointer to the class from anywhere except the one
> implementation file in which the class is defined.
No it is not, it is still violating One definition rule as struct X
will have a different member type for pimpl_ in each TU (this violates
the whole idea of types being exported). This is going to be true no
matter what, even if you change the warning. Now you can use a
"void*" to get around this issue and should solve the issue and not
violate the C++ ODR.
This warning is not about style, it is about warning when you are most
likely going to violat C++'s One definition rule with anonymous
namespaces and you do violate it here as explained above.
Thanks,
Andrew Pinski
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29365
^ permalink raw reply [flat|nested] 44+ messages in thread* [Bug c++/29365] Unnecessary anonymous namespace warnings
2006-10-06 6:08 [Bug c++/29365] New: Unnecessary anonymous namespace warnings gcc at magfr dot user dot lysator dot liu dot se
` (34 preceding siblings ...)
2007-08-28 22:11 ` pinskia at gmail dot com
@ 2007-08-29 3:15 ` bangerth at dealii dot org
2007-08-29 8:52 ` Andrew Pinski
2007-08-29 8:53 ` pinskia at gmail dot com
` (2 subsequent siblings)
38 siblings, 1 reply; 44+ messages in thread
From: bangerth at dealii dot org @ 2007-08-29 3:15 UTC (permalink / raw)
To: gcc-bugs
------- Comment #38 from bangerth at dealii dot org 2007-08-29 03:15 -------
(In reply to comment #37)
> No it is not, it is still violating One definition rule as struct X
> will have a different member type for pimpl_ in each TU (this violates
> the whole idea of types being exported).
It is a good question in itself whether pimpl_ has a type at all -- it's a
pointer to an incomplete type in any case :-)
> This warning is not about style, it is about warning when you are most
> likely going to violat C++'s One definition rule with anonymous
> namespaces and you do violate it here as explained above.
Yes, I agree that whoever uses this idiom is walking a very fine line
indeed, and most definitely is violating at least good style. I can certainly
live with a warning.
W.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29365
^ permalink raw reply [flat|nested] 44+ messages in thread* Re: [Bug c++/29365] Unnecessary anonymous namespace warnings
2007-08-29 3:15 ` bangerth at dealii dot org
@ 2007-08-29 8:52 ` Andrew Pinski
2007-08-29 13:19 ` Gabriel Dos Reis
0 siblings, 1 reply; 44+ messages in thread
From: Andrew Pinski @ 2007-08-29 8:52 UTC (permalink / raw)
To: gcc-bugzilla; +Cc: gcc-bugs
On 29 Aug 2007 03:15:04 -0000, bangerth at dealii dot org
<gcc-bugzilla@gcc.gnu.org> wrote:
> It is a good question in itself whether pimpl_ has a type at all -- it's a
> pointer to an incomplete type in any case :-)
All types in C++ are exported (well except for anonymous namespace
types) including incomplete types.
So the following two TUs are invalid when combined together.
TU1:
extern struct a *b;
TU2:
extern struct c *b;
It does not matter in C++ if it is an incomplete type because the type
is based on the name rather than compatibility rules (like what is
done for C).
So again this warning is correct based on the One definition rule.
Thanks,
Andrew Pinski
^ permalink raw reply [flat|nested] 44+ messages in thread
* Re: [Bug c++/29365] Unnecessary anonymous namespace warnings
2007-08-29 8:52 ` Andrew Pinski
@ 2007-08-29 13:19 ` Gabriel Dos Reis
0 siblings, 0 replies; 44+ messages in thread
From: Gabriel Dos Reis @ 2007-08-29 13:19 UTC (permalink / raw)
To: Andrew Pinski; +Cc: gcc-bugzilla, gcc-bugs
"Andrew Pinski" <pinskia@gmail.com> writes:
| On 29 Aug 2007 03:15:04 -0000, bangerth at dealii dot org
| <gcc-bugzilla@gcc.gnu.org> wrote:
| > It is a good question in itself whether pimpl_ has a type at all -- it's a
| > pointer to an incomplete type in any case :-)
|
| All types in C++ are exported (well except for anonymous namespace
| types) including incomplete types.
What does not could mean in C++?
-- Gaby
^ permalink raw reply [flat|nested] 44+ messages in thread
* [Bug c++/29365] Unnecessary anonymous namespace warnings
2006-10-06 6:08 [Bug c++/29365] New: Unnecessary anonymous namespace warnings gcc at magfr dot user dot lysator dot liu dot se
` (35 preceding siblings ...)
2007-08-29 3:15 ` bangerth at dealii dot org
@ 2007-08-29 8:53 ` pinskia at gmail dot com
2007-08-29 13:20 ` gdr at cs dot tamu dot edu
2007-10-22 18:13 ` jason at gcc dot gnu dot org
38 siblings, 0 replies; 44+ messages in thread
From: pinskia at gmail dot com @ 2007-08-29 8:53 UTC (permalink / raw)
To: gcc-bugs
------- Comment #39 from pinskia at gmail dot com 2007-08-29 08:52 -------
Subject: Re: Unnecessary anonymous namespace warnings
On 29 Aug 2007 03:15:04 -0000, bangerth at dealii dot org
<gcc-bugzilla@gcc.gnu.org> wrote:
> It is a good question in itself whether pimpl_ has a type at all -- it's a
> pointer to an incomplete type in any case :-)
All types in C++ are exported (well except for anonymous namespace
types) including incomplete types.
So the following two TUs are invalid when combined together.
TU1:
extern struct a *b;
TU2:
extern struct c *b;
It does not matter in C++ if it is an incomplete type because the type
is based on the name rather than compatibility rules (like what is
done for C).
So again this warning is correct based on the One definition rule.
Thanks,
Andrew Pinski
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29365
^ permalink raw reply [flat|nested] 44+ messages in thread* [Bug c++/29365] Unnecessary anonymous namespace warnings
2006-10-06 6:08 [Bug c++/29365] New: Unnecessary anonymous namespace warnings gcc at magfr dot user dot lysator dot liu dot se
` (36 preceding siblings ...)
2007-08-29 8:53 ` pinskia at gmail dot com
@ 2007-08-29 13:20 ` gdr at cs dot tamu dot edu
2007-10-22 18:13 ` jason at gcc dot gnu dot org
38 siblings, 0 replies; 44+ messages in thread
From: gdr at cs dot tamu dot edu @ 2007-08-29 13:20 UTC (permalink / raw)
To: gcc-bugs
------- Comment #40 from gdr at cs dot tamu dot edu 2007-08-29 13:19 -------
Subject: Re: Unnecessary anonymous namespace warnings
"Andrew Pinski" <pinskia@gmail.com> writes:
| On 29 Aug 2007 03:15:04 -0000, bangerth at dealii dot org
| <gcc-bugzilla@gcc.gnu.org> wrote:
| > It is a good question in itself whether pimpl_ has a type at all -- it's a
| > pointer to an incomplete type in any case :-)
|
| All types in C++ are exported (well except for anonymous namespace
| types) including incomplete types.
What does not could mean in C++?
-- Gaby
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29365
^ permalink raw reply [flat|nested] 44+ messages in thread* [Bug c++/29365] Unnecessary anonymous namespace warnings
2006-10-06 6:08 [Bug c++/29365] New: Unnecessary anonymous namespace warnings gcc at magfr dot user dot lysator dot liu dot se
` (37 preceding siblings ...)
2007-08-29 13:20 ` gdr at cs dot tamu dot edu
@ 2007-10-22 18:13 ` jason at gcc dot gnu dot org
38 siblings, 0 replies; 44+ messages in thread
From: jason at gcc dot gnu dot org @ 2007-10-22 18:13 UTC (permalink / raw)
To: gcc-bugs
------- Comment #41 from jason at gcc dot gnu dot org 2007-10-22 18:12 -------
Subject: Bug 29365
Author: jason
Date: Mon Oct 22 18:12:36 2007
New Revision: 129554
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=129554
Log:
PR c++/32470
* name-lookup.c (push_namespace_with_attrs): Fold back into...
(push_namespace): Here.
(handle_namespace_attrs): New fn for the attr code.
(leave_scope): Don't pop_visibility.
* name-lookup.h (struct cp_binding_level): Remove has_visibility.
* parser.c (cp_parser_namespace_definition): Call
handle_namespace_attrs and pop_visibility as appropriate.
PR c++/33094
* decl.c (make_rtl_for_nonlocal_decl): It's ok for a member
constant to not have DECL_EXTERNAL if it's file-local.
* decl2.c (get_guard): Copy visibility from the guarded variable.
PR c++/29365
* pt.c (outermost_tinst_level): New function.
* lex.c (in_main_input_context): New function.
* decl2.c (constrain_class_visibility): Use it to avoid warning
about uses of the anonymous namespace in the main input file.
Modified:
branches/redhat/gcc-4_1-branch/gcc/cp/ChangeLog
branches/redhat/gcc-4_1-branch/gcc/cp/cp-tree.h
branches/redhat/gcc-4_1-branch/gcc/cp/decl.c
branches/redhat/gcc-4_1-branch/gcc/cp/decl2.c
branches/redhat/gcc-4_1-branch/gcc/cp/lex.c
branches/redhat/gcc-4_1-branch/gcc/cp/name-lookup.c
branches/redhat/gcc-4_1-branch/gcc/cp/name-lookup.h
branches/redhat/gcc-4_1-branch/gcc/cp/parser.c
branches/redhat/gcc-4_1-branch/gcc/cp/pt.c
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29365
^ permalink raw reply [flat|nested] 44+ messages in thread