Skip to content
This repository has been archived by the owner on May 23, 2024. It is now read-only.

Add some ICEs #823

Merged
merged 14 commits into from
Jun 12, 2021
Merged
Show file tree
Hide file tree
Changes from 10 commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 4 additions & 0 deletions ices/85350.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
impl FnMut(&Context) for 'tcx {
fn print () -> Self :: Output{ }
}

fanninpm marked this conversation as resolved.
Show resolved Hide resolved
21 changes: 21 additions & 0 deletions ices/85447.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,21 @@
#![crate_type="lib"]
use std::{collections::HashMap, hash::Hash};

struct C;

trait Ctx {
type BindGroupId;
}

impl Ctx for C {
type BindGroupId = u32;
}

pub struct BindGroup {
_id: <C as Ctx>::BindGroupId,
}


fanninpm marked this conversation as resolved.
Show resolved Hide resolved
pub fn insert(map: &mut HashMap<*const BindGroup, u32>, bind_group: *const BindGroup) {
map.insert(bind_group, 1);
}
2 changes: 2 additions & 0 deletions ices/86053.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
fn ordering4 < 'a , 'b > ( a : , self , self , self , self , ... , self , self , ... ) where F : FnOnce ( & 'a & 'b usize ) {
fanninpm marked this conversation as resolved.
Show resolved Hide resolved
}
3 changes: 3 additions & 0 deletions ices/86082.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
fn main() {
option_env!("\0")
}
4 changes: 4 additions & 0 deletions ices/86085.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
fn main ( ) {
format ! ( concat ! ( r#"lJ𐏿Æ�.𐏿�"# , "r} {}" ) ) ;
}

fanninpm marked this conversation as resolved.
Show resolved Hide resolved
2 changes: 2 additions & 0 deletions ices/86086.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
trait Tr : Sized { async extern r###"��áÖ@"### fn union < > ( # [ ']' '[' 'default' 'async' '&raw' ] & '?ဪൈ self , ... , ... , ... , ... , ... , ... , ... , ... , ... , ) -> && '_ mut ( ) ;
Copy link
Member

@JohnTitor JohnTitor Jun 11, 2021

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Note: This and some other issues by fuzzing are possibly duplicates of the existing one but I'm going to include for now. We can drop them anytime.

}
5 changes: 5 additions & 0 deletions ices/86132.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
#![crate_type = "staticlib"]
use std::mem;
trait Trait {}
const TRAIT_OBJ_UNALIGNED_VTABLE: &Trait =
unsafe { mem::transmute((&92u8, &[0b_______001_11i128; 128])) };
5 changes: 5 additions & 0 deletions ices/86188.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
fn main() {
[(); return || {
let tx;
}]
}
9 changes: 9 additions & 0 deletions ices/86193.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
#![crate_type = "lib"]
#[repr(transparent)]
struct W<T>(T);

// The drop fn is checked before size/align are, so get ourselves a "sufficiently valid" drop fn
fn drop_me(_: *mut usize) {}

const INVALID_VTABLE_SIZE: W<&dyn Send> =
unsafe { std::mem::transmute((&92u8, &(drop_me as fn(*mut usize), usize::MAX, 1usize))) };
12 changes: 12 additions & 0 deletions ices/86201.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
#![feature(unboxed_closures)]
#![feature(min_type_alias_impl_trait)]
#![feature(impl_trait_in_bindings)]

type FunType = impl Fn<()>;
static STATIC_FN: FunType = some_fn;

fn some_fn() {}

fn main() {
let _: <FunType as FnOnce<()>>::Output = STATIC_FN();
}