Use strict ops instead of checked ops

rust-lang / miri

An interpreter for Rust's mid-level intermediate representation

Apache License 2.0

4.37k stars 337 forks source link

Closed southball closed 3 months ago

southball commented 3 months ago

Replace checked_add(...).unwrap() with strict_add(...), etc.

Resolves #3668.

RalfJung commented 3 months ago

This looks great, thanks for the PR!

@bors r+

bors commented 3 months ago

:pushpin: Commit ef22eb16a974f2572688e2655957438f372556d6 has been approved by RalfJung

It is now in the queue for this repository.

bors commented 3 months ago

:hourglass: Testing commit ef22eb16a974f2572688e2655957438f372556d6 with merge dca015189fb29899c547b37a47e3ad5c2c4397e8...

bors commented 3 months ago

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