Skip to content

Commit 1478ef3

Browse files
committed
---
yaml --- r: 234733 b: refs/heads/tmp c: 837840c h: refs/heads/master i: 234731: 8bc4598 v: v3
1 parent a5cb740 commit 1478ef3

File tree

4 files changed

+100
-3
lines changed

4 files changed

+100
-3
lines changed

[refs]

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -25,7 +25,7 @@ refs/tags/0.11.0: e1247cb1d0d681be034adb4b558b5a0c0d5720f9
2525
refs/tags/0.12.0: f0c419429ef30723ceaf6b42f9b5a2aeb5d2e2d1
2626
refs/heads/beta: d2e13e822a73e0ea46ae9e21afdd3155fc997f6d
2727
refs/tags/1.0.0-alpha: e42bd6d93a1d3433c486200587f8f9e12590a4d7
28-
refs/heads/tmp: 234f81c4a91f58abf44bed68d1ff446a6828b425
28+
refs/heads/tmp: 837840c61fce44da78096110ff83c91099a83da7
2929
refs/tags/1.0.0-alpha.2: 4c705f6bc559886632d3871b04f58aab093bfa2f
3030
refs/tags/homu-tmp: ab792abf1fcc28afbd315426213f6428da25c085
3131
refs/tags/1.0.0-beta: 8cbb92b53468ee2b0c2d3eeb8567005953d40828

branches/tmp/src/libcollections/btree/node.rs

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -164,7 +164,12 @@ fn calculate_allocation_generic<K, V>(capacity: usize, is_leaf: bool) -> (usize,
164164
let (keys_size, keys_align) = (capacity * mem::size_of::<K>(), mem::align_of::<K>());
165165
let (vals_size, vals_align) = (capacity * mem::size_of::<V>(), mem::align_of::<V>());
166166
let (edges_size, edges_align) = if is_leaf {
167-
(0, 1)
167+
// allocate one edge to ensure that we don't pass size 0 to `heap::allocate`
168+
if mem::size_of::<K>() == 0 && mem::size_of::<V>() == 0 {
169+
(1, mem::align_of::<Node<K, V>>())
170+
} else {
171+
(0, 1)
172+
}
168173
} else {
169174
((capacity + 1) * mem::size_of::<Node<K, V>>(), mem::align_of::<Node<K, V>>())
170175
};

branches/tmp/src/libcollections/vec_deque.rs

Lines changed: 40 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -21,9 +21,11 @@
2121
use core::cmp::Ordering;
2222
use core::fmt;
2323
use core::iter::{repeat, FromIterator};
24+
use core::mem;
2425
use core::ops::{Index, IndexMut};
2526
use core::ptr;
2627
use core::slice;
28+
use core::usize;
2729

2830
use core::hash::{Hash, Hasher};
2931
use core::cmp;
@@ -32,6 +34,7 @@ use alloc::raw_vec::RawVec;
3234

3335
const INITIAL_CAPACITY: usize = 7; // 2^3 - 1
3436
const MINIMUM_CAPACITY: usize = 1; // 2 - 1
37+
const MAXIMUM_ZST_CAPACITY: usize = 1 << (usize::BITS - 1); // Largest possible power of two
3538

3639
/// `VecDeque` is a growable ring buffer, which can be used as a
3740
/// double-ended queue efficiently.
@@ -83,7 +86,12 @@ impl<T> VecDeque<T> {
8386
/// Marginally more convenient
8487
#[inline]
8588
fn cap(&self) -> usize {
86-
self.buf.cap()
89+
if mem::size_of::<T>() == 0 {
90+
// For zero sized types, we are always at maximum capacity
91+
MAXIMUM_ZST_CAPACITY
92+
} else {
93+
self.buf.cap()
94+
}
8795
}
8896

8997
/// Turn ptr into a slice
@@ -1465,6 +1473,7 @@ impl<T: Clone> VecDeque<T> {
14651473
#[inline]
14661474
fn wrap_index(index: usize, size: usize) -> usize {
14671475
// size is always a power of 2
1476+
debug_assert!(size.is_power_of_two());
14681477
index & (size - 1)
14691478
}
14701479

@@ -2032,4 +2041,34 @@ mod tests {
20322041
}
20332042
}
20342043
}
2044+
2045+
#[test]
2046+
fn test_zst_push() {
2047+
const N: usize = 8;
2048+
2049+
// Zero sized type
2050+
struct Zst;
2051+
2052+
// Test that for all possible sequences of push_front / push_back,
2053+
// we end up with a deque of the correct size
2054+
2055+
for len in 0..N {
2056+
let mut tester = VecDeque::with_capacity(len);
2057+
assert_eq!(tester.len(), 0);
2058+
assert!(tester.capacity() >= len);
2059+
for case in 0..(1 << len) {
2060+
assert_eq!(tester.len(), 0);
2061+
for bit in 0..len {
2062+
if case & (1 << bit) != 0 {
2063+
tester.push_front(Zst);
2064+
} else {
2065+
tester.push_back(Zst);
2066+
}
2067+
}
2068+
assert_eq!(tester.len(), len);
2069+
assert_eq!(tester.iter().count(), len);
2070+
tester.clear();
2071+
}
2072+
}
2073+
}
20352074
}

branches/tmp/src/libcollectionstest/btree/map.rs

Lines changed: 53 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -294,6 +294,59 @@ fn test_extend_ref() {
294294
assert_eq!(a[&3], "three");
295295
}
296296

297+
#[test]
298+
fn test_zst() {
299+
let mut m = BTreeMap::new();
300+
assert_eq!(m.len(), 0);
301+
302+
assert_eq!(m.insert((), ()), None);
303+
assert_eq!(m.len(), 1);
304+
305+
assert_eq!(m.insert((), ()), Some(()));
306+
assert_eq!(m.len(), 1);
307+
assert_eq!(m.iter().count(), 1);
308+
309+
m.clear();
310+
assert_eq!(m.len(), 0);
311+
312+
for _ in 0..100 {
313+
m.insert((), ());
314+
}
315+
316+
assert_eq!(m.len(), 1);
317+
assert_eq!(m.iter().count(), 1);
318+
}
319+
320+
// This test's only purpose is to ensure that zero-sized keys with nonsensical orderings
321+
// do not cause segfaults when used with zero-sized values. All other map behavior is
322+
// undefined.
323+
#[test]
324+
fn test_bad_zst() {
325+
use std::cmp::Ordering;
326+
327+
struct Bad;
328+
329+
impl PartialEq for Bad {
330+
fn eq(&self, _: &Self) -> bool { false }
331+
}
332+
333+
impl Eq for Bad {}
334+
335+
impl PartialOrd for Bad {
336+
fn partial_cmp(&self, _: &Self) -> Option<Ordering> { Some(Ordering::Less) }
337+
}
338+
339+
impl Ord for Bad {
340+
fn cmp(&self, _: &Self) -> Ordering { Ordering::Less }
341+
}
342+
343+
let mut m = BTreeMap::new();
344+
345+
for _ in 0..100 {
346+
m.insert(Bad, Bad);
347+
}
348+
}
349+
297350
mod bench {
298351
use std::collections::BTreeMap;
299352
use std::__rand::{Rng, thread_rng};

0 commit comments

Comments
 (0)