From 629466d0420d9289ac237b412e63a555c2baeeae Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Sat, 19 Aug 2023 17:22:37 +0200 Subject: [PATCH 1/2] we reserve the right to reduce our amount of UB --- src/behavior-considered-undefined.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/behavior-considered-undefined.md b/src/behavior-considered-undefined.md index 9d1732d07..f42b7860f 100644 --- a/src/behavior-considered-undefined.md +++ b/src/behavior-considered-undefined.md @@ -16,9 +16,9 @@ undefined behavior, it is *unsound*. ***Warning:*** The following list is not exhaustive. There is no formal model of Rust's semantics for what is and is not allowed in unsafe code, so there may be -more behavior considered unsafe. The following list is just what we know for -sure is undefined behavior. Please read the [Rustonomicon] before writing unsafe -code. +more behavior considered unsafe. We also reserve the right to make some of the +behavior in that list defined in the future. +Please read the [Rustonomicon] before writing unsafe code. From 434bd02538791e069c6cedb86a7891b229e71a99 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Tue, 12 Sep 2023 21:02:26 +0200 Subject: [PATCH 2/2] more wording tweaks --- src/behavior-considered-undefined.md | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/src/behavior-considered-undefined.md b/src/behavior-considered-undefined.md index f42b7860f..f140fb20c 100644 --- a/src/behavior-considered-undefined.md +++ b/src/behavior-considered-undefined.md @@ -14,10 +14,14 @@ undefined behavior, it is *unsound*.
-***Warning:*** The following list is not exhaustive. There is no formal model of -Rust's semantics for what is and is not allowed in unsafe code, so there may be -more behavior considered unsafe. We also reserve the right to make some of the -behavior in that list defined in the future. +***Warning:*** The following list is not exhaustive; it may grow or shrink. +There is no formal model of Rust's semantics for what is and is not allowed in +unsafe code, so there may be more behavior considered unsafe. We also reserve +the right to make some of the behavior in that list defined in the future. In +other words, this list does not say that anything will *definitely* always be +undefined in all future Rust version (but we might make such commitments for +some list items in the future). + Please read the [Rustonomicon] before writing unsafe code.