Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

ICE with crate & polymorphic constructor function #4545

Closed
rntz opened this issue Jan 19, 2013 · 6 comments · Fixed by #9805
Closed

ICE with crate & polymorphic constructor function #4545

rntz opened this issue Jan 19, 2013 · 6 comments · Fixed by #9805
Labels
E-needs-test Call for participation: An issue has been fixed and does not reproduce, but no test has been added.

Comments

@rntz
Copy link
Contributor

rntz commented Jan 19, 2013

In somelib.rc:

#[crate_type = "lib"];
#[link(name="somelib", vers="0.0")];
pub struct S<T>(Option<T>);
pub fn mk<T>() -> S<T> { S(None) }

In client.rs:

extern mod somelib;
fn main() { somelib::mk::<int>(); }

Do the following:

$ rustc somelib.rc
$ rustc -L. client.rs
error: internal compiler error: unexpected failure
note: the compiler hit an unexpected failure path. this is a bug
note: try running with RUST_LOG=rustc=1,::rt::backtrace to get further details and report the results to github.com/mozilla/rust/issues

Notes:

  • Does not require Option. pub struct S<T>(~[T]) or pub struct S,T>(()) also
    cause ICEs.
  • Requires polymorphism; pub struct S(()) does not cause an ICE.

Backtrace follows:

rust: task failed at 'lookup_item: id not found: 8', /home/rntz/s/rust/src/librustc/metadata/decoder.rs:137
/home/rntz/p/bin/../lib/librustrt.so(_ZN9rust_task13begin_failureEPKcS1_m+0x4b)[0x7fae9e3b7b8b]
/home/rntz/p/bin/../lib/librustrt.so(+0x2e359)[0x7fae9e3cb359]
/home/rntz/p/bin/../lib/librustrt.so(upcall_fail+0x1b0)[0x7fae9e3ba340]
/home/rntz/p/bin/../lib/libcore-c3ca5d77d81b46c1-0.6.so(+0xaf0cb)[0x7fae9fc070cb]
/home/rntz/p/bin/../lib/libcore-c3ca5d77d81b46c1-0.6.so(+0x3f4be)[0x7fae9fb974be]
/home/rntz/p/bin/../lib/librustc-c84825241471686d-0.6.so(+0x753604)[0x7fae9ed4d604]
/home/rntz/p/bin/../lib/librustc-c84825241471686d-0.6.so(_ZN8metadata7decoder18maybe_get_item_ast14_6bb9245fa0cf33_06E+0x19f)[0x7fae9ed52c3f]
/home/rntz/p/bin/../lib/librustc-c84825241471686d-0.6.so(_ZN8metadata7csearch18maybe_get_item_ast17_c51398c1464d7ab83_06E+0x8d)[0x7fae9e7065ad]
/home/rntz/p/bin/../lib/librustc-c84825241471686d-0.6.so(_ZN6middle5trans6inline24maybe_instantiate_inline16_1ffff7ac8aaa2a43_06E+0x3e6)[0x7fae9e6e1926]
/home/rntz/p/bin/../lib/librustc-c84825241471686d-0.6.so(_ZN6middle5trans8type_use13type_uses_for16_5ac4ed03f596ec23_06E+0x789)[0x7fae9e71b0d9]
/home/rntz/p/bin/../lib/librustc-c84825241471686d-0.6.so(_ZN6middle5trans8type_use13mark_for_expr17_f4783860c9d7bf183_06E+0x7a7)[0x7fae9e8bff77]
/home/rntz/p/bin/../lib/librustc-c84825241471686d-0.6.so(+0x2caedc)[0x7fae9e8c4edc]
/home/rntz/p/bin/../lib/librustc-c84825241471686d-0.6.so(+0x2cab00)[0x7fae9e8c4b00]
/home/rntz/p/bin/../lib/librustc-c84825241471686d-0.6.so(+0x2cd6de)[0x7fae9e8c76de]
/home/rntz/p/bin/../lib/librustc-c84825241471686d-0.6.so(+0x2cd5c0)[0x7fae9e8c75c0]
/home/rntz/p/bin/../lib/librustc-c84825241471686d-0.6.so(_ZN6middle5trans8type_use11handle_body16_5ed46d80c4588b43_06E+0x9e3)[0x7fae9e8bbb63]
/home/rntz/p/bin/../lib/librustc-c84825241471686d-0.6.so(_ZN6middle5trans8type_use13type_uses_for16_5ac4ed03f596ec23_06E+0x33cf)[0x7fae9e71dd1f]
/home/rntz/p/bin/../lib/librustc-c84825241471686d-0.6.so(_ZN6middle5trans12monomorphize14monomorphic_fn16_8985345158b2c843_06E+0x317)[0x7fae9e715807]
/home/rntz/p/bin/../lib/librustc-c84825241471686d-0.6.so(_ZN6middle5trans6callee25trans_fn_ref_with_vtables17_26759f80cc3ed23e3_06E+0xf7c)[0x7fae9e7c9b8c]
/home/rntz/p/bin/../lib/librustc-c84825241471686d-0.6.so(+0x7bd9ac)[0x7fae9edb79ac]
/home/rntz/p/bin/../lib/librustc-c84825241471686d-0.6.so(_ZN6middle5trans6callee12trans_fn_ref16_46d37cdacaf94123_06E+0xa7)[0x7fae9e7c65d7]
/home/rntz/p/bin/../lib/librustc-c84825241471686d-0.6.so(_ZN6middle5trans6callee5trans17_786028e87c1cc5683_06E+0x367)[0x7fae9e7c38e7]
/home/rntz/p/bin/../lib/librustc-c84825241471686d-0.6.so(+0x1de86c)[0x7fae9e7d886c]
/home/rntz/p/bin/../lib/librustc-c84825241471686d-0.6.so(_ZN6middle5trans4base10with_scope16_f9b697c7991b8983_06E+0x440)[0x7fae9e79c2f0]
/home/rntz/p/bin/../lib/librustc-c84825241471686d-0.6.so(_ZN6middle5trans6callee10trans_call16_eee8f00cb2019183_06E+0x249)[0x7fae9e7cc219]
/home/rntz/p/bin/../lib/librustc-c84825241471686d-0.6.so(+0x1eaa26)[0x7fae9e7e4a26]
/home/rntz/p/bin/../lib/librustc-c84825241471686d-0.6.so(_ZN6middle5trans4expr10trans_into16_7ae31c4cdcb7bf53_06E+0x69e)[0x7fae9e75afee]
/home/rntz/p/bin/../lib/librustc-c84825241471686d-0.6.so(_ZN6middle5trans4base10trans_stmt16_72d83e6f13c2d973_06E+0x3d2)[0x7fae9e75a3f2]
/home/rntz/p/bin/../lib/librustc-c84825241471686d-0.6.so(_ZN6middle5trans11controlflow11trans_block15_1f115d54efa2fe3_06E+0x17d)[0x7fae9e75895d]
/home/rntz/p/bin/../lib/librustc-c84825241471686d-0.6.so(_ZN6middle5trans4base13trans_closure16_d015ca2d85785843_06E+0x568)[0x7fae9e83c018]
/home/rntz/p/bin/../lib/librustc-c84825241471686d-0.6.so(_ZN6middle5trans4base8trans_fn17_83f45d8ff2c06e823_06E+0x441)[0x7fae9e7151c1]
/home/rntz/p/bin/../lib/librustc-c84825241471686d-0.6.so(_ZN6middle5trans4base10trans_item16_512ccd6bccce7a33_06E+0xd28)[0x7fae9e70bae8]
/home/rntz/p/bin/../lib/librustc-c84825241471686d-0.6.so(_ZN6middle5trans4base9trans_mod17_597f5c6c2c7fa77f3_06E+0x8f)[0x7fae9e84208f]
/home/rntz/p/bin/../lib/librustc-c84825241471686d-0.6.so(_ZN6middle5trans4base11trans_crate16_70f4efaa4968de53_06E+0x1182)[0x7fae9e85eac2]
/home/rntz/p/bin/../lib/librustc-c84825241471686d-0.6.so(+0x7bd9ac)[0x7fae9edb79ac]
/home/rntz/p/bin/../lib/librustc-c84825241471686d-0.6.so(_ZN6driver6driver12compile_upto17_4eb9d92e36712a653_06E+0x2664)[0x7fae9ed7db24]
/home/rntz/p/bin/../lib/librustc-c84825241471686d-0.6.so(+0x7bd9ac)[0x7fae9edb79ac]
/home/rntz/p/bin/../lib/librustc-c84825241471686d-0.6.so(_ZN6driver6driver13compile_input16_3e3367fb7931f913_06E+0xbd)[0x7fae9ed802ad]
/home/rntz/p/bin/../lib/librustc-c84825241471686d-0.6.so(_ZN12run_compiler16_40a563e0db358373_06E+0x2592)[0x7fae9edb0732]
/home/rntz/p/bin/../lib/librustc-c84825241471686d-0.6.so(+0x7bd9ac)[0x7fae9edb79ac]
/home/rntz/p/bin/../lib/librustc-c84825241471686d-0.6.so(+0x7bc6c3)[0x7fae9edb66c3]
/home/rntz/p/bin/../lib/librustc-c84825241471686d-0.6.so(+0x7bb72c)[0x7fae9edb572c]
/home/rntz/p/bin/../lib/libcore-c3ca5d77d81b46c1-0.6.so(+0x87e6d)[0x7fae9fbdfe6d]
/home/rntz/p/bin/../lib/libcore-c3ca5d77d81b46c1-0.6.so(+0xc3580)[0x7fae9fc1b580]
/home/rntz/p/bin/../lib/librustrt.so(_Z18task_start_wrapperP10spawn_args+0x24)[0x7fae9e3b83f4]
error: internal compiler error: unexpected failure
note: the compiler hit an unexpected failure path. this is a bug
note: try running with RUST_LOG=rustc=1,::rt::backtrace to get further details and report the results to github.com/mozilla/rust/issues
rust: task failed at 'explicit failure', /home/rntz/s/rust/src/librustc/rustc.rc:427
/home/rntz/p/bin/../lib/librustrt.so(_ZN9rust_task13begin_failureEPKcS1_m+0x4b)[0x7fae9e3b7b8b]
/home/rntz/p/bin/../lib/librustrt.so(+0x2e359)[0x7fae9e3cb359]
/home/rntz/p/bin/../lib/librustrt.so(upcall_fail+0x1b0)[0x7fae9e3ba340]
/home/rntz/p/bin/../lib/libcore-c3ca5d77d81b46c1-0.6.so(+0xaf0cb)[0x7fae9fc070cb]
/home/rntz/p/bin/../lib/libcore-c3ca5d77d81b46c1-0.6.so(+0x3f4be)[0x7fae9fb974be]
/home/rntz/p/bin/../lib/libcore-c3ca5d77d81b46c1-0.6.so(+0xc3580)[0x7fae9fc1b580]
/home/rntz/p/bin/../lib/librustc-c84825241471686d-0.6.so(_ZN7monitor16_1cfefc35869d0533_06E+0x29be)[0x7fae9edb46fe]
/home/rntz/p/bin/../lib/librustc-c84825241471686d-0.6.so(+0x7bd9ac)[0x7fae9edb79ac]
/home/rntz/p/bin/../lib/librustc-c84825241471686d-0.6.so(_ZN4main16_2fb85b4a659c4103_06E+0x86)[0x7fae9edb75b6]
/home/rntz/p/bin/../lib/librustrt.so(_Z18task_start_wrapperP10spawn_args+0x24)[0x7fae9e3b83f4]
rust: domain main @0x690610 root task failed
rust: task failed at 'killed', /home/rntz/s/rust/src/libcore/task/mod.rs:577
/home/rntz/p/bin/../lib/librustrt.so(_ZN9rust_task13begin_failureEPKcS1_m+0x4b)[0x7fae9e3b7b8b]
/home/rntz/p/bin/../lib/librustrt.so(+0x2e359)[0x7fae9e3cb359]
/home/rntz/p/bin/../lib/librustrt.so(upcall_fail+0x1b0)[0x7fae9e3ba340]
/home/rntz/p/bin/../lib/libcore-c3ca5d77d81b46c1-0.6.so(+0xaf0cb)[0x7fae9fc070cb]
/home/rntz/p/bin/../lib/libcore-c3ca5d77d81b46c1-0.6.so(+0x3f4be)[0x7fae9fb974be]
/home/rntz/p/bin/../lib/libcore-c3ca5d77d81b46c1-0.6.so(_ZN4task5yield17_56812fae66173efd3_06E+0xbd)[0x7fae9fbc8b1d]
/home/rntz/p/bin/../lib/libcore-c3ca5d77d81b46c1-0.6.so(+0x9d8f6)[0x7fae9fbf58f6]
/home/rntz/p/bin/../lib/libcore-c3ca5d77d81b46c1-0.6.so(+0xc3580)[0x7fae9fc1b580]
/home/rntz/p/bin/../lib/libcore-c3ca5d77d81b46c1-0.6.so(_ZN7private11weaken_task17_7a7c4fd2a577a8a53_06E+0xd9)[0x7fae9fbf5739]
/home/rntz/p/bin/../lib/libcore-c3ca5d77d81b46c1-0.6.so(+0x9d62b)[0x7fae9fbf562b]
/home/rntz/p/bin/../lib/libcore-c3ca5d77d81b46c1-0.6.so(+0x98203)[0x7fae9fbf0203]
/home/rntz/p/bin/../lib/libcore-c3ca5d77d81b46c1-0.6.so(+0x87e6d)[0x7fae9fbdfe6d]
/home/rntz/p/bin/../lib/libcore-c3ca5d77d81b46c1-0.6.so(+0xc3580)[0x7fae9fc1b580]
/home/rntz/p/bin/../lib/librustrt.so(_Z18task_start_wrapperP10spawn_args+0x24)[0x7fae9e3b83f4]
@ghost ghost assigned catamorphism Feb 5, 2013
@catamorphism
Copy link
Contributor

Struct ctors appear to be totally unimplemented cross-crate. I'll take this on, shouldn't be hard.

@pnkfelix
Copy link
Member

reproduced in c202430.

@pnkfelix
Copy link
Member

Not critical for 0.6; de-milestoning

@catamorphism
Copy link
Contributor

Different ICE, but still ICEs, with 0252c30 . Nominating for milestone 5, production-ready

@graydon
Copy link
Contributor

graydon commented Aug 1, 2013

accepted for production-ready milestone

@alexcrichton
Copy link
Member

This code now compiles just fine. Flagging as needstest.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
E-needs-test Call for participation: An issue has been fixed and does not reproduce, but no test has been added.
Projects
None yet
Development

Successfully merging a pull request may close this issue.

5 participants