squiid/rust
1
0
Fork 0
Code Issues Pull requests Projects Activity

Only defined bits are relevant

Browse source
This commit is contained in:
Oliver Schneider 2018-05-24 11:06:08 +02:00
parent c6d25dc224
commit 50628b7373
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
src/librustc_mir/hair/pattern/mod.rs
View file

@ -1104,9 +1104,10 @@ pub fn compare_const_vals<'a, 'tcx>(
defined: defined_b,
},
))
) if size_a == size_b && defined_a == defined_b &&
) if size_a == size_b &&
ptr_a.offset.bytes() == 0 && ptr_b.offset.bytes() == 0 &&
tcx.data_layout.pointer_size.bits() == defined_a.into() => {
tcx.data_layout.pointer_size.bits() <= defined_a.into() &&
tcx.data_layout.pointer_size.bits() <= defined_b.into() => {
let map = tcx.alloc_map.lock();
let alloc_a = map.unwrap_memory(ptr_a.alloc_id);
let alloc_b = map.unwrap_memory(ptr_b.alloc_id);