Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Refactor ToPrimitive range checks #52

Merged
merged 14 commits into from
Mar 13, 2018
Merged

Refactor ToPrimitive range checks #52

merged 14 commits into from
Mar 13, 2018

Conversation

cuviper
Copy link
Member

@cuviper cuviper commented Mar 12, 2018

This is a rebase and continuation of PR #28. The primary benefit is that
floats finally check for overflow before casting to integers, avoiding
undefined behavior. Fixes #12.

The inter-integer conversions and all of the macros for these have also been
tweaked, hopefully improving readability. Exhaustive tests have been added for
good and bad conversions around the target MIN and MAX values.

dbarella and others added 13 commits March 10, 2018 15:14
This change adds some new macro rules used when converting from floats
to integers. There are two macro rule variants, one for signed ints, one
for unsigned ints.

Among other things, this change specifically addresses the overflow case
documented in rust-num#12
`num` is tested against `rust 1.8.0`, which doesn't include
`assert_ne!` -- so we use a plain ol' `assert` instead.
We don't actually need to compute the `trunc()` value, as long as we can
figure out the right values for the exclusive range `(MIN-1, MAX+1)` to
measure the same truncation effect.
@cuviper
Copy link
Member Author

cuviper commented Mar 13, 2018

bors r+

bors bot added a commit that referenced this pull request Mar 13, 2018
52: Refactor ToPrimitive range checks r=cuviper a=cuviper

This is a rebase and continuation of PR #28.  The primary benefit is that
floats finally check for overflow before casting to integers, avoiding
undefined behavior.  Fixes #12.

The inter-integer conversions and all of the macros for these have also been
tweaked, hopefully improving readability.  Exhaustive tests have been added for
good and bad conversions around the target MIN and MAX values.
@bors
Copy link
Contributor

bors bot commented Mar 13, 2018

Build succeeded

@bors bors bot merged commit a4d234c into rust-num:master Mar 13, 2018
@cuviper cuviper deleted the float-cast branch February 8, 2024 01:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants