Skip to content

Commit 716b373

Browse files
committed
---
yaml --- r: 234915 b: refs/heads/stable c: 1032384 h: refs/heads/master i: 234913: 18fdb27 234911: bef17ae v: v3
1 parent 2539d01 commit 716b373

File tree

26 files changed

+208
-128
lines changed

26 files changed

+208
-128
lines changed

[refs]

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -29,7 +29,7 @@ refs/heads/tmp: afae2ff723393b3ab4ccffef6ac7c6d1809e2da0
2929
refs/tags/1.0.0-alpha.2: 4c705f6bc559886632d3871b04f58aab093bfa2f
3030
refs/tags/homu-tmp: f859507de8c410b648d934d8f5ec1c52daac971d
3131
refs/tags/1.0.0-beta: 8cbb92b53468ee2b0c2d3eeb8567005953d40828
32-
refs/heads/stable: 74fbe3e088f1c6c2a1492505578e116ad554f508
32+
refs/heads/stable: 103238466178acdfb7f2eebe85408971cb985648
3333
refs/tags/1.0.0: 55bd4f8ff2b323f317ae89e254ce87162d52a375
3434
refs/tags/1.1.0: bc3c16f09287e5545c1d3f76b7abd54f2eca868b
3535
refs/tags/1.2.0: f557861f822c34f07270347b94b5280de20a597e

branches/stable/RELEASES.md

Lines changed: 4 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -13,10 +13,9 @@ Highlights
1313
* A `symlink_metadata` function has been added.
1414
* The `fs::Metadata` structure now lowers to its OS counterpart, providing
1515
access to all underlying information.
16-
* The compiler contains extended explanations of many errors. When it
17-
emits such an error it also suggests using the `--explain` flag to
18-
read the extended explanations, which are also [cataloged on the web
19-
site][err].
16+
* The compiler now contains extended explanations of many errors. When an error
17+
with an explanation occurs the compiler suggests using the `--explain` flag
18+
to read the explanation. Error explanations are also [available online][err-index].
2019
* Thanks to multiple [improvements][sk] to [type checking][pre], as
2120
well as other work, the time to bootstrap the compiler decreased by
2221
32%.
@@ -87,7 +86,7 @@ Misc
8786
[`IntoIterator`]: http://doc.rust-lang.org/nightly/std/iter/trait.IntoIterator.html
8887
[`From`]: http://doc.rust-lang.org/nightly/std/convert/trait.From.html
8988
[rf]: https://github.com/rust-lang/rust/pull/24491
90-
[err]: http://doc.rust-lang.org/error-index.html
89+
[err-index]: http://doc.rust-lang.org/error-index.html
9190
[sk]: https://github.com/rust-lang/rust/pull/24615
9291
[pre]: https://github.com/rust-lang/rust/pull/25323
9392
[file]: https://github.com/rust-lang/rust/pull/24598

branches/stable/src/doc/trpl/ffi.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -309,8 +309,8 @@ and invokes callbacks from there.
309309
In these cases access to Rust data structures inside the callbacks is
310310
especially unsafe and proper synchronization mechanisms must be used.
311311
Besides classical synchronization mechanisms like mutexes, one possibility in
312-
Rust is to use channels (in `std::comm`) to forward data from the C thread
313-
that invoked the callback into a Rust thread.
312+
Rust is to use channels (in `std::sync::mpsc`) to forward data from the C
313+
thread that invoked the callback into a Rust thread.
314314
315315
If an asynchronous callback targets a special object in the Rust address space
316316
it is also absolutely necessary that no more callbacks are performed by the

branches/stable/src/liballoc/arc.rs

Lines changed: 3 additions & 3 deletions
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
}

branches/stable/src/liballoc/rc.rs

Lines changed: 4 additions & 4 deletions
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
}

branches/stable/src/libarena/lib.rs

Lines changed: 6 additions & 6 deletions
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

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

Lines changed: 5 additions & 5 deletions
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(

branches/stable/src/libcollections/vec.rs

Lines changed: 7 additions & 7 deletions
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

branches/stable/src/libcollections/vec_deque.rs

Lines changed: 4 additions & 4 deletions
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
}

branches/stable/src/libcore/mem.rs

Lines changed: 7 additions & 13 deletions
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.

branches/stable/src/librustc/diagnostics.rs

Lines changed: 52 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -984,6 +984,57 @@ From [RFC 246]:
984984
[RFC 246]: https://github.com/rust-lang/rfcs/pull/246
985985
"##,
986986

987+
E0395: r##"
988+
The value assigned to a constant expression must be known at compile time,
989+
which is not the case when comparing raw pointers. Erroneous code example:
990+
991+
```
992+
static foo: i32 = 42;
993+
static bar: i32 = 43;
994+
995+
static baz: bool = { (&foo as *const i32) == (&bar as *const i32) };
996+
// error: raw pointers cannot be compared in statics!
997+
```
998+
999+
Please check that the result of the comparison can be determined at compile time
1000+
or isn't assigned to a constant expression. Example:
1001+
1002+
```
1003+
static foo: i32 = 42;
1004+
static bar: i32 = 43;
1005+
1006+
let baz: bool = { (&foo as *const i32) == (&bar as *const i32) };
1007+
// baz isn't a constant expression so it's ok
1008+
```
1009+
"##,
1010+
1011+
E0396: r##"
1012+
The value assigned to a constant expression must be known at compile time,
1013+
which is not the case when dereferencing raw pointers. Erroneous code
1014+
example:
1015+
1016+
```
1017+
const foo: i32 = 42;
1018+
const baz: *const i32 = (&foo as *const i32);
1019+
1020+
const deref: i32 = *baz;
1021+
// error: raw pointers cannot be dereferenced in constants
1022+
```
1023+
1024+
To fix this error, please do not assign this value to a constant expression.
1025+
Example:
1026+
1027+
```
1028+
const foo: i32 = 42;
1029+
const baz: *const i32 = (&foo as *const i32);
1030+
1031+
unsafe { let deref: i32 = *baz; }
1032+
// baz isn't a constant expression so it's ok
1033+
```
1034+
1035+
You'll also note that this assignment must be done in an unsafe block!
1036+
"##,
1037+
9871038
E0397: r##"
9881039
It is not allowed for a mutable static to allocate or have destructors. For
9891040
example:
@@ -1039,7 +1090,5 @@ register_diagnostics! {
10391090
E0314, // closure outlives stack frame
10401091
E0315, // cannot invoke closure outside of its lifetime
10411092
E0316, // nested quantification of lifetimes
1042-
E0370, // discriminant overflow
1043-
E0395, // pointer comparison in const-expr
1044-
E0396 // pointer dereference in const-expr
1093+
E0370 // discriminant overflow
10451094
}

0 commit comments

Comments
 (0)