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

Extend Miri to correctly pass mutable pointers through FFI #133211

Open
wants to merge 13 commits into
base: master
Choose a base branch
from
Open

Extend Miri to correctly pass mutable pointers through FFI #133211

wants to merge 13 commits into from
+320 −37

Commits on Nov 19, 2024

  1. start implementing alloc_mark_init_rec, write_zero_if_uninit, write p… 

    …tr_write_access.rs tests (modifying, initializing memory, provenance)
    @Strophox
    Strophox committed Nov 19, 2024
    Configuration menu
    Copy the full SHA
    6a7c730 View commit details
    Browse the repository at this point in the history

  2. intermediate commit (no compile)

    @Strophox
    Strophox committed Nov 19, 2024
    Configuration menu
    Copy the full SHA
    bf5d369 View commit details
    Browse the repository at this point in the history

  3. fix current compile errors, fmt

    @Strophox
    Strophox committed Nov 19, 2024
    Configuration menu
    Copy the full SHA
    8b90dee View commit details
    Browse the repository at this point in the history

Commits on Nov 22, 2024

  1. Add FIXME in src/tools/miri/src/shims/native_lib.rs 

    Co-authored-by: Ralf Jung <[email protected]>
    @Strophox @RalfJung
    Strophox and RalfJung authored Nov 22, 2024
    Configuration menu
    Copy the full SHA
    e383a47 View commit details
    Browse the repository at this point in the history

  2. first code review fixes

    @Strophox
    Strophox committed Nov 22, 2024
    Configuration menu
    Copy the full SHA
    2826ff4 View commit details
    Browse the repository at this point in the history

  3. attempt write_wildcards in provenance_map, attempt to fix test_dangling

    @Strophox
    Strophox committed Nov 22, 2024
    Configuration menu
    Copy the full SHA
    26602eb View commit details
    Browse the repository at this point in the history

Commits on Nov 23, 2024

  1. fix/tweak tests

    @Strophox
    Strophox committed Nov 23, 2024
    Configuration menu
    Copy the full SHA
    5c27b83 View commit details
    Browse the repository at this point in the history

  2. adapt signatures to take &self and use interior mutability, expose pr… 

    …ovenances
    @Strophox
    Strophox committed Nov 23, 2024
    Configuration menu
    Copy the full SHA
    f86ba13 View commit details
    Browse the repository at this point in the history

Commits on Nov 25, 2024

  1. try to fix write_wildcards, use Box instead of Vec for test, try to w… 

    …rite new expose nested pointer test
    @Strophox
    Strophox committed Nov 25, 2024
    Configuration menu
    Copy the full SHA
    3bee29b View commit details
    Browse the repository at this point in the history

Commits on Nov 26, 2024

  1. Change comment in compiler/rustc_const_eval/src/interpret/memory.rs 

    Co-authored-by: Ralf Jung <[email protected]>
    @Strophox @RalfJung
    Strophox and RalfJung authored Nov 26, 2024
    Configuration menu
    Copy the full SHA
    4d592ba View commit details
    Browse the repository at this point in the history

  2. Add comment in compiler/rustc_const_eval/src/interpret/memory.rs 

    Co-authored-by: Ralf Jung <[email protected]>
    @Strophox @RalfJung
    Strophox and RalfJung authored Nov 26, 2024
    Configuration menu
    Copy the full SHA
    f64d3c7 View commit details
    Browse the repository at this point in the history

  3. Change comment in compiler/rustc_middle/src/mir/interpret/allocation.rs 

    Co-authored-by: Ralf Jung <[email protected]>
    @Strophox @RalfJung
    Strophox and RalfJung authored Nov 26, 2024
    Configuration menu
    Copy the full SHA
    193cca2 View commit details
    Browse the repository at this point in the history

  4. code review commits (use rustc_data_structures::fx::FxHashSet, prepar… 

    …e_for_native_write, document write_wildcards
    @Strophox
    Strophox committed Nov 26, 2024
    Configuration menu
    Copy the full SHA
    dc693ff View commit details
    Browse the repository at this point in the history