Add ICEs to Glacier

[steveklabnik]

My Glacier repository is tracking our ICEs. Once per day, a Travis build confirms that the example still causes an ICE.

@Manishearth suggested I make a metabug here, so if you're looking for an easy way to contribute, this is it! I'm willing to mentor anyone who needs help.

https://github.com/rust-lang/rust/issues?q=is%3Aopen+is%3Aissue+label%3AI-ICE is the list of bugs. Here's a tracking list of which ones that have been added:

• ICE: path not fully resolved #29191
• Compiler panics on typeof #29184
• ICE in ensure_public #29161
• extern "Rust" causes ICE #29115
• ICE when installing Rust 1.3.0 on El Capitano via homebrew #29052
• ICE after error in associated item resolution #28971
• ICE "thread 'rustc' has overflowed its stack" on Windows (1.5 nightly x86_64 msvc toolchain) #28946
• improper_ctypes ICE: ast_ty_to_ty_cache was incomplete after typeck! #28804
• Compiler segfaults when boxing a ZST from an external crate #28766
• Compiler panic when taking the pointer of a static mut variable #28751
• intrinsicck is broken in the presence of associated types #28625
• assertion failure w/(invalid?) inline assembly #28604
• ICE: pub extern fn with parameter type &str inside struct impl #28600
• assertion failed: abi != synabi::RustIntrinsic && abi != synabi::PlatformIntrinsic #28575
• Compilation fails in release mode with debug = true and lto = true. #28557
• Compiler panic while compiling #28540
• LLVM assertion hit while building SpiderMonkey bindings #28502
• Using a plugin that was built without -C prefer-dynamic causes LLVM error #28434
• internal compiler error: unexpected panic #28410
• ICE: the 1th autoderef failed #28347
• dereferences in statics can create broken code #28324
• ICE on assert!("test") #28308
• ICE: unprintable span #28288
• thread 'rustc' panicked at 'index out of bounds: [...] src/libcollections/vec.rs:1047 #28217
• ICE with closure in array size #28189
• ICE when non-const in const path. #28172
• thread 'rustc' panicked at 'assertion failed: (left == right) (left: ..., right: ...)', ../src/librustc_borrowck/borrowck/mod.rs:453 #28150
• ICE: constant expression should not reach expr::trans_def #28104
• rustc panic with docopt_macros #28089
• Panic in libsyntax/ext/quote.rs #28040
• "Could not compile advapi32-sys on a network-mapped drive #28002
• the compiler unexpectedly panicked with message "no type for node" #27985
• ICE: creating trait object with function that has stricter bounds on associated type. #27954
• compiler crash on stable, beta, nightly #27925
• Broken MIR with const match #27918
• assertion failed: !projection_ty.has_escaping_regions() from astconv #27901
• internal compiler error: literals of different types in range pat #27895
• ICE on impossible trait object/associated type #27874
• 'rustc' panicked at 'assertion failed: (left == right) (left: collections::string::String, right: Box<Int>)', ../src/librustc_borrowck/borrowck/mod.rs:453 #27844
• 'rustc' panicked at 'assertion failed: slice_layout_is_correct #27819
• ERROR:rbml::reader: failed to find block with tag 258 while compiling 1.2 for arm-unknown-linux-gnueabi #27645
• index out of range unexpected panic #27631
• ICE in borrow checker #27480
• Compiler segfault / illegal instruction: llvm: Assertion `Ty && "Invalid GetElementPtrInst indices for type!"' failed. #27455
• compiler error on crate hyper 0.6.6 (solicit v.0.4.0) #27443
• match of associated_const from const_fn #27430
• error: internal compiler error: unexpected panic while building nix-rust #27321
• unexpected panic in rustc #27320
• "illegal hardware instruction" when compiling code sample with E0391 error  #27316
• ICE with closure in constant #27268
• ICE when using associated constants #27249
• internal compiler error: unexpected panic #27190
• Compiler bug with rustc 1.3.0-nightly (e4e93196e 2015-07-14) #27128
• random ICE in util::interner::StrInterner::get / print::pprust::token_to_string #27125
• rustc panicks when dealing with reference to functions in enum variants #27119
• Compiler crash on macro_rules #27092
• internal compiler error: no def for path when using associated consts #27078
• ICE: 'assertion failed: index < LLVMCountParams(llfn)', ../src/librustc_llvm/lib.rs:2250 #26997
• only string and byte strings supported in compare_values #26989
• ICE: a type named ... has already been imported in this module. #26886
• rustc panic trying to unwrap error "failed to open archive" #26774
• Match bytes and &str #26510
• ICE when referencing non-existent variant/item in C-like enum #26483
• ICE: unprintable span #26480
• "thread 'rustc' has overflowed its stack" in glium on Linux #26467
• ICE when attempting to destructure a match pattern with a primitive type #26459
• ICE: Encountered error Unimplemented ... (trait objects & associated type bounds) #26406
• ICE with mut reference in static mut #26263
• Calling a non-function as a function in a macro causes panic #26237
• Internal compiler error #26233
• Functions with an ABI set may be given the same symbol names. #26201
• internal compiler error: const expr(33: Msg::Start) of type main::Msg has size 1 instead of 16 #26166
• ICE:Unimplemented when trying to select an implementation for constant trait item reference. #26095
• Capacity overflow or unprintable scan ICE when an error occurs when calling a function provided to a macro #26094
• ICE due to invalid assignment in macro: illegal left-hand side expression / capacity overflow / unprintable span #26093
• Encountered a "freshend type" with id 0 but our counter is only at 0 #26056
• Internal compiler error: meth::trans_trait_callee given non-bare-rust-fn #26049
• Building a project using cargo --release results in "LLVM Error: Broken function found" #25940
• compiler crashes when trying to infer return type in impl #25810
• Compiler panic when building a Piston example #25801
• ICE in codemap::CodeMap::span_to_lines when error occurs in macro #25793
• ICE when passing large fixed-size array as T:Clone via T:Copy #25733
• ICE: rustc overflows its stack on instanciation of enum #25693
• Compiler panic at src/libsyntax/diagnostics/plugin.rs:171 #25690
• Random ICE when playing with match #25579
• Panic when building dependency "yaml" in nightly #25498
• ICE: rustc stack overflow on compiling eventual with lifetimes #25415
• accessing private struct member in a macro triggers compiler panic #25386
• (internal compiler error: unprintable span) #25385
• Panicked at 'arithmetic operation overflowed' #25362
• rustc-beta.5 ICE while printing error #25353
• ICE with an associated constant as the length of a fixed-size array type of a static variable #25145
• ICE on non-exhaustive match for fixed-size array (middle::check_match::construct_witness) #25051
• Overflow with use of Self in inherent impl on trait #25050
• internal compiler error #25036
• Cannot locate the impl of the trait from nested type parameter. #24972
• unsized enums don't work #24957
• ICE when run-pass test match-arm-statics is compiled with debuginfo #24956
• With a ridiculous amount of errors, ICE (capacity overflow) #24955
• Compiler Panic (capacity overflow from CodeMap::span_to_lines ) #24954
• ICE using a trait-associated const in an array size #24947
• ICE source trait is private #24877
• --emit=asm,link -C opt-level=1 causes "Instruction does not dominate all uses!" #24876
• rustc crash when trying to reference static export from another crate #24843
• thread 'rustc' panicked at 'capacity overflow #24841
• Compiler panic: 'index out of bounds' #24819
• ICE with associated type on trait #24810
• ICE in span_to_lines, 'capacity_overflow' #24761
• Illegal instruction building struct that recurses inside boxed array #24732
• several tests fails with check-stage3-rpass-full and not with check-stage2-rpass-full #24609
• ICE: assertion failed: !is_undef(val) #24599
• pretty printer ICE on large const-expr summation #24579
• Name collision between extern "C" functions can cause undefined behavior in safe code #24561
• ICE: FulfillmentError(Obligation, ... Unimplemented). Drop related? #24520
• External enums are not constant #24469
• "coherence failed to report ambiguity" ICE Involving Lifetimes #24424
• Integer overflow compiling libcore with RUST_LOG=rustc::middle::dataflow #24412
• ICE: Unimplemented selecting Binder(...) #24294
• ICE: Failed to unify Obligation(...) and ProjectionPredicate(...) in projection #24204
• Index out of bounds panic in InferCtxt::shallow_resolve #24152
• Internal compiler error when matching integers against casted enum constants #24106
• ICE caused by LLVM assertion: Assertion `S->getType()->isPtrOrPtrVectorTy() && "Invalid cast"' #24098
• rustc stack overflow: recursive associated types #23992
• ICE fictitious type in sizing_type_of() #23958
• ICE on a macro in a pattern alternation #23891
• ICE on doc command #23754
• error: overflow evaluating the requirement <_ as core::iter::Iterator>::Item #23707
• ICE; wrapping a library search path in quotes causes Rust to panic. #23667
• ICE: capacity overflow or "Illegal instruction (core dumped)" with very large static item #23600
• Recursize unsized types cause ICE #23524
• ICE: "index is not an integer-constant expression" using enum as array index. #23513
• Crash on asm!("int $3"): Wrong MachineOperand accessor #23458
• rustc crashed building gfx_graphics #23407
• ICE using associated type from trait implemented for reference type #23406
• ICE: thread 'rustc' panicked at 'unsized_part_of_type failed even though ty is unsized' #23370
• LLVM Assertion: Both operands to ICmp instruction are not of the same type! #23311
• Encountered error Unimplemented selecting Binder(core::iter::IntoIterator) during trans #23281
• ICE: unimplemented foreign functions with Rust ABI #23278
• rustc panics during compilation #23217
• internal compiler error: 'rustc' panicked at 'No def'n found for DefId { krate: 0, node: 4 } in tcx.tcache' #23189
• ICE (failed assertion) when taking mutable references to enum contents #23175
• Compiler panic on two-line feature gate #23110
• Cannot compile regex: illegal hardware instruction #23032
• Stack overflow when bounding FnOnce with Send + 'static #23003
• Compiler panic: "Path not fully resolved" when passing reference to impl function #22933
• Trans stack overflow ICE with infinite type generated by projections #22919
• ICE: const expr(8: &*"") of type &'static str has size 8 instead of 16 #22894
• Compiler crashed with 'Calling a function with a bad signature!' #22874
• ICE: assertion failed: leak_check(infcx, &skol_map, snapshot).is_ok() #22872
• ICE static call to invalid vtable #22789
• Recent change causes assertion failure in type checker #22781
• ICE: diagnostic::SpanHandler::span_bug - panic at Box<Any> #22713
• ICE implementing Fn trait for unit struct #22603
• Simplest possible rust-call function will ICE #22566
• ICE when simplest rust-call method is called #22565
• LLVM Assertion : Type Unsized #22465
• ICE on invalid UTF-8 on stdin #22387
• Unknown compiler crash #22354
• rustc stack overflow: pub use super::* in public inner mod. #21601
• no_std + owned_box: thread 'rustc' has overflowed its stack Illegal instruction (core dumped) #21599
• ICE - Option Refcount causes an LLVM assertion to fail. #21533
• ICE when attempting to manually implement FnMut #21461
• unexpected panic: 'index out of bounds' in src/libsyntax/lib.rs:1 #21349
• ICE when target directory doesn’t exist for LLVM outputs #21335
• LLVM assertion failure in llvm::InvokeInst::init #21321
• LLVM assertion error (llvm/lib/IR/Instructions.cpp:1086) #21275
• error: internal compiler error: argument to function with "rust-call" ABI is neither a tuple nor unit #21139
• ICE missing type for FullRange after different type error #21081
• Assertion failed while type-casting #21073
• trait lang item on a struct #20875
• ICE: static call to invalid vtable: VtableFnPointer #20847
• Coherence fails to find ambiguity with manual impl of Fn for fn #20767
• ICE: misplaced $crate in macro #20753
• ICE instead of Sized error for impl method parameters. #20433
• 'asked to register intrinsic fn' ICE with use of non-generic intrinsic as a value #20319
• "can't monomorphize ..." ICE with use of generic intrinsic as a value #20318
• ICE: Explicit deref of non-derefable type: _ #20108
• error: internal compiler error: adt::represent_type called on non-ADT type: &std ::io::IoError #20046
• rustc crashing #19675
• ICE: unexpected char in type string: 3 #19635
• ICE: diagnostic.rs panics due to index out of bounds error #19500
• Trans uses more stack when things are made private #19497
• ICE on implementing a trait with an extern "rust-call" function #19397
• This DST code causes an llvm assertion failure during compilation. #19064
• ICE: Hiding a symbol in an rlib using asm! causes issues #18953
• Methods in impls allowed more restrictive lifetime bounds than in the trait. #18937
• ICE: task 'rustc' failed at 'internal error: entered unreachable code', /home/tj/rust-lang/src/librustc/middle/check_match.rs:714 #18027
• ICE because uninhabited types and drop flags don't mix #17987
• ICE while building rustc on FreeBSD: assertion failed: self.raw.hash != self.hashes_end #17391
• ICE: Unexpected type returned from struct_tail #16812
• [ICE] assertion failed: (left == right) && (right == left) (left: 11, right: 0) #16763
• Lints added with add_lint to the crate object itself are not processed #16702
• Compiler told me to report bug: "can't determine value for sysroot" #16229
• ICE: Intrinsics cannot be used as bare functions #15694
• ICE on Windows when linker output is too large #15522
• compiler abort in LLVM code when using a newtype-wrapper as an argument #15402
• ICE with rustc --version | false #14505
• rustc crashing over illegal instruction #14441 - not testable due to specific CPU needs
• rustc fails to detect duplicate switch cases due to integer overflow #13727
• Array as asm output ICEs LLVM #13368

[bltavares]

I don't know how to reproduce #29249 on CI, as it requires a PII computer apparently.

[Gankra]

@bltavares you appear to have linked to this issue itself?

[bltavares]

@gankro my bad #14441

[steveklabnik]

@bltavares hmmm, yes, that's a tough one. Maybe it's too much effort, and should just be checked off the list?

[bltavares]

@steveklabnik I think it makes sense to be checked here. What about adding a note to skip certain ICEs on Glacier?

[steveklabnik]

I checked it off and left a note.

[bltavares]

#15522 is a Windows bug and the initial files used to report the issue are not available anymore.

[bltavares]

#18937 Does not produce ICE, but is unsound according to the discussion and would better produce ICE.

[bltavares]

#18953 Is stale and needs test case. Was initially found on Zinc.

[bltavares]

#19497 Has no code to reproduce. Not sure what to do over there.

[bltavares]

#19500 Has no code to reproduce.

[bltavares]

#19635 Has no code to reproduce.

[bltavares]

#19675 has been closed already.

[emoon]

#26886 Doesn't seem to be an issue anymore and is marked with E-needstest

[steveklabnik]

Thank you both for all of your work here! This is great 💯

[bltavares]

@steveklabnik Thanks for showing a simple way to contribute back. (:

[bltavares]

#20767 Is stale and needs a compiling example

[bltavares]

#21275 Is stale and needs an example code

[bltavares]

#21321 The author says it could have been fixed already, but the author is not sure (nor am I)

[bltavares]

#21349 Is stale and needs a small reproducible example.

[wheals]

#21461 was closed as fixed by #26667.

[bltavares]

#24956 has been closed by #29284

[emoon]

This one has been closed #24957

[bltavares]

#24947 No loger ICE

[bltavares]

#23370 has been closed already.

[bltavares]

#23003 has been closed.

[ville-h]

https://github.com/steveklabnik/glacier/blob/master/src/27954.rs appears to have been added but not marked as such

[tamird]

#24956 is incorrectly marked; this issue was never resolved and is reopened.

[steveklabnik]

whoops! must have messed that up :(

[wldcordeiro]

I'll take on a couple if someone can mentor, I really want to learn me some more Rust by contributing to Rust. 😄

[steveklabnik]

@wldcordeiro sure thing! Basically, pick one of the unchecked things, find the code that causes the compiler to crash, and then make a PR to steveklabnik/glacier that looks like this: https://github.com/steveklabnik/glacier/blob/master/src/15694.rs

File name is the issue number, and it's just the code. I can help with any questions if you need any of that explained further, or I can help in real time if you drop by IRC.

[wldcordeiro]

Thanks @steveklabnik BTW: These are already closed.

• error: internal compiler error: unexpected panic while building nix-rust #27321
• internal compiler error: unexpected panic #27190
• Encountered a "freshend type" with id 0 but our counter is only at 0 #26056
• ICE: rustc overflows its stack on instanciation of enum #25693
• rustc-beta.5 ICE while printing error #25353
• internal compiler error #25036
• Index out of bounds panic in InferCtxt::shallow_resolve #24152
• ICE caused by LLVM assertion: Assertion `S->getType()->isPtrOrPtrVectorTy() && "Invalid cast"' #24098
• ICE on doc command #23754
• rustc panics during compilation #23217
• LLVM Assertion : Type Unsized #22465
• ICE - Option Refcount causes an LLVM assertion to fail. #21533
• ICE while building rustc on FreeBSD: assertion failed: self.raw.hash != self.hashes_end #17391

[steveklabnik]

Thank you! Checked those off the list.

[emoon]

I did a pass on the remaining issues in the list. All of them are non-trivial to add to the current way the tests are being done now and can't be reproduced with a single source file.

So I'm not sure what would be the best way to proceed on the remaining issues without trying to make the testing script a bit more advanced (needs to be able to clone stuff on git, run cargo, or compile with rustc using specific flags to trigger issues in some cases)

[emoon]

Seems that #29052 is closed now

[steveklabnik]

This list is basically done, I think; the remaining ones are not automatable. Thanks everyone!