public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug tree-optimization/14187] [tree-ssa] restricted pointers should not alias on the tree level
[not found] <bug-14187-1008@http.gcc.gnu.org/bugzilla/>
@ 2006-03-10 15:34 ` dnovillo at gcc dot gnu dot org
2007-06-11 0:48 ` pinskia at gcc dot gnu dot org
` (16 subsequent siblings)
17 siblings, 0 replies; 18+ messages in thread
From: dnovillo at gcc dot gnu dot org @ 2006-03-10 15:34 UTC (permalink / raw)
To: gcc-bugs
--
dnovillo at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |dnovillo at gcc dot gnu dot
| |org
AssignedTo|dnovillo at gcc dot gnu dot |unassigned at gcc dot gnu
|org |dot org
Status|ASSIGNED |NEW
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14187
^ permalink raw reply [flat|nested] 18+ messages in thread
* [Bug tree-optimization/14187] [tree-ssa] restricted pointers should not alias on the tree level
[not found] <bug-14187-1008@http.gcc.gnu.org/bugzilla/>
2006-03-10 15:34 ` [Bug tree-optimization/14187] [tree-ssa] restricted pointers should not alias on the tree level dnovillo at gcc dot gnu dot org
@ 2007-06-11 0:48 ` pinskia at gcc dot gnu dot org
2008-10-01 14:29 ` rguenth at gcc dot gnu dot org
` (15 subsequent siblings)
17 siblings, 0 replies; 18+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2007-06-11 0:48 UTC (permalink / raw)
To: gcc-bugs
------- Comment #5 from pinskia at gcc dot gnu dot org 2007-06-11 00:48 -------
(In reply to comment #3)
> Interestingly the following code is optimized:
That is because we create a new may_alias variable for malloc to point to so we
know that it cannot alias anything.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14187
^ permalink raw reply [flat|nested] 18+ messages in thread
* [Bug tree-optimization/14187] [tree-ssa] restricted pointers should not alias on the tree level
[not found] <bug-14187-1008@http.gcc.gnu.org/bugzilla/>
2006-03-10 15:34 ` [Bug tree-optimization/14187] [tree-ssa] restricted pointers should not alias on the tree level dnovillo at gcc dot gnu dot org
2007-06-11 0:48 ` pinskia at gcc dot gnu dot org
@ 2008-10-01 14:29 ` rguenth at gcc dot gnu dot org
2008-10-01 14:31 ` rguenth at gcc dot gnu dot org
` (14 subsequent siblings)
17 siblings, 0 replies; 18+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2008-10-01 14:29 UTC (permalink / raw)
To: gcc-bugs
------- Comment #6 from rguenth at gcc dot gnu dot org 2008-10-01 14:28 -------
*** Bug 14192 has been marked as a duplicate of this bug. ***
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |hoogerbrugge at hotmail dot
| |com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14187
^ permalink raw reply [flat|nested] 18+ messages in thread
* [Bug tree-optimization/14187] [tree-ssa] restricted pointers should not alias on the tree level
[not found] <bug-14187-1008@http.gcc.gnu.org/bugzilla/>
` (2 preceding siblings ...)
2008-10-01 14:29 ` rguenth at gcc dot gnu dot org
@ 2008-10-01 14:31 ` rguenth at gcc dot gnu dot org
2008-10-01 14:33 ` rguenth at gcc dot gnu dot org
` (13 subsequent siblings)
17 siblings, 0 replies; 18+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2008-10-01 14:31 UTC (permalink / raw)
To: gcc-bugs
------- Comment #7 from rguenth at gcc dot gnu dot org 2008-10-01 14:30 -------
Note that C restrict semantics make it necessary to properly track what
pointer is based on what other pointer. For this we miss both annotations
and a (simple) propagator that propagates this information, maybe as part
of PTA analysis.
Note that the current implementation has both missed-optimization and latent
wrong-code issues.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14187
^ permalink raw reply [flat|nested] 18+ messages in thread
* [Bug tree-optimization/14187] [tree-ssa] restricted pointers should not alias on the tree level
[not found] <bug-14187-1008@http.gcc.gnu.org/bugzilla/>
` (3 preceding siblings ...)
2008-10-01 14:31 ` rguenth at gcc dot gnu dot org
@ 2008-10-01 14:33 ` rguenth at gcc dot gnu dot org
2008-10-01 14:35 ` rguenth at gcc dot gnu dot org
` (12 subsequent siblings)
17 siblings, 0 replies; 18+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2008-10-01 14:33 UTC (permalink / raw)
To: gcc-bugs
------- Comment #8 from rguenth at gcc dot gnu dot org 2008-10-01 14:32 -------
*** Bug 16306 has been marked as a duplicate of this bug. ***
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14187
^ permalink raw reply [flat|nested] 18+ messages in thread
* [Bug tree-optimization/14187] [tree-ssa] restricted pointers should not alias on the tree level
[not found] <bug-14187-1008@http.gcc.gnu.org/bugzilla/>
` (4 preceding siblings ...)
2008-10-01 14:33 ` rguenth at gcc dot gnu dot org
@ 2008-10-01 14:35 ` rguenth at gcc dot gnu dot org
2008-10-01 14:35 ` rguenth at gcc dot gnu dot org
` (11 subsequent siblings)
17 siblings, 0 replies; 18+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2008-10-01 14:35 UTC (permalink / raw)
To: gcc-bugs
------- Comment #9 from rguenth at gcc dot gnu dot org 2008-10-01 14:33 -------
*** Bug 16913 has been marked as a duplicate of this bug. ***
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |martin at mpa-garching dot
| |mpg dot de
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14187
^ permalink raw reply [flat|nested] 18+ messages in thread
* [Bug tree-optimization/14187] [tree-ssa] restricted pointers should not alias on the tree level
[not found] <bug-14187-1008@http.gcc.gnu.org/bugzilla/>
` (5 preceding siblings ...)
2008-10-01 14:35 ` rguenth at gcc dot gnu dot org
@ 2008-10-01 14:35 ` rguenth at gcc dot gnu dot org
2008-10-01 14:36 ` rguenth at gcc dot gnu dot org
` (10 subsequent siblings)
17 siblings, 0 replies; 18+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2008-10-01 14:35 UTC (permalink / raw)
To: gcc-bugs
------- Comment #10 from rguenth at gcc dot gnu dot org 2008-10-01 14:34 -------
*** Bug 28030 has been marked as a duplicate of this bug. ***
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |gcc at pdoerfler dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14187
^ permalink raw reply [flat|nested] 18+ messages in thread
* [Bug tree-optimization/14187] [tree-ssa] restricted pointers should not alias on the tree level
[not found] <bug-14187-1008@http.gcc.gnu.org/bugzilla/>
` (6 preceding siblings ...)
2008-10-01 14:35 ` rguenth at gcc dot gnu dot org
@ 2008-10-01 14:36 ` rguenth at gcc dot gnu dot org
2008-10-01 14:37 ` rguenth at gcc dot gnu dot org
` (9 subsequent siblings)
17 siblings, 0 replies; 18+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2008-10-01 14:36 UTC (permalink / raw)
To: gcc-bugs
------- Comment #11 from rguenth at gcc dot gnu dot org 2008-10-01 14:35 -------
*** Bug 29239 has been marked as a duplicate of this bug. ***
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |acahalan at gmail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14187
^ permalink raw reply [flat|nested] 18+ messages in thread
* [Bug tree-optimization/14187] [tree-ssa] restricted pointers should not alias on the tree level
[not found] <bug-14187-1008@http.gcc.gnu.org/bugzilla/>
` (7 preceding siblings ...)
2008-10-01 14:36 ` rguenth at gcc dot gnu dot org
@ 2008-10-01 14:37 ` rguenth at gcc dot gnu dot org
2008-10-01 14:39 ` rguenth at gcc dot gnu dot org
` (8 subsequent siblings)
17 siblings, 0 replies; 18+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2008-10-01 14:37 UTC (permalink / raw)
To: gcc-bugs
------- Comment #12 from rguenth at gcc dot gnu dot org 2008-10-01 14:35 -------
*** Bug 32273 has been marked as a duplicate of this bug. ***
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |tomash dot brechko at gmail
| |dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14187
^ permalink raw reply [flat|nested] 18+ messages in thread
* [Bug tree-optimization/14187] [tree-ssa] restricted pointers should not alias on the tree level
[not found] <bug-14187-1008@http.gcc.gnu.org/bugzilla/>
` (8 preceding siblings ...)
2008-10-01 14:37 ` rguenth at gcc dot gnu dot org
@ 2008-10-01 14:39 ` rguenth at gcc dot gnu dot org
2008-10-01 14:41 ` rguenth at gcc dot gnu dot org
` (7 subsequent siblings)
17 siblings, 0 replies; 18+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2008-10-01 14:39 UTC (permalink / raw)
To: gcc-bugs
------- Comment #13 from rguenth at gcc dot gnu dot org 2008-10-01 14:38 -------
*** Bug 33272 has been marked as a duplicate of this bug. ***
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |mmitchel at gcc dot gnu dot
| |org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14187
^ permalink raw reply [flat|nested] 18+ messages in thread
* [Bug tree-optimization/14187] [tree-ssa] restricted pointers should not alias on the tree level
[not found] <bug-14187-1008@http.gcc.gnu.org/bugzilla/>
` (9 preceding siblings ...)
2008-10-01 14:39 ` rguenth at gcc dot gnu dot org
@ 2008-10-01 14:41 ` rguenth at gcc dot gnu dot org
2008-10-01 15:03 ` [Bug middle-end/14187] [tree-ssa] C restricted pointers are not properly implemented rguenth at gcc dot gnu dot org
` (6 subsequent siblings)
17 siblings, 0 replies; 18+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2008-10-01 14:41 UTC (permalink / raw)
To: gcc-bugs
------- Comment #14 from rguenth at gcc dot gnu dot org 2008-10-01 14:40 -------
*** Bug 33705 has been marked as a duplicate of this bug. ***
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |astrange at ithinksw dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14187
^ permalink raw reply [flat|nested] 18+ messages in thread
* [Bug middle-end/14187] [tree-ssa] C restricted pointers are not properly implemented
[not found] <bug-14187-1008@http.gcc.gnu.org/bugzilla/>
` (10 preceding siblings ...)
2008-10-01 14:41 ` rguenth at gcc dot gnu dot org
@ 2008-10-01 15:03 ` rguenth at gcc dot gnu dot org
2009-06-29 12:24 ` rguenth at gcc dot gnu dot org
` (5 subsequent siblings)
17 siblings, 0 replies; 18+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2008-10-01 15:03 UTC (permalink / raw)
To: gcc-bugs
------- Comment #15 from rguenth at gcc dot gnu dot org 2008-10-01 15:01 -------
This is not solely a tree issue.
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Component|tree-optimization |middle-end
Keywords|TREE |
Summary|[tree-ssa] restricted |[tree-ssa] C restricted
|pointers should not alias on|pointers are not properly
|the tree level |implemented
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14187
^ permalink raw reply [flat|nested] 18+ messages in thread
* [Bug middle-end/14187] [tree-ssa] C restricted pointers are not properly implemented
[not found] <bug-14187-1008@http.gcc.gnu.org/bugzilla/>
` (11 preceding siblings ...)
2008-10-01 15:03 ` [Bug middle-end/14187] [tree-ssa] C restricted pointers are not properly implemented rguenth at gcc dot gnu dot org
@ 2009-06-29 12:24 ` rguenth at gcc dot gnu dot org
2009-06-29 12:24 ` rguenth at gcc dot gnu dot org
` (4 subsequent siblings)
17 siblings, 0 replies; 18+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2009-06-29 12:24 UTC (permalink / raw)
To: gcc-bugs
------- Comment #17 from rguenth at gcc dot gnu dot org 2009-06-29 12:24 -------
Fixed.
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
Target Milestone|--- |4.5.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14187
^ permalink raw reply [flat|nested] 18+ messages in thread
* [Bug middle-end/14187] [tree-ssa] C restricted pointers are not properly implemented
[not found] <bug-14187-1008@http.gcc.gnu.org/bugzilla/>
` (12 preceding siblings ...)
2009-06-29 12:24 ` rguenth at gcc dot gnu dot org
@ 2009-06-29 12:24 ` rguenth at gcc dot gnu dot org
2010-01-11 19:23 ` manu at gcc dot gnu dot org
` (3 subsequent siblings)
17 siblings, 0 replies; 18+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2009-06-29 12:24 UTC (permalink / raw)
To: gcc-bugs
------- Comment #16 from rguenth at gcc dot gnu dot org 2009-06-29 12:23 -------
Subject: Bug 14187
Author: rguenth
Date: Mon Jun 29 12:23:21 2009
New Revision: 149048
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=149048
Log:
2009-06-29 Richard Guenther <rguenther@suse.de>
PR middle-end/14187
* tree-ssa-alias.h (struct pt_solution): Add vars_contains_restrict
flag.
(pt_solutions_same_restrict_base): Declare.
* tree-ssa-structalias.c (struct variable_info): Add is_restrict_var
flag.
(new_var_info): Initialize is_global_var properly for SSA_NAMEs.
(make_constraint_from, make_copy_constraint): Move earlier.
(make_constraint_from_heapvar): New function.
(make_constraint_from_restrict): Likewise.
(handle_lhs_call): Use it.
(find_func_aliases): Use it to track conversions to restrict
qualified pointers.
(struct fieldoff): Add only_restrict_pointers flag.
(push_fields_onto_fieldstack): Initialize it.
(create_variable_info_for): Track global restrict qualified pointers.
(intra_create_variable_infos): Use make_constraint_from_heapvar.
Track restrict qualified pointer arguments.
(set_uids_in_ptset): Use varinfo is_global_var flag.
(find_what_var_points_to): Set the vars_contains_restrict flag.
Always create the points-to solution for sets including restrict tags.
(pt_solutions_same_restrict_base): New function.
* tree-ssa-alias.c (ptr_derefs_may_alias_p): For two restrict
qualified pointers use pt_solutions_same_restrict_base as
additional source for disambiguation.
* gcc.dg/tree-ssa/restrict-1.c: New testcase.
* gcc.dg/tree-ssa/restrict-2.c: Likewise.
* gcc.dg/tree-ssa/restrict-3.c: Likewise.
* gcc.c-torture/execute/20090623-1.c: Likewise.
* gcc.dg/tree-ssa/ldist-13.c: Likewise.
* gcc.dg/tree-ssa/ldist-14.c: Likewise.
Added:
trunk/gcc/testsuite/gcc.c-torture/execute/20090623-1.c
trunk/gcc/testsuite/gcc.dg/tree-ssa/ldist-13.c
trunk/gcc/testsuite/gcc.dg/tree-ssa/ldist-14.c
trunk/gcc/testsuite/gcc.dg/tree-ssa/restrict-1.c
trunk/gcc/testsuite/gcc.dg/tree-ssa/restrict-2.c
trunk/gcc/testsuite/gcc.dg/tree-ssa/restrict-3.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/testsuite/ChangeLog
trunk/gcc/tree-ssa-alias.c
trunk/gcc/tree-ssa-alias.h
trunk/gcc/tree-ssa-structalias.c
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14187
^ permalink raw reply [flat|nested] 18+ messages in thread
* [Bug middle-end/14187] [tree-ssa] C restricted pointers are not properly implemented
[not found] <bug-14187-1008@http.gcc.gnu.org/bugzilla/>
` (13 preceding siblings ...)
2009-06-29 12:24 ` rguenth at gcc dot gnu dot org
@ 2010-01-11 19:23 ` manu at gcc dot gnu dot org
2010-01-12 9:55 ` rguenther at suse dot de
` (2 subsequent siblings)
17 siblings, 0 replies; 18+ messages in thread
From: manu at gcc dot gnu dot org @ 2010-01-11 19:23 UTC (permalink / raw)
To: gcc-bugs
------- Comment #18 from manu at gcc dot gnu dot org 2010-01-11 19:23 -------
(In reply to comment #17)
> Fixed.
>
Richard, since this is a new feature of GCC 4.5, shouldn't we mention it in the
GCC 4.5 changes.html?
Even something short would be welcome by users, such as:
"Better optimizations when using the <a
href="http://gcc.gnu.org/onlinedocs/gcc/Restricted-Pointers.html">restrict
keyword</a>".
--
manu at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |manu at gcc dot gnu dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14187
^ permalink raw reply [flat|nested] 18+ messages in thread
* [Bug middle-end/14187] [tree-ssa] C restricted pointers are not properly implemented
[not found] <bug-14187-1008@http.gcc.gnu.org/bugzilla/>
` (14 preceding siblings ...)
2010-01-11 19:23 ` manu at gcc dot gnu dot org
@ 2010-01-12 9:55 ` rguenther at suse dot de
2010-01-30 22:29 ` steven at gcc dot gnu dot org
2010-01-30 22:46 ` rguenth at gcc dot gnu dot org
17 siblings, 0 replies; 18+ messages in thread
From: rguenther at suse dot de @ 2010-01-12 9:55 UTC (permalink / raw)
To: gcc-bugs
------- Comment #19 from rguenther at suse dot de 2010-01-12 09:54 -------
Subject: Re: [tree-ssa] C restricted pointers are not
properly implemented
On Mon, 11 Jan 2010, manu at gcc dot gnu dot org wrote:
> ------- Comment #18 from manu at gcc dot gnu dot org 2010-01-11 19:23 -------
> (In reply to comment #17)
> > Fixed.
> >
>
> Richard, since this is a new feature of GCC 4.5, shouldn't we mention it in the
> GCC 4.5 changes.html?
>
> Even something short would be welcome by users, such as:
>
> "Better optimizations when using the <a
> href="http://gcc.gnu.org/onlinedocs/gcc/Restricted-Pointers.html">restrict
> keyword</a>".
It's not universally better tho due to limitations on the RTL export
side. I'll think of sth.
Richard.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14187
^ permalink raw reply [flat|nested] 18+ messages in thread
* [Bug middle-end/14187] [tree-ssa] C restricted pointers are not properly implemented
[not found] <bug-14187-1008@http.gcc.gnu.org/bugzilla/>
` (15 preceding siblings ...)
2010-01-12 9:55 ` rguenther at suse dot de
@ 2010-01-30 22:29 ` steven at gcc dot gnu dot org
2010-01-30 22:46 ` rguenth at gcc dot gnu dot org
17 siblings, 0 replies; 18+ messages in thread
From: steven at gcc dot gnu dot org @ 2010-01-30 22:29 UTC (permalink / raw)
To: gcc-bugs
------- Comment #20 from steven at gcc dot gnu dot org 2010-01-30 22:29 -------
Richi, is restrict working now, even with -fno-strict aliasing?
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14187
^ permalink raw reply [flat|nested] 18+ messages in thread
* [Bug middle-end/14187] [tree-ssa] C restricted pointers are not properly implemented
[not found] <bug-14187-1008@http.gcc.gnu.org/bugzilla/>
` (16 preceding siblings ...)
2010-01-30 22:29 ` steven at gcc dot gnu dot org
@ 2010-01-30 22:46 ` rguenth at gcc dot gnu dot org
17 siblings, 0 replies; 18+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2010-01-30 22:46 UTC (permalink / raw)
To: gcc-bugs
------- Comment #21 from rguenth at gcc dot gnu dot org 2010-01-30 22:46 -------
(In reply to comment #20)
> Richi, is restrict working now, even with -fno-strict aliasing?
Yes, it is. See PR42617 for patches still required on the RTL side, it's
a bit late to apply them for 4.5 now.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14187
^ permalink raw reply [flat|nested] 18+ messages in thread
end of thread, other threads:[~2010-01-30 22:46 UTC | newest]
Thread overview: 18+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
[not found] <bug-14187-1008@http.gcc.gnu.org/bugzilla/>
2006-03-10 15:34 ` [Bug tree-optimization/14187] [tree-ssa] restricted pointers should not alias on the tree level dnovillo at gcc dot gnu dot org
2007-06-11 0:48 ` pinskia at gcc dot gnu dot org
2008-10-01 14:29 ` rguenth at gcc dot gnu dot org
2008-10-01 14:31 ` rguenth at gcc dot gnu dot org
2008-10-01 14:33 ` rguenth at gcc dot gnu dot org
2008-10-01 14:35 ` rguenth at gcc dot gnu dot org
2008-10-01 14:35 ` rguenth at gcc dot gnu dot org
2008-10-01 14:36 ` rguenth at gcc dot gnu dot org
2008-10-01 14:37 ` rguenth at gcc dot gnu dot org
2008-10-01 14:39 ` rguenth at gcc dot gnu dot org
2008-10-01 14:41 ` rguenth at gcc dot gnu dot org
2008-10-01 15:03 ` [Bug middle-end/14187] [tree-ssa] C restricted pointers are not properly implemented rguenth at gcc dot gnu dot org
2009-06-29 12:24 ` rguenth at gcc dot gnu dot org
2009-06-29 12:24 ` rguenth at gcc dot gnu dot org
2010-01-11 19:23 ` manu at gcc dot gnu dot org
2010-01-12 9:55 ` rguenther at suse dot de
2010-01-30 22:29 ` steven at gcc dot gnu dot org
2010-01-30 22:46 ` rguenth 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).