public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug lto/41932] New: LTO ICE when compiling ocaml trunk (incompatible type)
@ 2009-11-03 20:15 bstarynk at gcc dot gnu dot org
2009-11-04 10:32 ` [Bug lto/41932] " rguenth at gcc dot gnu dot org
` (12 more replies)
0 siblings, 13 replies; 14+ messages in thread
From: bstarynk at gcc dot gnu dot org @ 2009-11-03 20:15 UTC (permalink / raw)
To: gcc-bugs
When trying to compile ocaml-trunk (svn revision 9408 of ocaml trunk) with
gcc-trunk rev 153839, gcc LTO make an ICE.
Step by step instructions to reproduce the bug (on a Linux AMD64 system, eg
Debian/Sid or Ubuntu/Karmic etc...)
0. You should have gcc-trunk already built; ensure (perhaps with some PATH
trick that your gcc-trunk is indeed invoked as gcc-trunk, or replace gcc-trunk
by what is appropriate for you
% gcc-trunk -v
Using built-in specs.
COLLECT_GCC=gcc-trunk
COLLECT_LTO_WRAPPER=/usr/local/libexec/gcc-trunk/gcc/x86_64-unknown-linux-gnu/4.5.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: /usr/src/Lang/gcc-trunk-bstarynk/configure
--program-suffix=-trunk --libdir=/usr/local/lib/gcc-trunk
--libexecdir=/usr/local/libexec/gcc-trunk
--with-gxx-include-dir=/usr/local/lib/gcc-trunk/include/c++/ --disable-multilib
--enable-languages=c,c++ --enable-lto --enable-plugins --enable-maintainer-mode
: (reconfigured) /usr/src/Lang/gcc-trunk-bstarynk/configure
--program-suffix=-trunk --libdir=/usr/local/lib/gcc-trunk
--libexecdir=/usr/local/libexec/gcc-trunk
--with-gxx-include-dir=/usr/local/lib/gcc-trunk/include/c++/ --disable-multilib
--enable-languages=c,c++ --enable-lto --enable-plugins --enable-maintainer-mode
: (reconfigured) /usr/src/Lang/gcc-trunk-bstarynk/configure
--program-suffix=-trunk --libdir=/usr/local/lib/gcc-trunk
--libexecdir=/usr/local/libexec/gcc-trunk
--with-gxx-include-dir=/usr/local/lib/gcc-trunk/include/c++/ --disable-multilib
--enable-lto --enable-plugins --enable-maintainer-mode
--enable-languages=c,c++,lto --no-create --no-recursion : (reconfigured)
/usr/src/Lang/gcc-trunk-bstarynk/configure --program-suffix=-trunk
--libdir=/usr/local/lib/gcc-trunk --libexecdir=/usr/local/libexec/gcc-trunk
--with-gxx-include-dir=/usr/local/lib/gcc-trunk/include/c++/ --disable-multilib
--enable-lto --enable-plugins --enable-maintainer-mode
--enable-languages=c,c++,lto --no-create --no-recursion : (reconfigured)
/usr/src/Lang/gcc-trunk-bstarynk/configure --program-suffix=-trunk
--libdir=/usr/local/lib/gcc-trunk --libexecdir=/usr/local/libexec/gcc-trunk
--with-gxx-include-dir=/usr/local/lib/gcc-trunk/include/c++/ --disable-multilib
--enable-lto --enable-plugins --enable-maintainer-mode
--enable-languages=c,c++,lto --no-create --no-recursion
Thread model: posix
gcc version 4.5.0 20091103 (experimental) (GCC)
1. Retrieve ocaml-trunk rev 9408 with
svn co -r 9408 http://caml.inria.fr/svn/ocaml/trunk ocaml-trunk-r9408
2. Go into that directory
cd ocaml-trunk-r9408
3. Configure Ocaml to be compiled with gcc-trunk -flto -O2
./configure -cc 'gcc-trunk -flto -O2'
Note that ocaml does not use autoconf. Its configure script is handcrafted.
4. Build the bytecode variant of ocaml. This should crash gcc-trunk.
make -w world
gcc-trunk -flto -O2 -c -DCAML_NAME_SPACE -O -fno-defer-pop -Wall
-D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC finalise.c
mv finalise.o finalise.pic.o
gcc-trunk -flto -O2 -c -DCAML_NAME_SPACE -O -fno-defer-pop -Wall
-D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC custom.c
mv custom.o custom.pic.o
gcc-trunk -flto -O2 -c -DCAML_NAME_SPACE -O -fno-defer-pop -Wall
-D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC dynlink.c
mv dynlink.o dynlink.pic.o
gcc-trunk -flto -O2 -c -DCAML_NAME_SPACE -O -fno-defer-pop -Wall
-D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC unix.c
mv unix.o unix.pic.o
gcc-trunk -flto -O2 -c -DCAML_NAME_SPACE -O -fno-defer-pop -Wall
-D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC main.c
mv main.o main.pic.o
gcc-trunk -flto -O2 -shared -o libcamlrun_shared.so interp.pic.o misc.pic.o
stacks.pic.o fix_code.pic.o startup.pic.o freelist.pic.o major_gc.pic.o
minor_gc.pic.o memory.pic.o alloc.pic.o roots.pic.o globroots.pic.o fail.pic.o
signals.pic.o signals_byt.pic.o printexc.pic.o backtrace.pic.o compare.pic.o
ints.pic.o floats.pic.o str.pic.o array.pic.o io.pic.o extern.pic.o
intern.pic.o hash.pic.o sys.pic.o meta.pic.o parsing.pic.o gc_ctrl.pic.o
terminfo.pic.o md5.pic.o obj.pic.o lexing.pic.o callback.pic.o debugger.pic.o
weak.pic.o compact.pic.o finalise.pic.o custom.pic.o dynlink.pic.o unix.pic.o
main.pic.o -lm -ldl -lcurses -lpthread
gc_ctrl.c:44:16: warning: type of 'caml_major_heap_increment' does not match
original declaration
major_gc.c:33:8: note: previously declared here
lto1: internal compiler error: Segmentation fault
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.
lto-wrapper: /usr/local/bin/gcc-trunk returned 1 exit status
collect2: lto-wrapper returned 1 exit status
make[2]: *** [libcamlrun_shared.so] Error 1
make[2]: Leaving directory `/usr/src/Lang/ocaml-trunk-r9408/byterun'
make[1]: *** [coldstart] Error 2
make[1]: Leaving directory `/usr/src/Lang/ocaml-trunk-r9408'
make: *** [world] Error 2
make: Leaving directory `/usr/src/Lang/ocaml-trunk-r9408'
The diagnostic is right:
in gc_ctrl.c:
extern asize_t caml_major_heap_increment; /* bytes; see major_gc.c */
in major_gc.c:
intnat caml_major_heap_increment;
But the GCC crash is wrong.
I was not able to reproduce the crash with two small files (a.c & b.c)
containing almost only the above suspicious lines.
I am sorry for such a big bug report.
--
Summary: LTO ICE when compiling ocaml trunk (incompatible type)
Product: gcc
Version: 4.5.0
Status: UNCONFIRMED
Severity: major
Priority: P3
Component: lto
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: bstarynk at gcc dot gnu dot org
GCC host triplet: x86_64-unknown-linux-gnu
GCC target triplet: x86_64-unknown-linux-gnu
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41932
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug lto/41932] LTO ICE when compiling ocaml trunk (incompatible type)
2009-11-03 20:15 [Bug lto/41932] New: LTO ICE when compiling ocaml trunk (incompatible type) bstarynk at gcc dot gnu dot org
@ 2009-11-04 10:32 ` rguenth at gcc dot gnu dot org
2009-11-04 12:17 ` simon_baldwin at yahoo dot com
` (11 subsequent siblings)
12 siblings, 0 replies; 14+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2009-11-04 10:32 UTC (permalink / raw)
To: gcc-bugs
------- Comment #1 from rguenth at gcc dot gnu dot org 2009-11-04 10:32 -------
Reduce this line:
gcc-trunk -flto -O2 -shared -o libcamlrun_shared.so interp.pic.o misc.pic.o
stacks.pic.o fix_code.pic.o startup.pic.o freelist.pic.o major_gc.pic.o
minor_gc.pic.o memory.pic.o alloc.pic.o roots.pic.o globroots.pic.o fail.pic.o
signals.pic.o signals_byt.pic.o printexc.pic.o backtrace.pic.o compare.pic.o
ints.pic.o floats.pic.o str.pic.o array.pic.o io.pic.o extern.pic.o
intern.pic.o hash.pic.o sys.pic.o meta.pic.o parsing.pic.o gc_ctrl.pic.o
terminfo.pic.o md5.pic.o obj.pic.o lexing.pic.o callback.pic.o debugger.pic.o
weak.pic.o compact.pic.o finalise.pic.o custom.pic.o dynlink.pic.o unix.pic.o
main.pic.o -lm -ldl -lcurses -lpthread
by removing as many .o files from it as possible (and of course the crash
still persists). Then attach preprocessed source for the files that remain
needed.
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |WAITING
Summary|LTO ICE when compiling ocaml|LTO ICE when compiling ocaml
|trunk (incompatible type) |trunk (incompatible type)
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41932
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug lto/41932] LTO ICE when compiling ocaml trunk (incompatible type)
2009-11-03 20:15 [Bug lto/41932] New: LTO ICE when compiling ocaml trunk (incompatible type) bstarynk at gcc dot gnu dot org
2009-11-04 10:32 ` [Bug lto/41932] " rguenth at gcc dot gnu dot org
@ 2009-11-04 12:17 ` simon_baldwin at yahoo dot com
2009-11-04 12:58 ` simon_baldwin at yahoo dot com
` (10 subsequent siblings)
12 siblings, 0 replies; 14+ messages in thread
From: simon_baldwin at yahoo dot com @ 2009-11-04 12:17 UTC (permalink / raw)
To: gcc-bugs
------- Comment #2 from simon_baldwin at yahoo dot com 2009-11-04 12:17 -------
I have a minimal failing case for this, I think. I'm using trunk 153803, for
what it's worth.
$ cat demo.c
typedef long intnat;
typedef intnat value;
void caml_darken (value v, value *p) { }
$ .../gcc -flto -O2 -c -O -fPIC demo.c
$ .../gcc -flto -O2 -shared -o /dev/null demo.o
lto1: internal compiler error: Segmentation fault
Though it looks to be related to the ICE, the warning
gc_ctrl.c:44:16: warning: type of 'caml_major_heap_increment' does not match
original declaration
major_gc.c:33:8: note: previously declared here
seems genuine and unrelated to me. gc_ctrl.c declares this as extern asize_t
(size_t, long unsigned), major_gc.c defines it as intnat (long).
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41932
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug lto/41932] LTO ICE when compiling ocaml trunk (incompatible type)
2009-11-03 20:15 [Bug lto/41932] New: LTO ICE when compiling ocaml trunk (incompatible type) bstarynk at gcc dot gnu dot org
2009-11-04 10:32 ` [Bug lto/41932] " rguenth at gcc dot gnu dot org
2009-11-04 12:17 ` simon_baldwin at yahoo dot com
@ 2009-11-04 12:58 ` simon_baldwin at yahoo dot com
2009-11-04 14:01 ` rguenth at gcc dot gnu dot org
` (9 subsequent siblings)
12 siblings, 0 replies; 14+ messages in thread
From: simon_baldwin at yahoo dot com @ 2009-11-04 12:58 UTC (permalink / raw)
To: gcc-bugs
------- Comment #3 from simon_baldwin at yahoo dot com 2009-11-04 12:57 -------
A bit more info from a gdb trace:
Program received signal SIGSEGV, Segmentation fault.
0x0000000000b798ce in ipa_populate_param_decls (node=0x2aaaab453300,
info=0x15eb768) at ../../gcc/gcc/ipa-prop.c:141
141 info->params[param_num].decl = parm;
(gdb) bt
#0 0x0000000000b798ce in ipa_populate_param_decls (node=0x2aaaab453300,
info=0x15eb768) at ../../gcc/gcc/ipa-prop.c:141
#1 0x0000000000b8192a in ipa_update_after_lto_read ()
at ../../gcc/gcc/ipa-prop.c:2165
#2 0x0000000000b7224d in ipcp_iterate_stage () at ../../gcc/gcc/ipa-cp.c:736
#3 0x0000000000b73beb in ipcp_driver () at ../../gcc/gcc/ipa-cp.c:1258
#4 0x00000000007ceae5 in execute_one_pass (pass=0x1515960)
at ../../gcc/gcc/passes.c:1518
#5 0x00000000007cf191 in execute_ipa_pass_list (pass=0x1515960)
at ../../gcc/gcc/passes.c:1730
#6 0x0000000000b6e03a in ipa_passes () at ../../gcc/gcc/cgraphunit.c:1387
#7 0x0000000000b6e111 in cgraph_optimize () at ../../gcc/gcc/cgraphunit.c:1421
#8 0x00000000004b3278 in lto_main (debug_p=0) at ../../gcc/gcc/lto/lto.c:2008
#9 0x00000000008c5751 in compile_file () at ../../gcc/gcc/toplev.c:1049
#10 0x00000000008c7a4c in do_compile () at ../../gcc/gcc/toplev.c:2408
#11 0x00000000008c7afd in toplev_main (argc=12, argv=0x7fffffffd458)
at ../../gcc/gcc/toplev.c:2450
#12 0x00000000004b5c93 in main (argc=12, argv=0x7fffffffd458)
at ../../gcc/gcc/main.c:35
(gdb) p param_num
$1 = 0
(gdb) p info->params
$2 = (struct ipa_param_descriptor *) 0x0
(gdb) p info
$3 = (struct ipa_node_params *) 0x15eb768
(gdb) p *info
$4 = {param_count = 0, params = 0x0, param_calls = 0x0, ipcp_orig_node = 0x0,
count_scale = 0, called_with_var_arguments = 0,
modification_analysis_done = 0, uses_analysis_done = 0, node_enqueued = 0}
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41932
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug lto/41932] LTO ICE when compiling ocaml trunk (incompatible type)
2009-11-03 20:15 [Bug lto/41932] New: LTO ICE when compiling ocaml trunk (incompatible type) bstarynk at gcc dot gnu dot org
` (2 preceding siblings ...)
2009-11-04 12:58 ` simon_baldwin at yahoo dot com
@ 2009-11-04 14:01 ` rguenth at gcc dot gnu dot org
2009-11-04 14:02 ` rguenth at gcc dot gnu dot org
` (8 subsequent siblings)
12 siblings, 0 replies; 14+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2009-11-04 14:01 UTC (permalink / raw)
To: gcc-bugs
------- Comment #4 from rguenth at gcc dot gnu dot org 2009-11-04 14:00 -------
This is -O vs. -O2 ICE because different IPA passes are selected then. I think
we have a dup for this - Martin, is it somehow easy to avoid the ICE?
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |mjambor at suse dot cz
Status|WAITING |NEW
Ever Confirmed|0 |1
Last reconfirmed|0000-00-00 00:00:00 |2009-11-04 14:00:43
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41932
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug lto/41932] LTO ICE when compiling ocaml trunk (incompatible type)
2009-11-03 20:15 [Bug lto/41932] New: LTO ICE when compiling ocaml trunk (incompatible type) bstarynk at gcc dot gnu dot org
` (3 preceding siblings ...)
2009-11-04 14:01 ` rguenth at gcc dot gnu dot org
@ 2009-11-04 14:02 ` rguenth at gcc dot gnu dot org
2009-11-04 16:10 ` jamborm at gcc dot gnu dot org
` (7 subsequent siblings)
12 siblings, 0 replies; 14+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2009-11-04 14:02 UTC (permalink / raw)
To: gcc-bugs
------- Comment #5 from rguenth at gcc dot gnu dot org 2009-11-04 14:01 -------
Note that I wonder why we write/read summaries (do we?) with -flto at all.
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Severity|major |normal
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41932
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug lto/41932] LTO ICE when compiling ocaml trunk (incompatible type)
2009-11-03 20:15 [Bug lto/41932] New: LTO ICE when compiling ocaml trunk (incompatible type) bstarynk at gcc dot gnu dot org
` (4 preceding siblings ...)
2009-11-04 14:02 ` rguenth at gcc dot gnu dot org
@ 2009-11-04 16:10 ` jamborm at gcc dot gnu dot org
2009-11-04 18:37 ` bstarynk at gcc dot gnu dot org
` (6 subsequent siblings)
12 siblings, 0 replies; 14+ messages in thread
From: jamborm at gcc dot gnu dot org @ 2009-11-04 16:10 UTC (permalink / raw)
To: gcc-bugs
------- Comment #6 from jamborm at gcc dot gnu dot org 2009-11-04 16:10 -------
(In reply to comment #4)
> This is -O vs. -O2 ICE because different IPA passes are selected
> then. I think we have a dup for this - Martin, is it somehow easy
> to avoid the ICE?
>
Well, it seems that calling ipa_initialize_node_params() rather than
ipa_populate_param_decls() in ipa_update_after_lto_read() should avoid
it.
Moreover, if things can get this much out of sync, I'd also call
ipa_check_create_node_params() and ipa_check_create_edge_args() at the
beginning of ipa_update_after_lto_read() too, just to be sure.
I have not tried any of the above but can prepare a patch along these
lines... unless someone else is faster :-)
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41932
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug lto/41932] LTO ICE when compiling ocaml trunk (incompatible type)
2009-11-03 20:15 [Bug lto/41932] New: LTO ICE when compiling ocaml trunk (incompatible type) bstarynk at gcc dot gnu dot org
` (5 preceding siblings ...)
2009-11-04 16:10 ` jamborm at gcc dot gnu dot org
@ 2009-11-04 18:37 ` bstarynk at gcc dot gnu dot org
2009-11-04 18:46 ` bstarynk at gcc dot gnu dot org
` (5 subsequent siblings)
12 siblings, 0 replies; 14+ messages in thread
From: bstarynk at gcc dot gnu dot org @ 2009-11-04 18:37 UTC (permalink / raw)
To: gcc-bugs
------- Comment #7 from bstarynk at gcc dot gnu dot org 2009-11-04 18:37 -------
With gcc trunk rev 153897 Simon Baldwin's demo.c file
typedef long intnat;
typedef intnat value;
void caml_darken (value v, value *p) { }
is passing ok.
But ocaml-trunk is still crashing the gcc-trunk. And it is not related to the
incompatible type warning. This has been fixed in ocaml trunk rev 9410, and
gcc-trunk still crashes when compiling it.
It is indeed related to passing both -flto -O2 & -O to the compiler.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41932
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug lto/41932] LTO ICE when compiling ocaml trunk (incompatible type)
2009-11-03 20:15 [Bug lto/41932] New: LTO ICE when compiling ocaml trunk (incompatible type) bstarynk at gcc dot gnu dot org
` (6 preceding siblings ...)
2009-11-04 18:37 ` bstarynk at gcc dot gnu dot org
@ 2009-11-04 18:46 ` bstarynk at gcc dot gnu dot org
2009-11-10 16:20 ` jamborm at gcc dot gnu dot org
` (4 subsequent siblings)
12 siblings, 0 replies; 14+ messages in thread
From: bstarynk at gcc dot gnu dot org @ 2009-11-04 18:46 UTC (permalink / raw)
To: gcc-bugs
------- Comment #8 from bstarynk at gcc dot gnu dot org 2009-11-04 18:45 -------
(In reply to comment #7)
> With gcc trunk rev 153897 Simon Baldwin's demo.c file
> typedef long intnat;
> typedef intnat value;
> void caml_darken (value v, value *p) { }
> is passing ok.
>
No I was wrong. It crashes also. It is important to run
gcc-trunk -flto -O2 -c -O -fPIC PR41932-demo.c
and then
gcc-trunk -flto -O2 -shared -o /dev/null PR41932-demo.o
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41932
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug lto/41932] LTO ICE when compiling ocaml trunk (incompatible type)
2009-11-03 20:15 [Bug lto/41932] New: LTO ICE when compiling ocaml trunk (incompatible type) bstarynk at gcc dot gnu dot org
` (7 preceding siblings ...)
2009-11-04 18:46 ` bstarynk at gcc dot gnu dot org
@ 2009-11-10 16:20 ` jamborm at gcc dot gnu dot org
2009-11-11 15:08 ` jamborm at gcc dot gnu dot org
` (3 subsequent siblings)
12 siblings, 0 replies; 14+ messages in thread
From: jamborm at gcc dot gnu dot org @ 2009-11-10 16:20 UTC (permalink / raw)
To: gcc-bugs
------- Comment #9 from jamborm at gcc dot gnu dot org 2009-11-10 16:20 -------
Proposed patch: http://gcc.gnu.org/ml/gcc-patches/2009-11/msg00501.html
--
jamborm at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC|mjambor at suse dot cz |jamborm at gcc dot gnu dot
| |org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41932
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug lto/41932] LTO ICE when compiling ocaml trunk (incompatible type)
2009-11-03 20:15 [Bug lto/41932] New: LTO ICE when compiling ocaml trunk (incompatible type) bstarynk at gcc dot gnu dot org
` (8 preceding siblings ...)
2009-11-10 16:20 ` jamborm at gcc dot gnu dot org
@ 2009-11-11 15:08 ` jamborm at gcc dot gnu dot org
2009-11-11 15:10 ` jamborm at gcc dot gnu dot org
` (2 subsequent siblings)
12 siblings, 0 replies; 14+ messages in thread
From: jamborm at gcc dot gnu dot org @ 2009-11-11 15:08 UTC (permalink / raw)
To: gcc-bugs
------- Comment #10 from jamborm at gcc dot gnu dot org 2009-11-11 15:07 -------
Subject: Bug 41932
Author: jamborm
Date: Wed Nov 11 15:07:18 2009
New Revision: 154095
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=154095
Log:
2009-11-11 Martin Jambor <mjambor@suse.cz>
PR lto/41932
* ipa-prop.c (ipa_update_after_lto_read): Call
ipa_check_create_node_params and ipa_check_create_edge_args. Also
call ipa_initialize_node_params instead of ipa_populate_param_decls.
Modified:
trunk/gcc/ChangeLog
trunk/gcc/ipa-prop.c
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41932
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug lto/41932] LTO ICE when compiling ocaml trunk (incompatible type)
2009-11-03 20:15 [Bug lto/41932] New: LTO ICE when compiling ocaml trunk (incompatible type) bstarynk at gcc dot gnu dot org
` (9 preceding siblings ...)
2009-11-11 15:08 ` jamborm at gcc dot gnu dot org
@ 2009-11-11 15:10 ` jamborm at gcc dot gnu dot org
2009-11-12 23:52 ` hubicka at gcc dot gnu dot org
2009-12-10 16:03 ` rguenth at gcc dot gnu dot org
12 siblings, 0 replies; 14+ messages in thread
From: jamborm at gcc dot gnu dot org @ 2009-11-11 15:10 UTC (permalink / raw)
To: gcc-bugs
------- Comment #11 from jamborm at gcc dot gnu dot org 2009-11-11 15:10 -------
Basile, can you please confirm that this is now fixed? Thanks.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41932
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug lto/41932] LTO ICE when compiling ocaml trunk (incompatible type)
2009-11-03 20:15 [Bug lto/41932] New: LTO ICE when compiling ocaml trunk (incompatible type) bstarynk at gcc dot gnu dot org
` (10 preceding siblings ...)
2009-11-11 15:10 ` jamborm at gcc dot gnu dot org
@ 2009-11-12 23:52 ` hubicka at gcc dot gnu dot org
2009-12-10 16:03 ` rguenth at gcc dot gnu dot org
12 siblings, 0 replies; 14+ messages in thread
From: hubicka at gcc dot gnu dot org @ 2009-11-12 23:52 UTC (permalink / raw)
To: gcc-bugs
------- Comment #12 from hubicka at gcc dot gnu dot org 2009-11-12 23:52 -------
When we use summaries at LTO as well as on WHOPR, we get better testing
coverage for the summary streaming code, somewhat faster linktime (avoiding
need to produce them) and we should make it possible for LTO to drag in
function bodies on demand avoiding the problems with peak memory usage.
At LTO it should be possible for IPA pass to compute missing summaries when
needed, but we will need bit of infrastructure for it.
Honza
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41932
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug lto/41932] LTO ICE when compiling ocaml trunk (incompatible type)
2009-11-03 20:15 [Bug lto/41932] New: LTO ICE when compiling ocaml trunk (incompatible type) bstarynk at gcc dot gnu dot org
` (11 preceding siblings ...)
2009-11-12 23:52 ` hubicka at gcc dot gnu dot org
@ 2009-12-10 16:03 ` rguenth at gcc dot gnu dot org
12 siblings, 0 replies; 14+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2009-12-10 16:03 UTC (permalink / raw)
To: gcc-bugs
------- Comment #13 from rguenth at gcc dot gnu dot org 2009-12-10 16:03 -------
No answer, so 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=41932
^ permalink raw reply [flat|nested] 14+ messages in thread
end of thread, other threads:[~2009-12-10 16:03 UTC | newest]
Thread overview: 14+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2009-11-03 20:15 [Bug lto/41932] New: LTO ICE when compiling ocaml trunk (incompatible type) bstarynk at gcc dot gnu dot org
2009-11-04 10:32 ` [Bug lto/41932] " rguenth at gcc dot gnu dot org
2009-11-04 12:17 ` simon_baldwin at yahoo dot com
2009-11-04 12:58 ` simon_baldwin at yahoo dot com
2009-11-04 14:01 ` rguenth at gcc dot gnu dot org
2009-11-04 14:02 ` rguenth at gcc dot gnu dot org
2009-11-04 16:10 ` jamborm at gcc dot gnu dot org
2009-11-04 18:37 ` bstarynk at gcc dot gnu dot org
2009-11-04 18:46 ` bstarynk at gcc dot gnu dot org
2009-11-10 16:20 ` jamborm at gcc dot gnu dot org
2009-11-11 15:08 ` jamborm at gcc dot gnu dot org
2009-11-11 15:10 ` jamborm at gcc dot gnu dot org
2009-11-12 23:52 ` hubicka at gcc dot gnu dot org
2009-12-10 16:03 ` 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).