1
Fork 0

Add a test that triggers the out-of-bounds ICE.

Add a test that has the right input to trigger an out-of-bounds
error when in MIR the local_decls and the normalized_input_tys don't
match in amount.
This commit is contained in:
Midas Lambrichts 2021-04-01 20:54:57 +02:00
parent 5676bd51ae
commit 2d813b2609
2 changed files with 31 additions and 0 deletions

View file

@ -0,0 +1,10 @@
// Test that when in MIR the amount of local_decls and amount of normalized_input_tys don't match
// that an out-of-bounds access does not occur.
#![feature(c_variadic)]
fn main() {}
fn foo(_: Bar, ...) -> impl {}
//~^ ERROR only foreign or `unsafe extern "C" functions may be C-variadic
//~| ERROR cannot find type `Bar` in this scope
//~| ERROR at least one trait must be specified