Code

Update subtree/library to 2025-03-17#289

Code

Merged

tautschnig merged 93 commits intosubtree/librarymodel-checking/verify-rust-std:subtree/libraryfrom

update-subtree/librarymodel-checking/verify-rust-std:update-subtree/libraryCopy head branch name to clipboard

Mar 19, 2025

Commits

Commits on Jan 27, 2025

• Overhaul examples for PermissionsExt

  Show description for 831b6f9
  hkBst

  committed
  831b6f9

  Copy full SHA for 831b6f9

Commits on Feb 15, 2025

• tests: Use `as *const _` instead of `.as_ptr()` in ptr fmt test

  Show description for c874b46
  Enselic

  committed
  c874b46

  Copy full SHA for c874b46

• tests: Add regression test for `Debug` impl of raw pointers

  Enselic

  committed
  632465f

  Copy full SHA for 632465f

• core: Document why Pointee::Metadata can't have 'static bound

  Show description for 3699e94
  

  Enselic

  and

  lukas-code

  committed
  3699e94

  Copy full SHA for 3699e94

• core: Make `Debug` impl of raw pointers print metadata if present

  Show description for 72b2e53
  

  3 peoplecommitted
  72b2e53

  Copy full SHA for 72b2e53

Commits on Feb 24, 2025

• libstd: rustdoc: correct note on fds 0/1/2 pre-main

  Show description for 43d41e3
  nabijaczleweli

  committed
  43d41e3

  Copy full SHA for 43d41e3

Commits on Feb 25, 2025

• fix doc path in std::fmt macro

  tapanprakasht

  committed
  a2640b5

  Copy full SHA for a2640b5

Commits on Mar 1, 2025

• docs(std): mention LazyLock in const/static HashMap construction

  karolzwolak

  committed
  4c2c771

  Copy full SHA for 4c2c771

Commits on Mar 2, 2025

• doc: clarify that consume can be called after BufReader::peek

  lolbinarycat

  committed
  14a8ef1

  Copy full SHA for 14a8ef1

• uefi: helpers: Add DevicePathNode abstractions

  Show description for aa040b8
  Ayush1325

  committed
  aa040b8

  Copy full SHA for aa040b8

Commits on Mar 6, 2025

• Remove #[cfg(not(test))] gates in core

  Show description for 01ab9ca
  thaliaarchi

  committed
  01ab9ca

  Copy full SHA for 01ab9ca

Commits on Mar 8, 2025

• Expand `CloneToUninit` documentation.

  Show description for 2d5f3b9
  kpreid

  committed
  2d5f3b9

  Copy full SHA for 2d5f3b9

• Reword documentation about SocketAddr having varying layout

  clarfonthey

  committed
  2833f56

  Copy full SHA for 2833f56

Commits on Mar 9, 2025

• expose `is_s390x_feature_detected` from `std::arch`

  folkertdev

  committed
  c620ac7

  Copy full SHA for c620ac7

Commits on Mar 10, 2025

• Copy from userspace to MaybeUninit

  Show description for 3d3632f
  

  Jethro Beekman

  and

  thaliaarchi

  committed
  3d3632f

  Copy full SHA for 3d3632f

• Implement read_buf and vectored read/write for SGX stdio

  thaliaarchi

  committed
  1013428

  Copy full SHA for 1013428

• fix ptr inconsistency in Rc Arc

  DiuDiu777

  committed
  01b5cf8

  Copy full SHA for 01b5cf8

• fix copy typo

  DiuDiu777

  committed
  ba81c6a

  Copy full SHA for ba81c6a

• add missing doc for intrinsic

  DiuDiu777

  committed
  675530b

  Copy full SHA for 675530b

• Apply rustc-0023-Add-Trusty-OS-support-to-Rust-std.patch

  randomPoison

  committed
  eced97a

  Copy full SHA for eced97a

• Apply rustc-0054-Add-std-os-fd-support-for-Trusty.patch

  randomPoison

  committed
  2a30421

  Copy full SHA for 2a30421

• Format after patches have been applied

  randomPoison

  committed
  a2367dc

  Copy full SHA for a2367dc

• Disable unsupported tests

  Show description for e844f0e
  randomPoison

  committed
  e844f0e

  Copy full SHA for e844f0e

• Remove custom TLS implementation for Trusty targets

  randomPoison

  committed
  98b889d

  Copy full SHA for 98b889d

• Update Trusty support to account for recent libstd reorganization

  randomPoison

  committed
  eada4bc

  Copy full SHA for eada4bc

• Rewrite comments about dropping and leaking.

  kpreid

  committed
  143dcf7

  Copy full SHA for 143dcf7

• Remove unused file

  randomPoison

  committed
  f521173

  Copy full SHA for f521173

• Rewrite example to not deal with `Copy` at all.

  Show description for b46ae3e
  kpreid

  committed
  b46ae3e

  Copy full SHA for b46ae3e

• Expand and organize `offset_of!` documentation.

  Show description for 47a68bb
  kpreid

  committed
  47a68bb

  Copy full SHA for 47a68bb

Commits on Mar 11, 2025

• Move `offset_of_enum` documentation to unstable book; add `offset_of_slice`.

  kpreid

  committed
  8cb1b55

  Copy full SHA for 8cb1b55

• debug-assert that the size_hint is well-formed in `collect`

  scottmcm

  committed
  2e6e31c

  Copy full SHA for 2e6e31c

• Stabilize `std::io::ErrorKind::InvalidFilename`

  GrigorenkoPV

  committed
  2ef7adc

  Copy full SHA for 2ef7adc

• Enable `f16` tests for `powf`

  Show description for 889b773
  tgross35

  committed
  889b773

  Copy full SHA for 889b773

• remove must_use from <*const T>::expose_provenance

  RalfJung

  committed
  22e5fde

  Copy full SHA for 22e5fde

• bump libc to 0.2.171 to fix xous

  Show description for 8511d9f
  xobs

  committed
  8511d9f

  Copy full SHA for 8511d9f

• Migrate core to Rust 2024

  ehuss

  committed
  49b59df

  Copy full SHA for 49b59df

• Migrate alloc to Rust 2024

  ehuss

  committed
  ee6b801

  Copy full SHA for ee6b801

• Migrate panic_abort to Rust 2024

  ehuss

  committed
  a354476

  Copy full SHA for a354476

• Migrate panic_unwind to Rust 2024

  ehuss

  committed
  e41134e

  Copy full SHA for e41134e

• Migrate unwind to Rust 2024

  ehuss

  committed
  b1df87f

  Copy full SHA for b1df87f

• Migrate std to Rust 2024

  ehuss

  committed
  541f05a

  Copy full SHA for 541f05a

• Migrate test to Rust 2024

  ehuss

  committed
  c90c907

  Copy full SHA for c90c907

• Migrate proc_macro to Rust 2024

  ehuss

  committed
  239af34

  Copy full SHA for 239af34

• Migrate profiler_builtins to Rust 2024

  ehuss

  committed
  b8e1c3e

  Copy full SHA for b8e1c3e

• Migrated the rustc-std-workspace crates to Rust 2024

  ehuss

  committed
  ab9fcb7

  Copy full SHA for ab9fcb7

• Migrate the sysroot crate to Rust 2024

  ehuss

  committed
  68ea0b4

  Copy full SHA for 68ea0b4

• Migrate windows-targets to Rust 2024

  ehuss

  committed
  d8f103c

  Copy full SHA for d8f103c

• Remove unnecessary parens

  Show description for a1e7fd4
  

  randomPoison

  and

  bjorn3

  authored
  a1e7fd4

  Copy full SHA for a1e7fd4

• Simulate OOM for the `try_oom_error` test

  Show description for 76976e8
  cuviper

  committed
  76976e8

  Copy full SHA for 76976e8

Commits on Mar 12, 2025

• Fix `UserRef<[T]>::copy_to_enclave_vec`

  Show description for 6e3424a
  thaliaarchi

  committed
  6e3424a

  Copy full SHA for 6e3424a

• Rollup merge of #134076 - GrigorenkoPV:InvalidFilename, r=joboet

  Show description for 68f6d81
  Manishearth

  authored
  68f6d81

  Copy full SHA for 68f6d81

• Remove `feature = "hash_raw_entry"`

  cuviper

  committed
  673c18b

  Copy full SHA for 673c18b

Commits on Mar 13, 2025

• Auto merge of #138416 - Manishearth:rollup-fejor9p, r=Manishearth

  Show description for b296531
  bors

  committed
  b296531

  Copy full SHA for b296531

• Update library/core/src/intrinsics/mod.rs

  Show description for 837ce42
  

  DiuDiu777

  and

  thomcc

  authored
  837ce42

  Copy full SHA for 837ce42

• Update library/core/src/intrinsics/mod.rs

  Show description for 71b93d0
  

  DiuDiu777

  and

  thomcc

  authored
  71b93d0

  Copy full SHA for 71b93d0

• Update library/core/src/intrinsics/mod.rs

  Show description for 4b0a0e3
  

  DiuDiu777

  and

  thomcc

  authored
  4b0a0e3

  Copy full SHA for 4b0a0e3

• Allow more top-down inlining for single-BB callees

  Show description for 983420c
  scottmcm

  committed
  983420c

  Copy full SHA for 983420c

• atomic intrinsics: clarify which types are supported and (if applicable) what happens with provenance

  RalfJung

  committed
  91d07fe

  Copy full SHA for 91d07fe

• Rollup merge of #136842 - randomPoison:trusty-libstd-v3, r=ChrisDenton

  Show description for 007b229
  matthiaskrgr

  authored
  007b229

  Copy full SHA for 007b229

• Rollup merge of #137355 - thaliaarchi:io-optional-methods/sgx, r=ChrisDenton

  Show description for b60598f
  matthiaskrgr

  authored
  b60598f

  Copy full SHA for b60598f

• Rollup merge of #138162 - ehuss:library-2024, r=cuviper

  Show description for 5806ba3
  matthiaskrgr

  authored
  5806ba3

  Copy full SHA for 5806ba3

• Rollup merge of #138370 - cuviper:try_oom_error, r=jhpratt

  Show description for 746a460
  matthiaskrgr

  authored
  746a460

  Copy full SHA for 746a460

• Rollup merge of #138343 - tgross35:f16-powf, r=joboet

  Show description for 6a0e784
  matthiaskrgr

  authored
  6a0e784

  Copy full SHA for 6a0e784

• Rollup merge of #138356 - betrusted-io:bump-libc-0.2.171, r=jhpratt

  Show description for 48b8ba3
  matthiaskrgr

  authored
  48b8ba3

  Copy full SHA for 48b8ba3

• Auto merge of #138450 - matthiaskrgr:rollup-4im25vf, r=matthiaskrgr

  Show description for 3d287b4
  bors

  committed
  3d287b4

  Copy full SHA for 3d287b4

• Remove usage of legacy scheme paths on RedoxOS

  Show description for a2174e6
  bjorn3

  committed
  a2174e6

  Copy full SHA for a2174e6

• Rollup merge of #138425 - cuviper:remove-hash_raw_entry, r=jhpratt

  Show description for bf96539
  matthiaskrgr

  authored
  bf96539

  Copy full SHA for bf96539

• Remove has_redox_scheme

  Show description for ad95c16
  bjorn3

  committed
  ad95c16

  Copy full SHA for ad95c16

Commits on Mar 14, 2025

• Deny impls for BikeshedGuaranteedNoDrop

  compiler-errors

  committed
  2fb35ea

  Copy full SHA for 2fb35ea

• Auto merge of #138157 - scottmcm:inline-more-tiny-things, r=oli-obk

  Show description for c6020bf
  bors

  committed
  c6020bf

  Copy full SHA for c6020bf

• Rollup merge of #136001 - hkBst:patch-21, r=cuviper

  Show description for 9120666
  jhpratt

  authored
  9120666

  Copy full SHA for 9120666

• Rollup merge of #136230 - clarfonthey:net-memory-layout-assumptions, r=cuviper

  Show description for 8535358
  jhpratt

  authored
  8535358

  Copy full SHA for 8535358

• Rollup merge of #137870 - karolzwolak:lazylock-const-hashmaps-137566, r=cuviper

  Show description for bc52fcd
  jhpratt

  authored
  bc52fcd

  Copy full SHA for bc52fcd

• Rollup merge of #138398 - RalfJung:atomic-intrinsics-provenance, r=nnethercote

  Show description for 8c12431
  jhpratt

  authored
  8c12431

  Copy full SHA for 8c12431

• Rollup merge of #138457 - bjorn3:redox_scheme_paths, r=Noratrieb

  Show description for 3c6161f
  jhpratt

  authored
  3c6161f

  Copy full SHA for 3c6161f

• Auto merge of #138480 - jhpratt:rollup-y3b8wu5, r=jhpratt

  Show description for 0b766fc
  bors

  committed
  0b766fc

  Copy full SHA for 0b766fc

• Auto merge of #137424 - Ayush1325:uefi-path-node, r=nicholasbishop,cuviper

  Show description for 54e9d10
  bors

  committed
  54e9d10

  Copy full SHA for 54e9d10

• Rollup merge of #138353 - RalfJung:expose-provenance-must-use, r=ibraheemdev

  Show description for 1e956e8
  fmease

  authored
  1e956e8

  Copy full SHA for 1e956e8

• Rollup merge of #138477 - compiler-errors:deny-bikeshed-guaranteed-no-drop, r=lcnr

  Show description for 6eec9b4
  fmease

  authored
  6eec9b4

  Copy full SHA for 6eec9b4

• Auto merge of #138506 - fmease:rollup-ve4h2eq, r=fmease

  Show description for 924a1b7
  bors

  committed
  924a1b7

  Copy full SHA for 924a1b7

Commits on Mar 15, 2025

• Optimize multi-char string patterns

  yotamofek

  committed
  0c57aa9

  Copy full SHA for 0c57aa9

Commits on Mar 16, 2025

• Rollup merge of #133055 - kpreid:clone-uninit-doc, r=Mark-Simulacrum

  Show description for 3f4f42a
  jieyouxu

  authored
  3f4f42a

  Copy full SHA for 3f4f42a

• Rollup merge of #137890 - lolbinarycat:docs-bufreader-peek-consume, r=Mark-Simulacrum

  Show description for b65e296
  jieyouxu

  authored
  b65e296

  Copy full SHA for b65e296

• Rollup merge of #138082 - thaliaarchi:slice-cfg-not-test, r=thomcc

  Show description for 0e61dbc
  jieyouxu

  authored
  0e61dbc

  Copy full SHA for 0e61dbc

• Rollup merge of #138275 - folkertdev:expose-is-s390x-feature-detected, r=Mark-Simulacrum

  Show description for 38b0b10
  jieyouxu

  authored
  38b0b10

  Copy full SHA for 38b0b10

• Rollup merge of #138303 - DiuDiu777:rc-fix, r=Mark-Simulacrum

  Show description for f708a67
  jieyouxu

  authored
  f708a67

  Copy full SHA for f708a67

• Rollup merge of #138309 - DiuDiu777:intrinsic-doc-fix, r=thomcc

  Show description for 7098dd7
  jieyouxu

  authored
  7098dd7

  Copy full SHA for 7098dd7

• Rollup merge of #138323 - kpreid:offset-of-doc, r=Mark-Simulacrum

  Show description for 8112a0c
  jieyouxu

  authored
  8112a0c

  Copy full SHA for 8112a0c

• Rollup merge of #138329 - scottmcm:assert-hint, r=Mark-Simulacrum

  Show description for c5f575e
  jieyouxu

  authored
  c5f575e

  Copy full SHA for c5f575e

• Rollup merge of #135080 - Enselic:debug-ptr-metadata, r=thomcc

  Show description for 59a117d
  jieyouxu

  authored
  59a117d

  Copy full SHA for 59a117d

• Rollup merge of #137492 - nabijaczleweli:master, r=thomcc

  Show description for 3a03249
  jieyouxu

  authored
  3a03249

  Copy full SHA for 3a03249

• Rollup merge of #137538 - tapanprakasht:fix-doc-path, r=thomcc

  Show description for 1cb95f4
  jieyouxu

  authored
  1cb95f4

  Copy full SHA for 1cb95f4

• Auto merge of #138537 - yotamofek:pr/lib/multi-char-pattern, r=jhpratt

  Show description for 976d3e0
  bors

  committed
  976d3e0

  Copy full SHA for 976d3e0