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

Add runtime validity checks inside MaybeUninit::assume_init #98073

Closed
wants to merge 12 commits into from
Closed

Add runtime validity checks inside MaybeUninit::assume_init #98073

wants to merge 12 commits into from

Commits on Jun 18, 2022

  1. Initial work on runtime type validity checks

    @5225225
    5225225 committed Jun 18, 2022
    Configuration menu
    Copy the full SHA
    11c833e View commit details
    Browse the repository at this point in the history

  2. Add more todos/safety comments

    @5225225
    5225225 committed Jun 18, 2022
    Configuration menu
    Copy the full SHA
    ea5be8b View commit details
    Browse the repository at this point in the history

  3. Add allow unstable, fix stability of validity_invariants_of

    @5225225
    5225225 committed Jun 18, 2022
    Configuration menu
    Copy the full SHA
    5d42de2 View commit details
    Browse the repository at this point in the history

  4. Fix feature flag for validity_invariants_of

    @5225225
    5225225 committed Jun 18, 2022
    Configuration menu
    Copy the full SHA
    a515b9f View commit details
    Browse the repository at this point in the history

  5. Add validity_invariants_of to cranelift codegen (untested)

    @5225225
    5225225 committed Jun 18, 2022
    Configuration menu
    Copy the full SHA
    831d2ed View commit details
    Browse the repository at this point in the history

  6. Adjust documentation wording

    @5225225
    5225225 committed Jun 18, 2022
    Configuration menu
    Copy the full SHA
    16f7536 View commit details
    Browse the repository at this point in the history

  7. Calculate layout of Invariant as needed, use enum for size

    @5225225
    5225225 committed Jun 18, 2022
    Configuration menu
    Copy the full SHA
    19e0f6f View commit details
    Browse the repository at this point in the history

  8. Deduplicate invariants generated

    @5225225
    5225225 committed Jun 18, 2022
    Configuration menu
    Copy the full SHA
    97ce1fb View commit details
    Browse the repository at this point in the history

  9. Properly emit a slice of Invariant, add tests

    @5225225
    5225225 committed Jun 18, 2022
    Configuration menu
    Copy the full SHA
    3d94e25 View commit details
    Browse the repository at this point in the history

  10. Reformat

    @5225225
    5225225 committed Jun 18, 2022
    Configuration menu
    Copy the full SHA
    c24ef46 View commit details
    Browse the repository at this point in the history

  11. Add option to disable validity invariant generation

    @5225225
    5225225 committed Jun 18, 2022
    Configuration menu
    Copy the full SHA
    8f79b5a View commit details
    Browse the repository at this point in the history

  12. Fix cranelift CustomSlice codegen

    @5225225
    5225225 committed Jun 18, 2022
    Configuration menu
    Copy the full SHA
    81bda49 View commit details
    Browse the repository at this point in the history