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

Avoid pointer casts in IO driver on miri #6859

Merged
merged 7 commits into from
Sep 23, 2024
Merged

Avoid pointer casts in IO driver on miri #6859

merged 7 commits into from
Sep 23, 2024

Commits on Sep 22, 2024

  1. io: avoid pointer casts in IO driver on miri

    Signed-off-by: Alice Ryhl <[email protected]>
    Darksonn committed Sep 22, 2024
    Configuration menu
    Copy the full SHA
    8935bc6 View commit details
    Browse the repository at this point in the history
  2. fmt

    Darksonn committed Sep 22, 2024
    Configuration menu
    Copy the full SHA
    085d92e View commit details
    Browse the repository at this point in the history
  3. clippy

    Darksonn committed Sep 22, 2024
    Configuration menu
    Copy the full SHA
    1eb49a1 View commit details
    Browse the repository at this point in the history
  4. misc fixes

    Darksonn committed Sep 22, 2024
    Configuration menu
    Copy the full SHA
    f9f2695 View commit details
    Browse the repository at this point in the history
  5. fixi miri compilation

    Darksonn committed Sep 22, 2024
    Configuration menu
    Copy the full SHA
    9611853 View commit details
    Browse the repository at this point in the history
  6. fmt

    Darksonn committed Sep 22, 2024
    Configuration menu
    Copy the full SHA
    8eb8e0c View commit details
    Browse the repository at this point in the history
  7. trigger UB instead of panics

    Darksonn committed Sep 22, 2024
    Configuration menu
    Copy the full SHA
    9b51a3e View commit details
    Browse the repository at this point in the history