search

rust-lang / miri

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

Fix ICE caused by seeking past `i64::MAX` #3689

Closed adwinwhite closed 3 months ago

adwinwhite commented 3 months ago

Make Miri behave the same as standard library on file seeking offset.

Fixes #3680.

RalfJung commented 3 months ago

Looks good, thanks!

@bors r+

bors commented 3 months ago

:pushpin: Commit c9c887b7170ef3fdc608ae7f876dac7782e92cf0 has been approved by RalfJung

It is now in the queue for this repository.

bors commented 3 months ago

:hourglass: Testing commit c9c887b7170ef3fdc608ae7f876dac7782e92cf0 with merge a784b638e11230e8cc8248f34743db6d2f470f4f...

bors commented 3 months ago

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