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.

Sign up for GitHub

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

Jump to bottom

Distinguish between library and lang UB in assert_unsafe_precondition #121662

Merged
merged 5 commits into from
Mar 10, 2024
Merged

Distinguish between library and lang UB in assert_unsafe_precondition #121662

merged 5 commits into from
Mar 10, 2024

Commits on Mar 8, 2024

  1. Distinguish between library and lang UB in assert_unsafe_precondition

    @saethlin
    saethlin committed Mar 8, 2024
    Configuration menu
    Copy the full SHA
    5a93a59 View commit details
    Browse the repository at this point in the history

Commits on Mar 9, 2024

  1. Improve docs

    @saethlin
    saethlin committed Mar 9, 2024
    Configuration menu
    Copy the full SHA
    50d0bea View commit details
    Browse the repository at this point in the history

  2. Only enable library UB checks in const-eval/Miri when debug_assertion… 

    …s are enabled

Co-authored-by: Ralf Jung <post@ralfj.de>
    @saethlin @RalfJung
    saethlin and RalfJung authored Mar 9, 2024
    Configuration menu
    Copy the full SHA
    27cf4bb View commit details
    Browse the repository at this point in the history

  3. NonZero::from_mut_unchecked is library UB

    @saethlin
    saethlin committed Mar 9, 2024
    Configuration menu
    Copy the full SHA
    af49c4d View commit details
    Browse the repository at this point in the history

  4. Explain why we don't use intrinsics::is_nonoverlapping

    @saethlin
    saethlin committed Mar 9, 2024
    Configuration menu
    Copy the full SHA
    2a1f97f View commit details
    Browse the repository at this point in the history