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: add NON_NULL rewrites #1095

Merged
merged 30 commits into from
Jun 25, 2024
Merged

analyze: add NON_NULL rewrites #1095

merged 30 commits into from
Jun 25, 2024
+1,067 −285

Commits on Jun 25, 2024

  1. analyze: add TypeDesc::option flag

    @spernsteiner
    spernsteiner committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    084e520 View commit details
    Browse the repository at this point in the history

  2. analyze: implement Option p.unwrap() and Some(p) casts

    @spernsteiner
    spernsteiner committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    c0ddd30 View commit details
    Browse the repository at this point in the history

  3. analyze: handle ptr::offset calls for nullable pointers

    @spernsteiner
    spernsteiner committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    2789a25 View commit details
    Browse the repository at this point in the history

  4. analyze: add OptionMapBegin/End rewrites

    @spernsteiner
    spernsteiner committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    06df31c View commit details
    Browse the repository at this point in the history

  5. analyze: rename tests/filecheck/non_null_{map->rewrite}.rs

    @spernsteiner
    spernsteiner committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    4cf7017 View commit details
    Browse the repository at this point in the history

  6. analyze: implement Option::as_ref/as_mut ownership rewrites

    @spernsteiner
    spernsteiner committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    41844bb View commit details
    Browse the repository at this point in the history

  7. analyze: refactor: new rewrite_from_mir_rws helper in rewrite::expr::… 

    …convert
    @spernsteiner
    spernsteiner committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    85e0cc1 View commit details
    Browse the repository at this point in the history

  8. analyze: refactor: turn rewrite_from_mir_rw closures into methods

    @spernsteiner
    spernsteiner committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    da9bfcc View commit details
    Browse the repository at this point in the history

  9. analyze: refactor: make Expr optional in rewrite_from_mir_rw

    @spernsteiner
    spernsteiner committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    07c4906 View commit details
    Browse the repository at this point in the history

  10. analyze: implement Option::map rewriting

    @spernsteiner
    spernsteiner committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    e7fd66a View commit details
    Browse the repository at this point in the history

  11. analyze: rewrite: replace p.is_null() with p.is_none()

    @spernsteiner
    spernsteiner committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    56a3062 View commit details
    Browse the repository at this point in the history

  12. analyze: rewrite: fix option.as_ref().as_deref() -> option.as_deref()

    @spernsteiner
    spernsteiner committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    84332a4 View commit details
    Browse the repository at this point in the history

  13. analyze: rewrite ptr::null() to None

    @spernsteiner
    spernsteiner committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    53e8476 View commit details
    Browse the repository at this point in the history

  14. analyze: refactor: generalize rewrite::ty::mk_cell to build any ADT

    @spernsteiner
    spernsteiner committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    2c8a5be View commit details
    Browse the repository at this point in the history

  15. analyze: refactor: use PtrDesc instead of (Ownership, Quantity) in re… 

    …write::ty
    @spernsteiner
    spernsteiner committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    b79e800 View commit details
    Browse the repository at this point in the history

  16. analyze: rewrite::ty: implement Option<T> rewriting

    @spernsteiner
    spernsteiner committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    5450c6a View commit details
    Browse the repository at this point in the history

  17. analyze: unlower: ignore StatementKind::AscribeUserType

    @spernsteiner
    spernsteiner committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    2ee074f View commit details
    Browse the repository at this point in the history

  18. analyze: rewrite 0 as *const T to None

    @spernsteiner
    spernsteiner committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    b62443e View commit details
    Browse the repository at this point in the history

  19. analyze: unlower: include sub-places in the unlower map

    @spernsteiner
    spernsteiner committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    88ce97c View commit details
    Browse the repository at this point in the history

  20. analyze: rewrite: generate unwrap() calls on nullable ptr derefs

    @spernsteiner
    spernsteiner committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    fb6b3c1 View commit details
    Browse the repository at this point in the history

  21. analyze: rewrite: downgrade Option before unwrapping for deref

    @spernsteiner
    spernsteiner committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    0451e2c View commit details
    Browse the repository at this point in the history

  22. analyze: check mut-to-imm Option downgrade in non_null_rewrites test

    @spernsteiner
    spernsteiner committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    87483f3 View commit details
    Browse the repository at this point in the history

  23. analyze: fix non_null_rewrites test to work with FileCheck-7 

    We previously used the syntax `[[[var]] ..]`, which should expand to
`[value ..]`, but FileCheck-7 parses the first part as `[[ [var ]]` and
reports a syntax error.
    @spernsteiner
    spernsteiner committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    03c4628 View commit details
    Browse the repository at this point in the history

  24. analyze: rewrite::ty: fix crate name in mk_adt_with_arg

    @spernsteiner
    spernsteiner committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    15bfdd6 View commit details
    Browse the repository at this point in the history

  25. analyze: rewrite::convert: fix comment in zeroize case

    @spernsteiner
    spernsteiner committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    f79caef View commit details
    Browse the repository at this point in the history

  26. analyze: rewrite::mir_op: reformat assert in Callee::Null case

    @spernsteiner
    spernsteiner committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    b16282e View commit details
    Browse the repository at this point in the history

  27. analyze: rewrite::mir_op: fix comment on OptionDowngrade case

    @spernsteiner
    spernsteiner committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    c7d0f2f View commit details
    Browse the repository at this point in the history

  28. analyze: rewrite::convert: clarify comment about nested OptionMapBegi… 

    …n/End
    @spernsteiner
    spernsteiner committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    6c3e7af View commit details
    Browse the repository at this point in the history

  29. analyze: replace some debug prints with log macros

    @spernsteiner
    spernsteiner committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    af3980d View commit details
    Browse the repository at this point in the history

  30. analyze: rewrite: clarify option downgrade no-op cases

    @spernsteiner
    spernsteiner committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    73652be View commit details
    Browse the repository at this point in the history