Miri subtree update #131036

RalfJung · 2024-09-29T20:47:38Z

add test for new abort_unwind function Seems like a good thing to have an explicit test for. Cc rust-lang#130338

fix workflow permissions Copied from rust-lang/docs.rs#2611

looks like we need more permissions The cron job [failed](https://github.com/rust-lang/miri/actions/runs/11007186322/job/30563264024) last night, so let's see if this helps.

Scope CI permissions to the job that needs it I scoped the permissions only to the job that requires them.

…of 'align' for heap allocator coverage, move 'hello' to UNIX HashMap now needs pretty target-specific randomness functions. It still works on Android, but not on FreeBSD and Solarish.

Automatic Rustup

Android: Fixed tests for libc time API Closes rust-lang#3888. There's nothing to do, really. All of the API is already supported by `miri`, but I just tweaked tests a bit to match the data structures and functions from `bionic`.

switch custom target JSON test to a less exotic target We used to test an AVR target here, but while it is nice to test a 16bit target, it is also currently the case that rustc CI does not even check that libcore builds on a 16bit target -- and we don't want Miri to be in the game of maintaining that support. (See rust-lang#130818.) So let's use a tier 2 target as the basis for testing a custom JSON target. (FWIW, we also test wasm32-wasip2 which is tier 3, but I expect it will become tier 2 Soon-ish.)

bump rustc-build-sysroot version This removes an implicit `--cap-lints` in the sysroot build. Let's see if that causes any trouble for the targets we test.

…y more

Automatic Rustup

Update cc to 1.1.22 This version of `cc` contains a fix to prevent spurious rebuilds. Hopefully this should help avoid the CI issues rustc has been having.

add tests for validity of Box with custom allocator Ensure that the validity visitor visits both parts of a box with custom allocator using the right types.

close rust-lang#3914

…fJung implements arc4random_buf shim for freebsd/solarish platforms. close rust-lang#3914

skip old getrandom crate on Solaris Fixes rust-lang/miri#3924 Now we should be able to enable randomness tests on Solarish (and Android, while we are at it).

bump few deps Bumps few things around `miri-script` reducing deps; bump `chrono-tz`.

let rustfmt format imports This matches the recent change in rustc. `@rust-lang/miri` what do you think?

rustbot · 2024-09-29T20:47:42Z

The Miri subtree was changed

cc @rust-lang/miri

rustbot · 2024-09-29T21:08:39Z

These commits modify the Cargo.lock file. Unintentional changes to Cargo.lock can be introduced when switching branches and rebasing PRs.

If this was unintentional then you should revert the changes before this PR is merged.
Otherwise, you can ignore this comment.

RalfJung · 2024-09-29T21:13:31Z

@bors r+

bors · 2024-09-29T21:13:34Z

📌 Commit 8c0adc6 has been approved by RalfJung

It is now in the queue for this repository.

bors · 2024-09-30T03:16:33Z

⌛ Testing commit 8c0adc6 with merge e9df22f...

bors · 2024-09-30T05:38:23Z

☀️ Test successful - checks-actions
Approved by: RalfJung
Pushing e9df22f to master...

rust-timer · 2024-09-30T06:57:22Z

Finished benchmarking commit (e9df22f): comparison URL.

Overall result: ❌ regressions - no action needed

@rustbot label: -perf-regression

Instruction count

This is a highly reliable metric that was used to determine the overall result at the top of this comment.

	mean	range	count
Regressions ❌ (primary)	-	-	0
Regressions ❌ (secondary)	1.8%	[1.6%, 2.1%]	2
Improvements ✅ (primary)	-	-	0
Improvements ✅ (secondary)	-	-	0
All ❌✅ (primary)	-	-	0

Max RSS (memory usage)

Results (primary 1.0%)

This is a less reliable metric that may be of interest but was not used to determine the overall result at the top of this comment.

	mean	range	count
Regressions ❌ (primary)	1.0%	[1.0%, 1.0%]	1
Regressions ❌ (secondary)	-	-	0
Improvements ✅ (primary)	-	-	0
Improvements ✅ (secondary)	-	-	0
All ❌✅ (primary)	1.0%	[1.0%, 1.0%]	1

Cycles

This benchmark run did not return any relevant results for this metric.

Binary size

This benchmark run did not return any relevant results for this metric.

Bootstrap: 768.577s -> 769.779s (0.16%)
Artifact size: 341.42 MiB -> 341.41 MiB (-0.00%)

RalfJung and others added 30 commits September 23, 2024 11:47

add test for new abort_unwind function

0332581

Auto merge of rust-lang#3906 - RalfJung:abort_unwind, r=RalfJung

c36614b

add test for new abort_unwind function Seems like a good thing to have an explicit test for. Cc rust-lang#130338

fix workflow permissions

51d90bb

Auto merge of rust-lang#3907 - RalfJung:perm, r=RalfJung

09e8122

fix workflow permissions Copied from rust-lang/docs.rs#2611

looks like we need more permissions

3a108a7

Auto merge of rust-lang#3908 - RalfJung:perms, r=RalfJung

d47e254

looks like we need more permissions The cron job [failed](https://github.com/rust-lang/miri/actions/runs/11007186322/job/30563264024) last night, so let's see if this helps.

Scope CI permissions to the job that needs it

8885ae9

Auto merge of rust-lang#3909 - Kobzol:ci-permissions, r=RalfJung

878925e

Scope CI permissions to the job that needs it I scoped the permissions only to the job that requires them.

Preparing for merge from rustc

f319ce7

Merge from rustc

3209f2a

fmt

e057c17

add test for std::random

cbe2ec0

avoid using HashMap in fs test

60265e4

update BASIC test list: no longer test HashMap, add libc-mem instead …

a374d1c

…of 'align' for heap allocator coverage, move 'hello' to UNIX HashMap now needs pretty target-specific randomness functions. It still works on Android, but not on FreeBSD and Solarish.

disable AVR test since it doesn't work

9433958

Auto merge of rust-lang#3913 - rust-lang:rustup-2024-09-25, r=RalfJung

b862076

Automatic Rustup

Android: Fixed tests for libc time API

b44888f

enable pthread_cond_timedwait test on Android

c69b457

switch custom target JSON test to a less exotic target

897e941

Preparing for merge from rustc

824884d

Merge from rustc

51087d2

bump rustc-build-sysroot version

adbaf13

Auto merge of rust-lang#3917 - RalfJung:sysroot, r=RalfJung

fcc59fe

bump rustc-build-sysroot version This removes an implicit `--cap-lints` in the sysroot build. Let's see if that causes any trouble for the targets we test.

clippy

294fdb8

fix clippy::needless_return

bf78aec

remove some clippy lints from the list that we do not even trigger an…

18aa926

…y more

Auto merge of rust-lang#3916 - rust-lang:rustup-2024-09-26, r=RalfJung

c361d52

Automatic Rustup

Update cc to 1.1.22

74d7b22

bors and others added 12 commits September 27, 2024 17:58

Auto merge of rust-lang#3920 - ChrisDenton:cc, r=RalfJung

68790c0

Update cc to 1.1.22 This version of `cc` contains a fix to prevent spurious rebuilds. Hopefully this should help avoid the CI issues rustc has been having.

add tests for validity of Box with custom allocator

c1401da

Auto merge of rust-lang#3922 - RalfJung:box-custom-alloc, r=RalfJung

5790eb9

add tests for validity of Box with custom allocator Ensure that the validity visitor visits both parts of a box with custom allocator using the right types.

implements arc4random_buf shim for freebsd/solarish platforms.

f14f72e

close rust-lang#3914

make sure the new function is tested

7cb5a79

Auto merge of rust-lang#3918 - devnexen:solaris_arc4random_buf, r=Ral…

dd572c4

…fJung implements arc4random_buf shim for freebsd/solarish platforms. close rust-lang#3914

skip old getrandom crate on Solaris

ab8fa80

Auto merge of rust-lang#3925 - RalfJung:solarish-random, r=RalfJung

c38fa99

skip old getrandom crate on Solaris Fixes rust-lang/miri#3924 Now we should be able to enable randomness tests on Solarish (and Android, while we are at it).

bump few deps

3e4f64c

Auto merge of rust-lang#3926 - klensy:deps-up2, r=RalfJung

6abc731

bump few deps Bumps few things around `miri-script` reducing deps; bump `chrono-tz`.

let rustfmt format imports

ad8a5ce

Auto merge of rust-lang#3927 - RalfJung:fmt-imports, r=oli-obk,saethlin

e239d07

let rustfmt format imports This matches the recent change in rustc. `@rust-lang/miri` what do you think?

rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Sep 29, 2024

update lockfile

8c0adc6

bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Sep 29, 2024

bors added the merged-by-bors This PR was explicitly merged by bors. label Sep 30, 2024

bors merged commit e9df22f into rust-lang:master Sep 30, 2024
7 checks passed

rustbot added this to the 1.83.0 milestone Sep 30, 2024

This was referenced Sep 30, 2024

stabilize Strict Provenance and Exposed Provenance APIs #130350

Merged

panic when an interpreter error gets unintentionally discarded #130885

Merged

Continue to get rid of ty::Const::{try_}eval* #130950

Merged

RalfJung deleted the miri-sync branch September 30, 2024 09:15

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Miri subtree update #131036

Miri subtree update #131036

RalfJung commented Sep 29, 2024

rustbot commented Sep 29, 2024

rustbot commented Sep 29, 2024

RalfJung commented Sep 29, 2024

bors commented Sep 29, 2024

bors commented Sep 30, 2024

bors commented Sep 30, 2024

rust-timer commented Sep 30, 2024

Miri subtree update #131036

Miri subtree update #131036

Conversation

RalfJung commented Sep 29, 2024

rustbot commented Sep 29, 2024

rustbot commented Sep 29, 2024

RalfJung commented Sep 29, 2024

bors commented Sep 29, 2024

bors commented Sep 30, 2024

bors commented Sep 30, 2024

rust-timer commented Sep 30, 2024

Overall result: ❌ regressions - no action needed

Instruction count

Max RSS (memory usage)

Cycles

Binary size