search

rust-lang / miri

An interpreter for Rust's mid-level intermediate representation
Apache License 2.0
4.16k stars 318 forks source link

sync: better error in invalid synchronization primitive ID #3560

Closed RalfJung closed 2 months ago

RalfJung commented 2 months ago

@devnexen this should fix the ICE in your PR (but it won't fix the code, it will just report proper UB instead).

RalfJung commented 2 months ago

@bors r+

bors commented 2 months ago

:pushpin: Commit 8a0cfa1ff8d31e2b263aab45606e7f7949eebf51 has been approved by RalfJung

It is now in the queue for this repository.

bors commented 2 months ago

:hourglass: Testing commit 8a0cfa1ff8d31e2b263aab45606e7f7949eebf51 with merge f8e0e22cfbb384857fcdd4eaf539e790d3abe64c...

RalfJung commented 2 months ago

@bors retry r+

bors commented 2 months ago

:pushpin: Commit 45e2c5267391541ca1ad46941330410cac902bb3 has been approved by RalfJung

It is now in the queue for this repository.

bors commented 2 months ago

:hourglass: Testing commit 45e2c5267391541ca1ad46941330410cac902bb3 with merge 7f2945895de55ad9567320819d43a3f7f2bba141...

RalfJung commented 2 months ago

@bors retry r+

bors commented 2 months ago

:pushpin: Commit 6b2e8f04593d23a2218f0f5599354b79d1b32c12 has been approved by RalfJung

It is now in the queue for this repository.

bors commented 2 months ago

:hourglass: Testing commit 6b2e8f04593d23a2218f0f5599354b79d1b32c12 with merge cb39ea18167f4407a42403058d4ebb1ddd21bbe2...

bors commented 2 months ago

:sunny: Test successful - checks-actions Approved by: RalfJung Pushing cb39ea18167f4407a42403058d4ebb1ddd21bbe2 to master...

bors commented 2 months ago

:sunny: Test successful - checks-actions Approved by: RalfJung Pushing cb39ea18167f4407a42403058d4ebb1ddd21bbe2 to master...