[Bug lto/41932] LTO ICE when compiling ocaml trunk (incompatible type)

2009-12-10 Thread rguenth at gcc dot gnu dot org
--- 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

[Bug lto/41932] LTO ICE when compiling ocaml trunk (incompatible type)

2009-11-12 Thread hubicka at gcc dot gnu dot org
--- 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

[Bug lto/41932] LTO ICE when compiling ocaml trunk (incompatible type)

2009-11-11 Thread jamborm at gcc dot gnu dot org
--- 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=gccview=revrev=154095 Log: 2009-11-11 Martin Jambor mjam...@suse.cz PR

[Bug lto/41932] LTO ICE when compiling ocaml trunk (incompatible type)

2009-11-11 Thread jamborm at gcc dot gnu dot org
--- 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

[Bug lto/41932] LTO ICE when compiling ocaml trunk (incompatible type)

2009-11-10 Thread jamborm at gcc dot gnu dot org
--- 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

[Bug lto/41932] LTO ICE when compiling ocaml trunk (incompatible type)

2009-11-04 Thread rguenth at gcc dot gnu dot org
--- 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

[Bug lto/41932] LTO ICE when compiling ocaml trunk (incompatible type)

2009-11-04 Thread simon_baldwin at yahoo dot com
--- 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

[Bug lto/41932] LTO ICE when compiling ocaml trunk (incompatible type)

2009-11-04 Thread simon_baldwin at yahoo dot com
--- 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. 0x00b798ce in ipa_populate_param_decls (node=0x2b453300, info=0x15eb768) at ../../gcc/gcc/ipa-prop.c:141 141

[Bug lto/41932] LTO ICE when compiling ocaml trunk (incompatible type)

2009-11-04 Thread rguenth at gcc dot gnu dot org
--- 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

[Bug lto/41932] LTO ICE when compiling ocaml trunk (incompatible type)

2009-11-04 Thread rguenth at gcc dot gnu dot org
--- 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

[Bug lto/41932] LTO ICE when compiling ocaml trunk (incompatible type)

2009-11-04 Thread jamborm at gcc dot gnu dot org
--- 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

[Bug lto/41932] LTO ICE when compiling ocaml trunk (incompatible type)

2009-11-04 Thread bstarynk at gcc dot gnu dot org
--- 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

[Bug lto/41932] LTO ICE when compiling ocaml trunk (incompatible type)

2009-11-04 Thread bstarynk at gcc dot gnu dot org
--- 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