public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug fortran/63205] New: [OOP] Wrongly rejects type = class (for identical declared type)
@ 2014-09-08 9:56 burnus at gcc dot gnu.org
2014-10-27 9:57 ` [Bug fortran/63205] " pault at gcc dot gnu.org
` (11 more replies)
0 siblings, 12 replies; 13+ messages in thread
From: burnus at gcc dot gnu.org @ 2014-09-08 9:56 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63205
Bug ID: 63205
Summary: [OOP] Wrongly rejects type = class (for identical
declared type)
Product: gcc
Version: 4.9.0
Status: UNCONFIRMED
Keywords: rejects-valid
Severity: normal
Priority: P3
Component: fortran
Assignee: unassigned at gcc dot gnu.org
Reporter: burnus at gcc dot gnu.org
CC: dominiq at lps dot ens.fr, janus at gcc dot gnu.org
Depends on: 57530
+++ This bug was initially created as a clone of Bug #57530 +++
PR 57530 comment #3:
> Created attachment 30262 [details]
> Draft patch - does not fully work, yet
>
> Currently fails for
> x = func1()
> in assign_11.f90
PR 57530 comment #8:
> The original test case (cf. PR 57530 comment 0) is now solved.
>
> However, only "type => class" is handled. Still missing is "type = class",
> where CLASS is a (coarray) scalar or (coarray) array variable, function or
> an array constructor. See also PR 57530 comment 3.
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug fortran/63205] [OOP] Wrongly rejects type = class (for identical declared type)
2014-09-08 9:56 [Bug fortran/63205] New: [OOP] Wrongly rejects type = class (for identical declared type) burnus at gcc dot gnu.org
@ 2014-10-27 9:57 ` pault at gcc dot gnu.org
2014-10-28 21:57 ` paul.richard.thomas at gmail dot com
` (10 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: pault at gcc dot gnu.org @ 2014-10-27 9:57 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63205
Paul Thomas <pault at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |pault at gcc dot gnu.org
Assignee|unassigned at gcc dot gnu.org |pault at gcc dot gnu.org
--- Comment #2 from Paul Thomas <pault at gcc dot gnu.org> ---
I am well on my way to a fix for all these issues of class assignment to type.
I'll try to post where I have got up to in the next 24 hours. Getting the
scalarizer to swallow the class array valued functions has been quite a trip
down memory lane :-)
Paul
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug fortran/63205] [OOP] Wrongly rejects type = class (for identical declared type)
2014-09-08 9:56 [Bug fortran/63205] New: [OOP] Wrongly rejects type = class (for identical declared type) burnus at gcc dot gnu.org
2014-10-27 9:57 ` [Bug fortran/63205] " pault at gcc dot gnu.org
@ 2014-10-28 21:57 ` paul.richard.thomas at gmail dot com
2014-11-16 22:56 ` dominiq at lps dot ens.fr
` (9 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: paul.richard.thomas at gmail dot com @ 2014-10-28 21:57 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63205
paul.richard.thomas at gmail dot com <paul.richard.thomas at gmail dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |paul.richard.thomas at gmail dot c
| |om
--- Comment #3 from paul.richard.thomas at gmail dot com <paul.richard.thomas at gmail dot com> ---
Created attachment 33834
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=33834&action=edit
Very deficient, first order patch
The attached is deficient in a number of ways:
(i) It will not work with a dynamic type result != declared type
(ii) The block in trans-array.c:2549-2560 needs to be moved to somewhere more
appropriate
(iii) Find out why info->delta[] is not set
(iv) dynamic types with allocatable components will have to have those
components deallocated (use _copy with default_init?)
Apart from that, it's a start :-)
Paul
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug fortran/63205] [OOP] Wrongly rejects type = class (for identical declared type)
2014-09-08 9:56 [Bug fortran/63205] New: [OOP] Wrongly rejects type = class (for identical declared type) burnus at gcc dot gnu.org
2014-10-27 9:57 ` [Bug fortran/63205] " pault at gcc dot gnu.org
2014-10-28 21:57 ` paul.richard.thomas at gmail dot com
@ 2014-11-16 22:56 ` dominiq at lps dot ens.fr
2014-12-09 21:09 ` paul.richard.thomas at gmail dot com
` (8 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: dominiq at lps dot ens.fr @ 2014-11-16 22:56 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63205
--- Comment #5 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
> The attached patch runs the testcase below without memory leaks but
> causes regressions in:
> class_allocate_7.f03
> class_to_type_2.f90
> typebound_operator_7.f03
> typebound_operator_8.f03
With the patch in comment 4 I don't see these regressions:
[Book15] build_w/gcc% make -k check-gfortran RUNTESTFLAGS="dg.exp=class*
--target_board=unix'{-m32,-m64}'"
...
=== gfortran Summary for unix/-m64 ===
# of expected passes 1091
# of unsupported tests 2
=== gfortran Summary ===
# of expected passes 2182
# of unsupported tests 4
[Book15] build_w/gcc% make -k check-gfortran RUNTESTFLAGS="dg.exp=typebound*
--target_board=unix'{-m32,-m64}'"
...
=== gfortran Summary for unix/-m64 ===
# of expected passes 846
# of expected failures 1
=== gfortran Summary ===
# of expected passes 1692
# of expected failures 2
There is no more ICE for the reduced test in comment 1 (1), but a segmentation
fault. However I doubt the code is valid.
Thanks for the patch. Further testing in progress.
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug fortran/63205] [OOP] Wrongly rejects type = class (for identical declared type)
2014-09-08 9:56 [Bug fortran/63205] New: [OOP] Wrongly rejects type = class (for identical declared type) burnus at gcc dot gnu.org
` (2 preceding siblings ...)
2014-11-16 22:56 ` dominiq at lps dot ens.fr
@ 2014-12-09 21:09 ` paul.richard.thomas at gmail dot com
2014-12-10 15:17 ` dominiq at lps dot ens.fr
` (7 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: paul.richard.thomas at gmail dot com @ 2014-12-09 21:09 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63205
paul.richard.thomas at gmail dot com <paul.richard.thomas at gmail dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Attachment #33995|0 |1
is obsolete| |
--- Comment #6 from paul.richard.thomas at gmail dot com <paul.richard.thomas at gmail dot com> ---
Created attachment 34234
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=34234&action=edit
A near final patch
This version runs the testcase below without memory leaks. It also bootstraps
and regtests OK.
It still needs some tidying up but it is nearly there after all the struggles
to eliminate memory leaks and with the scalarizer.
Cheers
Paul
program test
implicit none
type t
integer :: ii
end type t
type, extends(t) :: u
real :: rr
end type u
type, extends(t) :: v
real, allocatable :: rr(:)
end type v
type, extends(v) :: w
real, allocatable :: rrr(:)
end type w
type(t) :: x, y(3)
type(v) :: a, b(3)
x = func1() ! scalar to scalar - no alloc comps
if (x%ii .ne. 77) call abort
y = func2() ! array to array - no alloc comps
if (any (y%ii .ne. [1,2,3])) call abort
y = func1() ! scalar to array - no alloc comps
if (any (y%ii .ne. 77)) call abort
x = func3() ! scalar daughter type to scalar - no alloc comps
if (x%ii .ne. 99) call abort
y = func4() ! array daughter type to array - no alloc comps
if (any (y%ii .ne. [3,4,5])) call abort
a = func5() ! scalar to scalar - alloc comps in parent type
if (any (a%rr .ne. [10.0,20.0])) call abort
b = func6() ! array to array - alloc comps in parent type
if (any (b(3)%rr .ne. [3.0,4.0])) call abort
a = func7() ! scalar daughter type to scalar - alloc comps in parent type
if (any (a%rr .ne. [10.0,20.0])) call abort
b = func8() ! array daughter type to array - alloc comps in parent type
if (any (b(3)%rr .ne. [3.0,4.0])) call abort
! This is an extension of class_to_type_2.f90's test using a daughter type
! instead of the declared type.
if (subpr2_array (g ()) .ne. 99 ) call abort
contains
function func1() result(res)
class(t), allocatable :: res
allocate (res, source = t(77))
end function func1
function func2() result(res)
class(t), allocatable :: res(:)
allocate (res(3), source = [u(1,1.0),u(2,2.0),u(3,3.0)])
end function func2
function func3() result(res)
class(t), allocatable :: res
allocate (res, source = v(99,[99.0,99.0,99.0]))
end function func3
function func4() result(res)
class(t), allocatable :: res(:)
allocate (res(3), source = [v(3,[1.0,2.0]),v(4,[2.0,3.0]),v(5,[3.0,4.0])])
end function func4
function func5() result(res)
class(v), allocatable :: res
allocate (res, source = v(3,[10.0,20.0]))
end function func5
function func6() result(res)
class(v), allocatable :: res(:)
allocate (res(3), source = [v(3,[1.0,2.0]),v(4,[2.0,3.0]),v(5,[3.0,4.0])])
end function func6
function func7() result(res)
class(v), allocatable :: res
allocate (res, source = w(3,[10.0,20.0],[100,200]))
end function func7
function func8() result(res)
class(v), allocatable :: res(:)
allocate (res(3), source =
[w(3,[1.0,2.0],[0.0]),w(4,[2.0,3.0],[0.0]),w(5,[3.0,4.0],[0.0])])
end function func8
integer function subpr2_array (x)
type(t) :: x(:)
if (any(x(:)%ii /= 55)) call abort
subpr2_array = 99
end function
function g () result(res)
integer i
class(t), allocatable :: res(:)
allocate (res(3), source = [(v (1, [1.0,2.0]), i = 1, 3)])
res(:)%ii = 55
end function g
end program test
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug fortran/63205] [OOP] Wrongly rejects type = class (for identical declared type)
2014-09-08 9:56 [Bug fortran/63205] New: [OOP] Wrongly rejects type = class (for identical declared type) burnus at gcc dot gnu.org
` (3 preceding siblings ...)
2014-12-09 21:09 ` paul.richard.thomas at gmail dot com
@ 2014-12-10 15:17 ` dominiq at lps dot ens.fr
2014-12-22 19:34 ` dominiq at lps dot ens.fr
` (6 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: dominiq at lps dot ens.fr @ 2014-12-10 15:17 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63205
--- Comment #7 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
> Created attachment 34234 [details]
> A near final patch
First, the patch does not apply cleanly on trunk:
File to patch: gcc/fortran/trans-expr.c
patching file gcc/fortran/trans-expr.c
Hunk #1 succeeded at 3783 (offset 5 lines).
Hunk #2 succeeded at 3842 (offset 5 lines).
Hunk #3 succeeded at 3891 (offset 5 lines).
Hunk #4 succeeded at 3920 (offset 5 lines).
Hunk #5 succeeded at 3978 (offset 5 lines).
Hunk #6 succeeded at 4120 (offset 5 lines).
Hunk #7 succeeded at 4714 (offset 5 lines).
Hunk #8 FAILED at 5456.
Hunk #9 succeeded at 7391 (offset 5 lines).
Hunk #10 succeeded at 8267 (offset 5 lines).
Hunk #11 succeeded at 8341 (offset 5 lines).
Hunk #12 succeeded at 8387 (offset 5 lines).
1 out of 12 hunks FAILED -- saving rejects to file gcc/fortran/trans-expr.c.rej
I suspect the problem is spaces/tabs related in the line
gfc_add_block_to_block (&se->post, &post);
After applying the hunk manually, I bootstrapped and regtested with the patch
for pr60255 without further trouble. The results are posted at
https://gcc.gnu.org/ml/gcc-testresults/2014-12/msg01222.html
and the failures for gfortran.dg/unlimited_polymorphic_1.f03 are not due this
patch, but the one for pr60255.
For the record, I have a patch in my working tree such that
gfortran.dg/widechar_intrinsics_10.f90 is miscomputed with -m32 (I did not yet
investigate the problem: too many patches in my working tree).
Thanks for working on this issue.
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug fortran/63205] [OOP] Wrongly rejects type = class (for identical declared type)
2014-09-08 9:56 [Bug fortran/63205] New: [OOP] Wrongly rejects type = class (for identical declared type) burnus at gcc dot gnu.org
` (4 preceding siblings ...)
2014-12-10 15:17 ` dominiq at lps dot ens.fr
@ 2014-12-22 19:34 ` dominiq at lps dot ens.fr
2014-12-25 18:35 ` pault at gcc dot gnu.org
` (5 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: dominiq at lps dot ens.fr @ 2014-12-22 19:34 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63205
--- Comment #8 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
> For the record, I have a patch in my working tree such that
> gfortran.dg/widechar_intrinsics_10.f90 is miscomputed with -m32
> (I did not yet investigate the problem: too many patches in my working tree).
These failures have now disappeared.
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug fortran/63205] [OOP] Wrongly rejects type = class (for identical declared type)
2014-09-08 9:56 [Bug fortran/63205] New: [OOP] Wrongly rejects type = class (for identical declared type) burnus at gcc dot gnu.org
` (5 preceding siblings ...)
2014-12-22 19:34 ` dominiq at lps dot ens.fr
@ 2014-12-25 18:35 ` pault at gcc dot gnu.org
2015-02-06 18:15 ` pault at gcc dot gnu.org
` (4 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: pault at gcc dot gnu.org @ 2014-12-25 18:35 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63205
--- Comment #9 from Paul Thomas <pault at gcc dot gnu.org> ---
Created attachment 34331
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=34331&action=edit
A yet more nearly final patch
This patch still has some memory leakage issues... I think.
There are also some peculiarities that need sorting out; most notably the chunk
added to build_class_array_ref does not work more generally as I thought that
it should. I would prefer to understand why and to implement it because it is
so much cleaner than messing with the gfc_expr's.
Anyway, it is getting there and I expect to complete it when I get home in the
New Year. Back to presents and turkey!
Happy holidays
Paul
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug fortran/63205] [OOP] Wrongly rejects type = class (for identical declared type)
2014-09-08 9:56 [Bug fortran/63205] New: [OOP] Wrongly rejects type = class (for identical declared type) burnus at gcc dot gnu.org
` (6 preceding siblings ...)
2014-12-25 18:35 ` pault at gcc dot gnu.org
@ 2015-02-06 18:15 ` pault at gcc dot gnu.org
2015-02-06 18:17 ` pault at gcc dot gnu.org
` (3 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: pault at gcc dot gnu.org @ 2015-02-06 18:15 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63205
--- Comment #10 from Paul Thomas <pault at gcc dot gnu.org> ---
Author: pault
Date: Fri Feb 6 18:15:01 2015
New Revision: 220482
URL: https://gcc.gnu.org/viewcvs?rev=220482&root=gcc&view=rev
Log:
2015-02-06 Paul Thomas <pault@gcc.gnu.org>
PR fortran/63205
* gfortran.h: Add 'must finalize' field to gfc_expr and
prototypes for gfc_is_alloc_class_scalar_function and for
gfc_is_alloc_class_array_function.
* expr.c (gfc_is_alloc_class_scalar_function,
gfc_is_alloc_class_array_function): New functions.
* trans-array.c (gfc_add_loop_ss_code): Do not move the
expression for allocatable class scalar functions outside the
loop.
(conv_array_index_offset): Cope with deltas being NULL_TREE.
(build_class_array_ref): Do not return with allocatable class
array functions. Add code to pick out the returned class array.
Dereference if necessary and return if not a class object.
(gfc_conv_scalarized_array_ref): Cope with offsets being NULL.
(gfc_walk_function_expr): Return an array ss for the result of
an allocatable class array function.
* trans-expr.c (gfc_conv_subref_array_arg): Remove the assert
that the argument should be a variable. If an allocatable class
array function, set the offset to zero and skip the write-out
loop in this case.
(gfc_conv_procedure_call): Add allocatable class array function
to the assert. Call gfc_conv_subref_array_arg for allocatable
class array function arguments with derived type formal arg..
Add the code for handling allocatable class functions, including
finalization calls to prevent memory leaks.
(arrayfunc_assign_needs_temporary): Return if an allocatable
class array function.
(gfc_trans_assignment_1): Set must_finalize to rhs expression
for allocatable class functions. Set scalar_to_array as needed
for scalar class allocatable functions assigned to an array.
Nullify the allocatable components corresponding the the lhs
derived type so that the finalization does not free them.
2015-02-06 Paul Thomas <pault@gcc.gnu.org>
PR fortran/63205
* gfortran.dg/class_to_type_4.f90: New test
Added:
trunk/gcc/testsuite/gfortran.dg/class_to_type_4.f90
Modified:
trunk/gcc/fortran/ChangeLog
trunk/gcc/fortran/expr.c
trunk/gcc/fortran/gfortran.h
trunk/gcc/fortran/trans-array.c
trunk/gcc/fortran/trans-expr.c
trunk/gcc/testsuite/ChangeLog
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug fortran/63205] [OOP] Wrongly rejects type = class (for identical declared type)
2014-09-08 9:56 [Bug fortran/63205] New: [OOP] Wrongly rejects type = class (for identical declared type) burnus at gcc dot gnu.org
` (7 preceding siblings ...)
2015-02-06 18:15 ` pault at gcc dot gnu.org
@ 2015-02-06 18:17 ` pault at gcc dot gnu.org
2015-04-03 12:31 ` dominiq at lps dot ens.fr
` (2 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: pault at gcc dot gnu.org @ 2015-02-06 18:17 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63205
Paul Thomas <pault at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution|--- |FIXED
--- Comment #11 from Paul Thomas <pault at gcc dot gnu.org> ---
Fixed on trunk, aka 5.0.0
Thanks for the report
Paul
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug fortran/63205] [OOP] Wrongly rejects type = class (for identical declared type)
2014-09-08 9:56 [Bug fortran/63205] New: [OOP] Wrongly rejects type = class (for identical declared type) burnus at gcc dot gnu.org
` (8 preceding siblings ...)
2015-02-06 18:17 ` pault at gcc dot gnu.org
@ 2015-04-03 12:31 ` dominiq at lps dot ens.fr
2015-09-29 17:20 ` dominiq at lps dot ens.fr
2015-10-10 9:05 ` dominiq at lps dot ens.fr
11 siblings, 0 replies; 13+ messages in thread
From: dominiq at lps dot ens.fr @ 2015-04-03 12:31 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63205
--- Comment #14 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
> Reopening, something is wrong with the testcase:(In reply to Paul Thomas
> from comment #11)
> > Fixed on trunk, aka 5.0.0
>
> The added testcase fails with valgrind due to memory errors, please see PR64986.
Since the reported issues have been fixed and the valgrind errors are tracked
by PR64986, I don't see the point to reopen this PR.
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug fortran/63205] [OOP] Wrongly rejects type = class (for identical declared type)
2014-09-08 9:56 [Bug fortran/63205] New: [OOP] Wrongly rejects type = class (for identical declared type) burnus at gcc dot gnu.org
` (9 preceding siblings ...)
2015-04-03 12:31 ` dominiq at lps dot ens.fr
@ 2015-09-29 17:20 ` dominiq at lps dot ens.fr
2015-10-10 9:05 ` dominiq at lps dot ens.fr
11 siblings, 0 replies; 13+ messages in thread
From: dominiq at lps dot ens.fr @ 2015-09-29 17:20 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63205
Dominique d'Humieres <dominiq at lps dot ens.fr> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|REOPENED |RESOLVED
Resolution|--- |FIXED
--- Comment #15 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
No feedback for almost six months. Closing as FIXED. Please open new PR(s) for
remaining issue(s).
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug fortran/63205] [OOP] Wrongly rejects type = class (for identical declared type)
2014-09-08 9:56 [Bug fortran/63205] New: [OOP] Wrongly rejects type = class (for identical declared type) burnus at gcc dot gnu.org
` (10 preceding siblings ...)
2015-09-29 17:20 ` dominiq at lps dot ens.fr
@ 2015-10-10 9:05 ` dominiq at lps dot ens.fr
11 siblings, 0 replies; 13+ messages in thread
From: dominiq at lps dot ens.fr @ 2015-10-10 9:05 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63205
Bug 63205 depends on bug 57530, which changed state.
Bug 57530 Summary: [OOP] Wrongly rejects type_pointer => class_target (which have identical declared type)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=57530
What |Removed |Added
----------------------------------------------------------------------------
Status|WAITING |RESOLVED
Resolution|--- |FIXED
^ permalink raw reply [flat|nested] 13+ messages in thread
end of thread, other threads:[~2015-10-10 9:05 UTC | newest]
Thread overview: 13+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2014-09-08 9:56 [Bug fortran/63205] New: [OOP] Wrongly rejects type = class (for identical declared type) burnus at gcc dot gnu.org
2014-10-27 9:57 ` [Bug fortran/63205] " pault at gcc dot gnu.org
2014-10-28 21:57 ` paul.richard.thomas at gmail dot com
2014-11-16 22:56 ` dominiq at lps dot ens.fr
2014-12-09 21:09 ` paul.richard.thomas at gmail dot com
2014-12-10 15:17 ` dominiq at lps dot ens.fr
2014-12-22 19:34 ` dominiq at lps dot ens.fr
2014-12-25 18:35 ` pault at gcc dot gnu.org
2015-02-06 18:15 ` pault at gcc dot gnu.org
2015-02-06 18:17 ` pault at gcc dot gnu.org
2015-04-03 12:31 ` dominiq at lps dot ens.fr
2015-09-29 17:20 ` dominiq at lps dot ens.fr
2015-10-10 9:05 ` dominiq at lps dot ens.fr
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).