Nightly-2023-08-13 (#1249)

facebookexperimental · Nov 12, 2023 · dec7ca9 · dec7ca9
1 parent b602f32
commit dec7ca9
Show file tree

Hide file tree

Showing 10 changed files with 13 additions and 54 deletions.
diff --git a/binaries/summary_store.tar b/binaries/summary_store.tar
diff --git a/checker/src/known_names.rs b/checker/src/known_names.rs
@@ -225,6 +225,7 @@ impl KnownNamesCache {
                         "bswap" => KnownNames::StdIntrinsicsBswap,
                         "ceilf32" => KnownNames::StdIntrinsicsCeilf32,
                         "ceilf64" => KnownNames::StdIntrinsicsCeilf64,
+                        "compare_bytes" => KnownNames::StdSliceCmpMemcmp,
                         "copysignf32" => KnownNames::StdIntrinsicsCopysignf32,
                         "copysignf64" => KnownNames::StdIntrinsicsCopysignf64,
                         "cosf32" => KnownNames::StdIntrinsicsCosf32,

diff --git a/checker/src/utils.rs b/checker/src/utils.rs
@@ -388,7 +388,7 @@ pub fn summary_key_str(tcx: TyCtxt<'_>, def_id: DefId) -> Rc<str> {
                     | DefKind::Union
                     | DefKind::Enum
                     | DefKind::Variant
-                    | DefKind::TyAlias
+                    | DefKind::TyAlias { .. }
                     | DefKind::Impl { .. },
             ) {
                 name.push('_');

diff --git a/checker/tests/call_graph/fnptr_fold.rs b/checker/tests/call_graph/fnptr_fold.rs
@@ -68,10 +68,10 @@ commit;
 /* EXPECTED:CALL_SITES{
   "files": [
     "tests/call_graph/fnptr_fold.rs",
-    "/rustc/474709a9a2a74a8bcf0055fadb335d0ca0d2d939/library/std/src/io/stdio.rs",
-    "/rustc/474709a9a2a74a8bcf0055fadb335d0ca0d2d939/library/core/src/fmt/mod.rs",
-    "/rustc/474709a9a2a74a8bcf0055fadb335d0ca0d2d939/library/core/src/slice/mod.rs",
-    "/rustc/474709a9a2a74a8bcf0055fadb335d0ca0d2d939/library/core/src/ptr/metadata.rs"
+    "/rustc/28eb857b9504bd05bbed0cf8af8e825fbdbb1fa1/library/std/src/io/stdio.rs",
+    "/rustc/28eb857b9504bd05bbed0cf8af8e825fbdbb1fa1/library/core/src/fmt/mod.rs",
+    "/rustc/28eb857b9504bd05bbed0cf8af8e825fbdbb1fa1/library/core/src/slice/mod.rs",
+    "/rustc/28eb857b9504bd05bbed0cf8af8e825fbdbb1fa1/library/core/src/ptr/metadata.rs"
   ],
   "callables": [
     {

diff --git a/checker/tests/call_graph/static_fold.rs b/checker/tests/call_graph/static_fold.rs
@@ -64,10 +64,10 @@ commit;
 /* EXPECTED:CALL_SITES{
   "files": [
     "tests/call_graph/static_fold.rs",
-    "/rustc/474709a9a2a74a8bcf0055fadb335d0ca0d2d939/library/std/src/io/stdio.rs",
-    "/rustc/474709a9a2a74a8bcf0055fadb335d0ca0d2d939/library/core/src/fmt/mod.rs",
-    "/rustc/474709a9a2a74a8bcf0055fadb335d0ca0d2d939/library/core/src/slice/mod.rs",
-    "/rustc/474709a9a2a74a8bcf0055fadb335d0ca0d2d939/library/core/src/ptr/metadata.rs"
+    "/rustc/28eb857b9504bd05bbed0cf8af8e825fbdbb1fa1/library/std/src/io/stdio.rs",
+    "/rustc/28eb857b9504bd05bbed0cf8af8e825fbdbb1fa1/library/core/src/fmt/mod.rs",
+    "/rustc/28eb857b9504bd05bbed0cf8af8e825fbdbb1fa1/library/core/src/slice/mod.rs",
+    "/rustc/28eb857b9504bd05bbed0cf8af8e825fbdbb1fa1/library/core/src/ptr/metadata.rs"
   ],
   "callables": [
     {

diff --git a/checker/tests/run-pass/union.rs b/checker/tests/run-pass/union.rs
@@ -6,8 +6,6 @@
 
 // A test that checks that a value is tracked through a union.
 
-#![feature(allow_internal_unstable)]
-
 use mirai_annotations::*;
 
 pub const fn as_bytes(_self: &str) -> &[u8] {

diff --git a/checker/tests/run-pass/weak_lookup.rs b/checker/tests/run-pass/weak_lookup.rs
diff --git a/examples/tag_analysis/verification_status/src/lib.rs b/examples/tag_analysis/verification_status/src/lib.rs
@@ -76,7 +76,7 @@ pub mod unverified_objects {
 }
 
 pub mod verified_objects {
-    pub fn tes_verified_msg() {
+    pub fn test_verified_msg() {
         let sender = crate::NetworkSender::new("Alice".to_owned());
         let msg = crate::VoteMsg::new(122, true);
         if let Some(()) = msg.verify() {

diff --git a/rebuild_std.sh b/rebuild_std.sh
@@ -9,7 +9,7 @@
 # Exit immediately if a command exits with a non-zero status.
 set -e
 
-cargo build
+cargo build --no-default-features
 
 # build the mirai-standard-contracts crate
 touch standard_contracts/src/lib.rs

diff --git a/rust-toolchain.toml b/rust-toolchain.toml
@@ -1,3 +1,3 @@
 [toolchain]
-channel = "nightly-2023-08-04"
+channel = "nightly-2023-08-13"
 components = [ "clippy", "rustfmt", "rustc-dev", "rust-src", "rust-std", "llvm-tools-preview" ]