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

analyze: support rewriting field projections on nullable pointers #1096

Merged
merged 12 commits into from
Jul 22, 2024
Merged

analyze: support rewriting field projections on nullable pointers #1096

merged 12 commits into from
Jul 22, 2024

Commits on Jul 22, 2024

  1. analyze: fix missing unlower entries for nullable projections 

    Projections are still rewritten incorrectly, but at least don't cause a
panic now.
    @spernsteiner
    spernsteiner committed Jul 22, 2024
    Configuration menu
    Copy the full SHA
    5ae5023 View commit details
    Browse the repository at this point in the history

  2. analyze: check address-of-local-field in non_null_rewrites test

    @spernsteiner
    spernsteiner committed Jul 22, 2024
    Configuration menu
    Copy the full SHA
    e26bc10 View commit details
    Browse the repository at this point in the history

  3. analyze: rewrite: remove most special cases from materialize_adjustments

    @spernsteiner
    spernsteiner committed Jul 22, 2024
    Configuration menu
    Copy the full SHA
    c3902e3 View commit details
    Browse the repository at this point in the history

  4. analyze: rewrite::convert: better assertion message on out-of-order r… 

    …ewrites
    @spernsteiner
    spernsteiner committed Jul 22, 2024
    Configuration menu
    Copy the full SHA
    266e136 View commit details
    Browse the repository at this point in the history

  5. analyze: rewrite::mir_op: factor out nullable-pointer check

    @spernsteiner
    spernsteiner committed Jul 22, 2024
    Configuration menu
    Copy the full SHA
    693c4f9 View commit details
    Browse the repository at this point in the history

  6. analyze: annotate rvalue types alongside mir locals

    @spernsteiner
    spernsteiner committed Jul 22, 2024
    Configuration menu
    Copy the full SHA
    4d0db9e View commit details
    Browse the repository at this point in the history

  7. analyze: rewrite::expr: include mir rewrites in unlower_map debug output

    @spernsteiner
    spernsteiner committed Jul 22, 2024
    Configuration menu
    Copy the full SHA
    a13c378 View commit details
    Browse the repository at this point in the history

  8. analyze: rewrite::unlower: add MirOriginDesc::LoadFromTempForAdjustme… 

    …nt(i)
    @spernsteiner
    spernsteiner committed Jul 22, 2024
    Configuration menu
    Copy the full SHA
    1419204 View commit details
    Browse the repository at this point in the history

  9. analyze: rewrite::mir_op: wrap &e in Some(_) if result type is nullable

    @spernsteiner
    spernsteiner committed Jul 22, 2024
    Configuration menu
    Copy the full SHA
    6de384c View commit details
    Browse the repository at this point in the history

  10. analyze: update non_null_rewrites test

    @spernsteiner
    spernsteiner committed Jul 22, 2024
    Configuration menu
    Copy the full SHA
    aba93d1 View commit details
    Browse the repository at this point in the history

  11. analyze: rewrite::convert: apply LoadFromTempForAdjustment before adj… 

    …ust, not after
    @spernsteiner
    spernsteiner committed Jul 22, 2024
    Configuration menu
    Copy the full SHA
    10033f4 View commit details
    Browse the repository at this point in the history

  12. analyze: add test case for C null pointer projection special cases

    @spernsteiner
    spernsteiner committed Jul 22, 2024
    Configuration menu
    Copy the full SHA
    8434b34 View commit details
    Browse the repository at this point in the history