This commit is contained in:
kadiwa 2023-04-17 09:16:07 +02:00
parent 8a778ca1e3
commit 85653831f7
No known key found for this signature in database
GPG Key ID: 0B52AE391C674CE5
7 changed files with 10 additions and 10 deletions

View File

@ -445,7 +445,7 @@ lint_builtin_incomplete_features = the feature `{$name}` is incomplete and may n
.help = consider using `min_{$name}` instead, which is more stable and complete .help = consider using `min_{$name}` instead, which is more stable and complete
lint_builtin_unpermitted_type_init_zeroed = the type `{$ty}` does not permit zero-initialization lint_builtin_unpermitted_type_init_zeroed = the type `{$ty}` does not permit zero-initialization
lint_builtin_unpermitted_type_init_unint = the type `{$ty}` does not permit being left uninitialized lint_builtin_unpermitted_type_init_uninit = the type `{$ty}` does not permit being left uninitialized
lint_builtin_unpermitted_type_init_label = this code causes undefined behavior when executed lint_builtin_unpermitted_type_init_label = this code causes undefined behavior when executed
lint_builtin_unpermitted_type_init_label_suggestion = help: use `MaybeUninit<T>` instead, and only call `assume_init` after initialization is done lint_builtin_unpermitted_type_init_label_suggestion = help: use `MaybeUninit<T>` instead, and only call `assume_init` after initialization is done

View File

@ -2628,7 +2628,7 @@ impl<'tcx> LateLintPass<'tcx> for InvalidValue {
if let Some(err) = with_no_trimmed_paths!(ty_find_init_error(cx, conjured_ty, init)) { if let Some(err) = with_no_trimmed_paths!(ty_find_init_error(cx, conjured_ty, init)) {
let msg = match init { let msg = match init {
InitKind::Zeroed => fluent::lint_builtin_unpermitted_type_init_zeroed, InitKind::Zeroed => fluent::lint_builtin_unpermitted_type_init_zeroed,
InitKind::Uninit => fluent::lint_builtin_unpermitted_type_init_unint, InitKind::Uninit => fluent::lint_builtin_unpermitted_type_init_uninit,
}; };
let sub = BuiltinUnpermittedTypeInitSub { err }; let sub = BuiltinUnpermittedTypeInitSub { err };
cx.emit_spanned_lint( cx.emit_spanned_lint(

View File

@ -132,8 +132,8 @@ impl<T: ?Sized> *const T {
/// ``` /// ```
#[unstable(feature = "ptr_to_from_bits", issue = "91126")] #[unstable(feature = "ptr_to_from_bits", issue = "91126")]
#[deprecated( #[deprecated(
since = "1.67", since = "1.67.0",
note = "replaced by the `exposed_addr` method, or update your code \ note = "replaced by the `expose_addr` method, or update your code \
to follow the strict provenance rules using its APIs" to follow the strict provenance rules using its APIs"
)] )]
#[inline(always)] #[inline(always)]
@ -161,7 +161,7 @@ impl<T: ?Sized> *const T {
/// ``` /// ```
#[unstable(feature = "ptr_to_from_bits", issue = "91126")] #[unstable(feature = "ptr_to_from_bits", issue = "91126")]
#[deprecated( #[deprecated(
since = "1.67", since = "1.67.0",
note = "replaced by the `ptr::from_exposed_addr` function, or update \ note = "replaced by the `ptr::from_exposed_addr` function, or update \
your code to follow the strict provenance rules using its APIs" your code to follow the strict provenance rules using its APIs"
)] )]

View File

@ -138,8 +138,8 @@ impl<T: ?Sized> *mut T {
/// ``` /// ```
#[unstable(feature = "ptr_to_from_bits", issue = "91126")] #[unstable(feature = "ptr_to_from_bits", issue = "91126")]
#[deprecated( #[deprecated(
since = "1.67", since = "1.67.0",
note = "replaced by the `exposed_addr` method, or update your code \ note = "replaced by the `expose_addr` method, or update your code \
to follow the strict provenance rules using its APIs" to follow the strict provenance rules using its APIs"
)] )]
#[inline(always)] #[inline(always)]
@ -167,7 +167,7 @@ impl<T: ?Sized> *mut T {
/// ``` /// ```
#[unstable(feature = "ptr_to_from_bits", issue = "91126")] #[unstable(feature = "ptr_to_from_bits", issue = "91126")]
#[deprecated( #[deprecated(
since = "1.67", since = "1.67.0",
note = "replaced by the `ptr::from_exposed_addr_mut` function, or \ note = "replaced by the `ptr::from_exposed_addr_mut` function, or \
update your code to follow the strict provenance rules using its APIs" update your code to follow the strict provenance rules using its APIs"
)] )]

View File

@ -9,7 +9,7 @@
// CHECK-LABEL: define{{.*}}i32 @nothing // CHECK-LABEL: define{{.*}}i32 @nothing
// CHECK-SAME: [[NOTHING_ATTRS:#[0-9]+]] // CHECK-SAME: [[NOTHING_ATTRS:#[0-9]+]]
// SIZE-OPT: ret i32 4 // SIZE-OPT: ret i32 4
// SPEEC-OPT: ret i32 4 // SPEED-OPT: ret i32 4
#[no_mangle] #[no_mangle]
pub fn nothing() -> i32 { pub fn nothing() -> i32 {
2 + 2 2 + 2

View File

@ -1,5 +1,5 @@
error[E0381]: used binding `x` isn't initialized error[E0381]: used binding `x` isn't initialized
--> $DIR/borrowck-block-unint.rs:4:11 --> $DIR/borrowck-block-uninit.rs:4:11
| |
LL | let x: isize; LL | let x: isize;
| - binding declared here but left uninitialized | - binding declared here but left uninitialized