Skip to content

ICE - monomorphization related #2464

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.

Sign up for GitHub

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

Jump to bottom
Closed
paulstansifer opened this issue May 29, 2012 · 4 comments
Closed

ICE - monomorphization related #2464

paulstansifer opened this issue May 29, 2012 · 4 comments
Labels
A-codegen Area: Code generation I-crash Issue: The compiler crashes (SIGSEGV, SIGABRT, etc). Use I-ICE instead when the compiler panics.
Milestone
0.5

Comments

@paulstansifer
Copy link
Contributor

I added a type parameter to the parser; this caused an ICE. I haven't had any luck isolating a small example, but the guilty commit is at paulstansifer@2b02574

Relevant part of the backtrace:

rust: upcall fail 'option none', /home/rustbuild/src/rustbot/workspace-snap-stage3-x86_64-unknown-linux-gnu/src/src/rustc/rustc.rc:1
/home/paul/src/rust/build/x86_64-unknown-linux-gnu/stage0/bin/../lib/librustrt.so(_ZN9rust_task4failEv+0x28)[0x2ba2c74ecd88]
/home/paul/src/rust/build/x86_64-unknown-linux-gnu/stage0/bin/../lib/librustrt.so(+0x2f739)[0x2ba2c7503739]
/home/paul/src/rust/build/x86_64-unknown-linux-gnu/stage0/bin/../lib/librustrt.so(upcall_fail+0x164)[0x2ba2c74f0e74]
/home/paul/src/rust/build/x86_64-unknown-linux-gnu/stage0/bin/../lib/librustc-688fa7810161fd45-0.2.so(_ZN6middle5trans4impl22find_vtable_in_fn_ctxt17_2df7f898566251f83_02E+0x238)[0x2ba2c6e3bcc8]
/home/paul/src/rust/build/x86_64-unknown-linux-gnu/stage0/bin/../lib/librustc-688fa7810161fd45-0.2.so(_ZN6middle5trans4impl26trans_monomorphized_callee17_6cf3821e99a569183_02E+0xb6)[0x2ba2c6e3a276]
/home/paul/src/rust/build/x86_64-unknown-linux-gnu/stage0/bin/../lib/librustc-688fa7810161fd45-0.2.so(_ZN6middle5trans4impl19trans_method_callee17_70b6f8c98bee506d3_02E+0x188)[0x2ba2c6dc26c8]
@eholk
Copy link
Contributor

eholk commented May 31, 2012

Does this still happen? We've fixed a few monomorphization related bugs recently.

@paulstansifer
Copy link
Contributor Author

I rebased and got the same error. The new commit is paulstansifer@d0ffdf9

@catamorphism
Copy link
Contributor

Sorry, I can't try to reproduce this again without doing a lot of rebasing. @paulstansifer , if you're able to isolate this bug further, please reopen -- otherwise I'm going to close, since it doesn't seem to be possible to test quickly whether this bug still exists.

@paulstansifer
Copy link
Contributor Author

That's fair.

bors added a commit to rust-lang-ci/rust that referenced this issue Sep 22, 2022
@bors
Auto merge of rust-lang#2464 - RalfJung:atomic-must-be-mutable, r=Ral…
5aef34c 
…fJung

Atomics must be mutable

Fixes rust-lang/miri#2463
Needs rust-lang#100181
celinval added a commit to celinval/rust-dev that referenced this issue Jun 4, 2024
@celinval
Create a playback command to make it easier to run Kani generated tes…
c87fb24 
…ts (rust-lang#2464)

Introduce the unstable subcommand playback to allow users to easily compile and run their test cases that were generated using Kani's concrete playback feature.
celinval added a commit to celinval/rust-dev that referenced this issue Jun 4, 2024
@celinval
Update concrete playback documentation (rust-lang#2465)
192cf87 
Update the description of how to use concrete playback to incorporate the recent changes, including PR rust-lang#2464
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
A-codegen Area: Code generation I-crash Issue: The compiler crashes (SIGSEGV, SIGABRT, etc). Use I-ICE instead when the compiler panics.
Projects
None yet
Milestone
0.5
Development

No branches or pull requests
3 participants
@paulstansifer @eholk @catamorphism