Skip to content

explicitly mention float rounding mode and exception behavior assumption - #2387

Open
RalfJung wants to merge 1 commit into
rust-lang:masterfrom
RalfJung:float-rounding-mode
Open

RalfJung wants to merge 1 commit into
rust-lang:masterfrom
RalfJung:float-rounding-mode

Conversation

@RalfJung

Copy link
Copy Markdown
Member

Cc @rust-lang/opsem
Fixes rust-lang/unsafe-code-guidelines#471

@rustbot rustbot added the S-waiting-on-review Status: The marked PR is awaiting review from a maintainer label Oct 14, 2026
@RalfJung
RalfJung force-pushed the float-rounding-mode branch from 10b224a to bf1240f Compare October 20, 2026 20:34
@RalfJung

Copy link
Copy Markdown
Member Author

I have amended this to also mention exception behavior -- we assume that exceptions are disabled.

@RalfJung RalfJung changed the title explicitly mention float rounding mode assumption explicitly mention float rounding mode and exception behavior assumption Oct 20, 2026

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-review Status: The marked PR is awaiting review from a maintainer

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Is Changing the Floating-point environment for intrinsic/assembly code UB?

3 participants