Skip to content

Commit 378a370

Browse files
committed
Auto merge of #25646 - huonw:align, r=alexcrichton
This removes a footgun, since it is a reasonable assumption to make that pointers to `T` will be aligned to `align_of::<T>()`. This also matches the behaviour of C/C++. `min_align_of` is now deprecated. Closes #21611.
2 parents b70d1c6 + 225b116 commit 378a370

File tree

8 files changed

+47
-53
lines changed

8 files changed

+47
-53
lines changed

src/liballoc/arc.rs

+3-3
Original file line numberDiff line numberDiff line change
@@ -77,7 +77,7 @@ use core::atomic;
7777
use core::atomic::Ordering::{Relaxed, Release, Acquire, SeqCst};
7878
use core::fmt;
7979
use core::cmp::Ordering;
80-
use core::mem::{min_align_of_val, size_of_val};
80+
use core::mem::{align_of_val, size_of_val};
8181
use core::intrinsics::drop_in_place;
8282
use core::mem;
8383
use core::nonzero::NonZero;
@@ -241,7 +241,7 @@ impl<T: ?Sized> Arc<T> {
241241

242242
if self.inner().weak.fetch_sub(1, Release) == 1 {
243243
atomic::fence(Acquire);
244-
deallocate(ptr as *mut u8, size_of_val(&*ptr), min_align_of_val(&*ptr))
244+
deallocate(ptr as *mut u8, size_of_val(&*ptr), align_of_val(&*ptr))
245245
}
246246
}
247247
}
@@ -565,7 +565,7 @@ impl<T: ?Sized> Drop for Weak<T> {
565565
atomic::fence(Acquire);
566566
unsafe { deallocate(ptr as *mut u8,
567567
size_of_val(&*ptr),
568-
min_align_of_val(&*ptr)) }
568+
align_of_val(&*ptr)) }
569569
}
570570
}
571571
}

src/liballoc/rc.rs

+4-4
Original file line numberDiff line numberDiff line change
@@ -162,7 +162,7 @@ use core::fmt;
162162
use core::hash::{Hasher, Hash};
163163
use core::intrinsics::{assume, drop_in_place};
164164
use core::marker::{self, Unsize};
165-
use core::mem::{self, min_align_of, size_of, min_align_of_val, size_of_val, forget};
165+
use core::mem::{self, align_of, size_of, align_of_val, size_of_val, forget};
166166
use core::nonzero::NonZero;
167167
use core::ops::{CoerceUnsized, Deref};
168168
use core::ptr;
@@ -246,7 +246,7 @@ impl<T> Rc<T> {
246246
// destruct the box and skip our Drop
247247
// we can ignore the refcounts because we know we're unique
248248
deallocate(*rc._ptr as *mut u8, size_of::<RcBox<T>>(),
249-
min_align_of::<RcBox<T>>());
249+
align_of::<RcBox<T>>());
250250
forget(rc);
251251
Ok(val)
252252
}
@@ -496,7 +496,7 @@ impl<T: ?Sized> Drop for Rc<T> {
496496
if self.weak() == 0 {
497497
deallocate(ptr as *mut u8,
498498
size_of_val(&*ptr),
499-
min_align_of_val(&*ptr))
499+
align_of_val(&*ptr))
500500
}
501501
}
502502
}
@@ -805,7 +805,7 @@ impl<T: ?Sized> Drop for Weak<T> {
805805
// the strong pointers have disappeared.
806806
if self.weak() == 0 {
807807
deallocate(ptr as *mut u8, size_of_val(&*ptr),
808-
min_align_of_val(&*ptr))
808+
align_of_val(&*ptr))
809809
}
810810
}
811811
}

src/libarena/lib.rs

+6-6
Original file line numberDiff line numberDiff line change
@@ -244,7 +244,7 @@ impl<'longer_than_self> Arena<'longer_than_self> {
244244
fn alloc_copy<T, F>(&self, op: F) -> &mut T where F: FnOnce() -> T {
245245
unsafe {
246246
let ptr = self.alloc_copy_inner(mem::size_of::<T>(),
247-
mem::min_align_of::<T>());
247+
mem::align_of::<T>());
248248
let ptr = ptr as *mut T;
249249
ptr::write(&mut (*ptr), op());
250250
return &mut *ptr;
@@ -300,7 +300,7 @@ impl<'longer_than_self> Arena<'longer_than_self> {
300300
let tydesc = get_tydesc::<T>();
301301
let (ty_ptr, ptr) =
302302
self.alloc_noncopy_inner(mem::size_of::<T>(),
303-
mem::min_align_of::<T>());
303+
mem::align_of::<T>());
304304
let ty_ptr = ty_ptr as *mut usize;
305305
let ptr = ptr as *mut T;
306306
// Write in our tydesc along with a bit indicating that it
@@ -393,7 +393,7 @@ struct TypedArenaChunk<T> {
393393

394394
fn calculate_size<T>(capacity: usize) -> usize {
395395
let mut size = mem::size_of::<TypedArenaChunk<T>>();
396-
size = round_up(size, mem::min_align_of::<T>());
396+
size = round_up(size, mem::align_of::<T>());
397397
let elem_size = mem::size_of::<T>();
398398
let elems_size = elem_size.checked_mul(capacity).unwrap();
399399
size = size.checked_add(elems_size).unwrap();
@@ -405,7 +405,7 @@ impl<T> TypedArenaChunk<T> {
405405
unsafe fn new(next: *mut TypedArenaChunk<T>, capacity: usize)
406406
-> *mut TypedArenaChunk<T> {
407407
let size = calculate_size::<T>(capacity);
408-
let chunk = allocate(size, mem::min_align_of::<TypedArenaChunk<T>>())
408+
let chunk = allocate(size, mem::align_of::<TypedArenaChunk<T>>())
409409
as *mut TypedArenaChunk<T>;
410410
if chunk.is_null() { alloc::oom() }
411411
(*chunk).next = next;
@@ -431,7 +431,7 @@ impl<T> TypedArenaChunk<T> {
431431
let size = calculate_size::<T>(self.capacity);
432432
let self_ptr: *mut TypedArenaChunk<T> = self;
433433
deallocate(self_ptr as *mut u8, size,
434-
mem::min_align_of::<TypedArenaChunk<T>>());
434+
mem::align_of::<TypedArenaChunk<T>>());
435435
if !next.is_null() {
436436
let capacity = (*next).capacity;
437437
(*next).destroy(capacity);
@@ -444,7 +444,7 @@ impl<T> TypedArenaChunk<T> {
444444
let this: *const TypedArenaChunk<T> = self;
445445
unsafe {
446446
mem::transmute(round_up(this.offset(1) as usize,
447-
mem::min_align_of::<T>()))
447+
mem::align_of::<T>()))
448448
}
449449
}
450450

src/libcollections/btree/node.rs

+5-5
Original file line numberDiff line numberDiff line change
@@ -163,12 +163,12 @@ fn test_offset_calculation() {
163163
}
164164

165165
fn calculate_allocation_generic<K, V>(capacity: usize, is_leaf: bool) -> (usize, usize) {
166-
let (keys_size, keys_align) = (capacity * mem::size_of::<K>(), mem::min_align_of::<K>());
167-
let (vals_size, vals_align) = (capacity * mem::size_of::<V>(), mem::min_align_of::<V>());
166+
let (keys_size, keys_align) = (capacity * mem::size_of::<K>(), mem::align_of::<K>());
167+
let (vals_size, vals_align) = (capacity * mem::size_of::<V>(), mem::align_of::<V>());
168168
let (edges_size, edges_align) = if is_leaf {
169169
(0, 1)
170170
} else {
171-
((capacity + 1) * mem::size_of::<Node<K, V>>(), mem::min_align_of::<Node<K, V>>())
171+
((capacity + 1) * mem::size_of::<Node<K, V>>(), mem::align_of::<Node<K, V>>())
172172
};
173173

174174
calculate_allocation(
@@ -181,11 +181,11 @@ fn calculate_allocation_generic<K, V>(capacity: usize, is_leaf: bool) -> (usize,
181181
fn calculate_offsets_generic<K, V>(capacity: usize, is_leaf: bool) -> (usize, usize) {
182182
let keys_size = capacity * mem::size_of::<K>();
183183
let vals_size = capacity * mem::size_of::<V>();
184-
let vals_align = mem::min_align_of::<V>();
184+
let vals_align = mem::align_of::<V>();
185185
let edges_align = if is_leaf {
186186
1
187187
} else {
188-
mem::min_align_of::<Node<K, V>>()
188+
mem::align_of::<Node<K, V>>()
189189
};
190190

191191
calculate_offsets(

src/libcollections/vec.rs

+7-7
Original file line numberDiff line numberDiff line change
@@ -219,7 +219,7 @@ impl<T> Vec<T> {
219219
} else {
220220
let size = capacity.checked_mul(mem::size_of::<T>())
221221
.expect("capacity overflow");
222-
let ptr = unsafe { allocate(size, mem::min_align_of::<T>()) };
222+
let ptr = unsafe { allocate(size, mem::align_of::<T>()) };
223223
if ptr.is_null() { ::alloc::oom() }
224224
unsafe { Vec::from_raw_parts(ptr as *mut T, 0, capacity) }
225225
}
@@ -393,7 +393,7 @@ impl<T> Vec<T> {
393393
let ptr = reallocate(*self.ptr as *mut u8,
394394
self.cap * mem::size_of::<T>(),
395395
self.len * mem::size_of::<T>(),
396-
mem::min_align_of::<T>()) as *mut T;
396+
mem::align_of::<T>()) as *mut T;
397397
if ptr.is_null() { ::alloc::oom() }
398398
self.ptr = Unique::new(ptr);
399399
}
@@ -866,9 +866,9 @@ impl<T> Vec<T> {
866866
// FIXME: Assert statically that the types `T` and `U` have the
867867
// same minimal alignment in case they are not zero-sized.
868868

869-
// These asserts are necessary because the `min_align_of` of the
869+
// These asserts are necessary because the `align_of` of the
870870
// types are passed to the allocator by `Vec`.
871-
assert!(mem::min_align_of::<T>() == mem::min_align_of::<U>());
871+
assert!(mem::align_of::<T>() == mem::align_of::<U>());
872872

873873
// This `as isize` cast is safe, because the size of the elements of the
874874
// vector is not 0, and:
@@ -1269,9 +1269,9 @@ impl<T> Vec<T> {
12691269
#[inline(never)]
12701270
unsafe fn alloc_or_realloc<T>(ptr: *mut T, old_size: usize, size: usize) -> *mut T {
12711271
if old_size == 0 {
1272-
allocate(size, mem::min_align_of::<T>()) as *mut T
1272+
allocate(size, mem::align_of::<T>()) as *mut T
12731273
} else {
1274-
reallocate(ptr as *mut u8, old_size, size, mem::min_align_of::<T>()) as *mut T
1274+
reallocate(ptr as *mut u8, old_size, size, mem::align_of::<T>()) as *mut T
12751275
}
12761276
}
12771277

@@ -1280,7 +1280,7 @@ unsafe fn dealloc<T>(ptr: *mut T, len: usize) {
12801280
if mem::size_of::<T>() != 0 {
12811281
deallocate(ptr as *mut u8,
12821282
len * mem::size_of::<T>(),
1283-
mem::min_align_of::<T>())
1283+
mem::align_of::<T>())
12841284
}
12851285
}
12861286

src/libcollections/vec_deque.rs

+4-4
Original file line numberDiff line numberDiff line change
@@ -67,7 +67,7 @@ impl<T> Drop for VecDeque<T> {
6767
if mem::size_of::<T>() != 0 {
6868
heap::deallocate(*self.ptr as *mut u8,
6969
self.cap * mem::size_of::<T>(),
70-
mem::min_align_of::<T>())
70+
mem::align_of::<T>())
7171
}
7272
}
7373
}
@@ -172,7 +172,7 @@ impl<T> VecDeque<T> {
172172

173173
let ptr = unsafe {
174174
if mem::size_of::<T>() != 0 {
175-
let ptr = heap::allocate(size, mem::min_align_of::<T>()) as *mut T;;
175+
let ptr = heap::allocate(size, mem::align_of::<T>()) as *mut T;;
176176
if ptr.is_null() { ::alloc::oom() }
177177
Unique::new(ptr)
178178
} else {
@@ -340,7 +340,7 @@ impl<T> VecDeque<T> {
340340
let ptr = heap::reallocate(*self.ptr as *mut u8,
341341
old,
342342
new,
343-
mem::min_align_of::<T>()) as *mut T;
343+
mem::align_of::<T>()) as *mut T;
344344
if ptr.is_null() { ::alloc::oom() }
345345
self.ptr = Unique::new(ptr);
346346
}
@@ -460,7 +460,7 @@ impl<T> VecDeque<T> {
460460
let ptr = heap::reallocate(*self.ptr as *mut u8,
461461
old,
462462
new_size,
463-
mem::min_align_of::<T>()) as *mut T;
463+
mem::align_of::<T>()) as *mut T;
464464
if ptr.is_null() { ::alloc::oom() }
465465
self.ptr = Unique::new(ptr);
466466
}

src/libcore/mem.rs

+7-13
Original file line numberDiff line numberDiff line change
@@ -155,6 +155,7 @@ pub fn size_of_val<T: ?Sized>(val: &T) -> usize {
155155
/// ```
156156
#[inline]
157157
#[stable(feature = "rust1", since = "1.0.0")]
158+
#[deprecated(reason = "use `align_of` instead", since = "1.1.0")]
158159
pub fn min_align_of<T>() -> usize {
159160
unsafe { intrinsics::min_align_of::<T>() }
160161
}
@@ -170,14 +171,14 @@ pub fn min_align_of<T>() -> usize {
170171
/// ```
171172
#[inline]
172173
#[stable(feature = "rust1", since = "1.0.0")]
174+
#[deprecated(reason = "use `align_of_val` instead", since = "1.1.0")]
173175
pub fn min_align_of_val<T: ?Sized>(val: &T) -> usize {
174176
unsafe { intrinsics::min_align_of_val(val) }
175177
}
176178

177179
/// Returns the alignment in memory for a type.
178180
///
179-
/// This function will return the alignment, in bytes, of a type in memory. If the alignment
180-
/// returned is adhered to, then the type is guaranteed to function properly.
181+
/// This is the alignment used for struct fields. It may be smaller than the preferred alignment.
181182
///
182183
/// # Examples
183184
///
@@ -189,17 +190,10 @@ pub fn min_align_of_val<T: ?Sized>(val: &T) -> usize {
189190
#[inline]
190191
#[stable(feature = "rust1", since = "1.0.0")]
191192
pub fn align_of<T>() -> usize {
192-
// We use the preferred alignment as the default alignment for a type. This
193-
// appears to be what clang migrated towards as well:
194-
//
195-
// http://lists.cs.uiuc.edu/pipermail/cfe-commits/Week-of-Mon-20110725/044411.html
196-
unsafe { intrinsics::pref_align_of::<T>() }
193+
unsafe { intrinsics::min_align_of::<T>() }
197194
}
198195

199-
/// Returns the alignment of the type of the value that `_val` points to.
200-
///
201-
/// This is similar to `align_of`, but function will properly handle types such as trait objects
202-
/// (in the future), returning the alignment for an arbitrary value at runtime.
196+
/// Returns the ABI-required minimum alignment of the type of the value that `val` points to
203197
///
204198
/// # Examples
205199
///
@@ -210,8 +204,8 @@ pub fn align_of<T>() -> usize {
210204
/// ```
211205
#[inline]
212206
#[stable(feature = "rust1", since = "1.0.0")]
213-
pub fn align_of_val<T>(_val: &T) -> usize {
214-
align_of::<T>()
207+
pub fn align_of_val<T: ?Sized>(val: &T) -> usize {
208+
unsafe { intrinsics::min_align_of_val(val) }
215209
}
216210

217211
/// Creates a value initialized to zero.

src/libstd/collections/hash/table.rs

+11-11
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,7 @@ use cmp;
1515
use hash::{Hash, Hasher};
1616
use iter::{Iterator, ExactSizeIterator};
1717
use marker::{Copy, Send, Sync, Sized, self};
18-
use mem::{min_align_of, size_of};
18+
use mem::{align_of, size_of};
1919
use mem;
2020
use num::wrapping::OverflowingOps;
2121
use ops::{Deref, DerefMut, Drop};
@@ -553,9 +553,9 @@ fn calculate_allocation(hash_size: usize, hash_align: usize,
553553
vals_align);
554554
let (end_of_vals, oflo2) = vals_offset.overflowing_add(vals_size);
555555

556-
let min_align = cmp::max(hash_align, cmp::max(keys_align, vals_align));
556+
let align = cmp::max(hash_align, cmp::max(keys_align, vals_align));
557557

558-
(min_align, hash_offset, end_of_vals, oflo || oflo2)
558+
(align, hash_offset, end_of_vals, oflo || oflo2)
559559
}
560560

561561
#[test]
@@ -597,9 +597,9 @@ impl<K, V> RawTable<K, V> {
597597
// factored out into a different function.
598598
let (malloc_alignment, hash_offset, size, oflo) =
599599
calculate_allocation(
600-
hashes_size, min_align_of::<u64>(),
601-
keys_size, min_align_of::< K >(),
602-
vals_size, min_align_of::< V >());
600+
hashes_size, align_of::<u64>(),
601+
keys_size, align_of::< K >(),
602+
vals_size, align_of::< V >());
603603

604604
assert!(!oflo, "capacity overflow");
605605

@@ -630,8 +630,8 @@ impl<K, V> RawTable<K, V> {
630630
let buffer = *self.hashes as *mut u8;
631631
let (keys_offset, vals_offset, oflo) =
632632
calculate_offsets(hashes_size,
633-
keys_size, min_align_of::<K>(),
634-
min_align_of::<V>());
633+
keys_size, align_of::<K>(),
634+
align_of::<V>());
635635
debug_assert!(!oflo, "capacity overflow");
636636
unsafe {
637637
RawBucket {
@@ -1005,9 +1005,9 @@ impl<K, V> Drop for RawTable<K, V> {
10051005
let keys_size = self.capacity * size_of::<K>();
10061006
let vals_size = self.capacity * size_of::<V>();
10071007
let (align, _, size, oflo) =
1008-
calculate_allocation(hashes_size, min_align_of::<u64>(),
1009-
keys_size, min_align_of::<K>(),
1010-
vals_size, min_align_of::<V>());
1008+
calculate_allocation(hashes_size, align_of::<u64>(),
1009+
keys_size, align_of::<K>(),
1010+
vals_size, align_of::<V>());
10111011

10121012
debug_assert!(!oflo, "should be impossible");
10131013

0 commit comments

Comments
 (0)