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

clarify what is UB #149

Merged
merged 21 commits into from
Aug 16, 2019
Merged

clarify what is UB #149

merged 21 commits into from
Aug 16, 2019

Commits on Jul 20, 2019

  1. UB

    @RalfJung
    RalfJung committed Jul 20, 2019
    Configuration menu
    Copy the full SHA
    dfb93b2 View commit details
    Browse the repository at this point in the history

  2. list more ptr offset computations

    @RalfJung
    RalfJung committed Jul 20, 2019
    Configuration menu
    Copy the full SHA
    1dcafde View commit details
    Browse the repository at this point in the history

  3. NonNull, NonZero*

    @RalfJung
    RalfJung committed Jul 20, 2019
    Configuration menu
    Copy the full SHA
    280761a View commit details
    Browse the repository at this point in the history

  4. Define 'producing'

    @RalfJung
    RalfJung committed Jul 20, 2019
    Configuration menu
    Copy the full SHA
    86d9e2c View commit details
    Browse the repository at this point in the history

  5. handle recursion in the heading

    @RalfJung
    RalfJung committed Jul 20, 2019
    Configuration menu
    Copy the full SHA
    3241c00 View commit details
    Browse the repository at this point in the history

  6. subsume the NonNull things as library types

    @RalfJung
    RalfJung committed Jul 20, 2019
    Configuration menu
    Copy the full SHA
    909b14c View commit details
    Browse the repository at this point in the history

  7. be more precise about dangling

    @RalfJung
    RalfJung committed Jul 20, 2019
    Configuration menu
    Copy the full SHA
    f59eca2 View commit details
    Browse the repository at this point in the history

Commits on Jul 21, 2019

  1. stick to broader UB for raw ptr offsets/derefs for now

    @RalfJung
    RalfJung committed Jul 21, 2019
    Configuration menu
    Copy the full SHA
    738a338 View commit details
    Browse the repository at this point in the history

  2. avoid redundant UB

    @RalfJung
    RalfJung committed Jul 21, 2019
    Configuration menu
    Copy the full SHA
    0f51082 View commit details
    Browse the repository at this point in the history

Commits on Jul 24, 2019

  1. add more cases of UB

    @RalfJung
    RalfJung committed Jul 24, 2019
    Configuration menu
    Copy the full SHA
    efb5086 View commit details
    Browse the repository at this point in the history

  2. mention !

    @RalfJung
    RalfJung committed Jul 24, 2019
    Configuration menu
    Copy the full SHA
    df5ff63 View commit details
    Browse the repository at this point in the history

  3. explain when metadata is invalid

    @RalfJung
    RalfJung committed Jul 24, 2019
    Configuration menu
    Copy the full SHA
    c41d492 View commit details
    Browse the repository at this point in the history

  4. Apply suggestions from code review 

    Co-Authored-By: gnzlbg <[email protected]>
    @RalfJung @gnzlbg
    RalfJung and gnzlbg authored Jul 24, 2019
    Configuration menu
    Copy the full SHA
    1f613d8 View commit details
    Browse the repository at this point in the history

Commits on Jul 26, 2019

  1. raw ptrs must be initialized like integers

    @RalfJung
    RalfJung committed Jul 26, 2019
    Configuration menu
    Copy the full SHA
    c73730b View commit details
    Browse the repository at this point in the history

Commits on Jul 28, 2019

  1. resolve some nits

    @RalfJung
    RalfJung committed Jul 28, 2019
    Configuration menu
    Copy the full SHA
    bd6215e View commit details
    Browse the repository at this point in the history

  2. refactor null a bit

    @RalfJung
    RalfJung committed Jul 28, 2019
    Configuration menu
    Copy the full SHA
    7386b5c View commit details
    Browse the repository at this point in the history

Commits on Jul 29, 2019

  1. fold uninit integer rule with reading uninit memory

    @RalfJung
    RalfJung committed Jul 29, 2019
    Configuration menu
    Copy the full SHA
    864625f View commit details
    Browse the repository at this point in the history

  2. fix def.n of dangling

    @RalfJung
    RalfJung committed Jul 29, 2019
    Configuration menu
    Copy the full SHA
    64bf0a5 View commit details
    Browse the repository at this point in the history

Commits on Jul 31, 2019

  1. clarify dangling

    @RalfJung
    RalfJung committed Jul 31, 2019
    Configuration menu
    Copy the full SHA
    86a89ae View commit details
    Browse the repository at this point in the history

Commits on Aug 16, 2019

  1. drop parenthetical

    @RalfJung
    RalfJung committed Aug 16, 2019
    Configuration menu
    Copy the full SHA
    c5778a1 View commit details
    Browse the repository at this point in the history

  2. some edits

    @RalfJung
    RalfJung committed Aug 16, 2019
    Configuration menu
    Copy the full SHA
    7703c18 View commit details
    Browse the repository at this point in the history