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

Model try-with-resources semantics during CFG construction #6273

Merged
merged 65 commits into from
Nov 29, 2023
Merged

Model try-with-resources semantics during CFG construction #6273

merged 65 commits into from
Nov 29, 2023

Commits on Oct 28, 2023

  1. WIP

    @msridhar
    msridhar committed Oct 28, 2023
    Configuration menu
    Copy the full SHA
    277e50d View commit details
    Browse the repository at this point in the history

  2. docs

    @msridhar
    msridhar committed Oct 28, 2023
    Configuration menu
    Copy the full SHA
    223d652 View commit details
    Browse the repository at this point in the history

Commits on Oct 29, 2023

  1. Merge branch 'master' into resource-node

    @msridhar
    msridhar committed Oct 29, 2023
    Configuration menu
    Copy the full SHA
    ead8dfc View commit details
    Browse the repository at this point in the history

  2. tweak test

    @msridhar
    msridhar committed Oct 29, 2023
    Configuration menu
    Copy the full SHA
    c05d2ca View commit details
    Browse the repository at this point in the history

  3. fix nullness issue

    @msridhar
    msridhar committed Oct 29, 2023
    Configuration menu
    Copy the full SHA
    1615e4c View commit details
    Browse the repository at this point in the history

  4. rename

    @msridhar
    msridhar committed Oct 29, 2023
    Configuration menu
    Copy the full SHA
    a87f430 View commit details
    Browse the repository at this point in the history

Commits on Oct 30, 2023

  1. Merge branch 'master' into resource-node

    @msridhar
    msridhar authored Oct 30, 2023
    Configuration menu
    Copy the full SHA
    cdb2911 View commit details
    Browse the repository at this point in the history

  2. final field test

    @msridhar
    msridhar committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    093119e View commit details
    Browse the repository at this point in the history

  3. more tests

    @msridhar
    msridhar committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    9cd05cb View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into resource-node

    @msridhar
    msridhar committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    0a114f0 View commit details
    Browse the repository at this point in the history

Commits on Nov 1, 2023

  1. Merge branch 'master' into resource-node

    @msridhar
    msridhar committed Nov 1, 2023
    Configuration menu
    Copy the full SHA
    f0d9290 View commit details
    Browse the repository at this point in the history

Commits on Nov 3, 2023

  1. Merge branch 'master' into resource-node

    @msridhar
    msridhar authored Nov 3, 2023
    Configuration menu
    Copy the full SHA
    dbef16b View commit details
    Browse the repository at this point in the history

  2. WIP

    @msridhar
    msridhar committed Nov 3, 2023
    Configuration menu
    Copy the full SHA
    eb4492f View commit details
    Browse the repository at this point in the history

  3. tweak comment

    @msridhar
    msridhar committed Nov 3, 2023
    Configuration menu
    Copy the full SHA
    b1c7fd3 View commit details
    Browse the repository at this point in the history

  4. initial fix

    @msridhar
    msridhar committed Nov 3, 2023
    Configuration menu
    Copy the full SHA
    309bb77 View commit details
    Browse the repository at this point in the history

  5. test case showing false positive

    @msridhar
    msridhar committed Nov 3, 2023
    Configuration menu
    Copy the full SHA
    caebcff View commit details
    Browse the repository at this point in the history

Commits on Nov 4, 2023

  1. Merge branch 'master' into resource-node

    @msridhar
    msridhar committed Nov 4, 2023
    Configuration menu
    Copy the full SHA
    efb8ff0 View commit details
    Browse the repository at this point in the history

  2. another test

    @msridhar
    msridhar committed Nov 4, 2023
    Configuration menu
    Copy the full SHA
    f2f95ce View commit details
    Browse the repository at this point in the history

Commits on Nov 7, 2023

  1. Merge branch 'master' into resource-node

    @msridhar
    msridhar committed Nov 7, 2023
    Configuration menu
    Copy the full SHA
    8db28dd View commit details
    Browse the repository at this point in the history

  2. WIP, still buggy

    @msridhar
    msridhar committed Nov 7, 2023
    Configuration menu
    Copy the full SHA
    db8b95a View commit details
    Browse the repository at this point in the history

  3. WIP

    @msridhar
    msridhar committed Nov 7, 2023
    Configuration menu
    Copy the full SHA
    ecaf99c View commit details
    Browse the repository at this point in the history

Commits on Nov 8, 2023

  1. fix bug

    @msridhar
    msridhar committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    df9878a View commit details
    Browse the repository at this point in the history

  2. fix test

    @msridhar
    msridhar committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    6591f31 View commit details
    Browse the repository at this point in the history

  3. javadoc

    @msridhar
    msridhar committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    3213797 View commit details
    Browse the repository at this point in the history

  4. reduced test case

    @msridhar
    msridhar committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    ff08d75 View commit details
    Browse the repository at this point in the history

  5. initial fix

    @msridhar
    msridhar committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    2235a3f View commit details
    Browse the repository at this point in the history

  6. better fix

    @msridhar
    msridhar committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    3365594 View commit details
    Browse the repository at this point in the history

Commits on Nov 9, 2023

  1. fix ordering, still needs significant cleanup

    @msridhar
    msridhar committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    a500096 View commit details
    Browse the repository at this point in the history

  2. javadoc

    @msridhar
    msridhar committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    b296327 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into resource-node

    @msridhar
    msridhar committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    f935a72 View commit details
    Browse the repository at this point in the history

  4. delete code

    @msridhar
    msridhar committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    d55ebdb View commit details
    Browse the repository at this point in the history

  5. add todos

    @msridhar
    msridhar committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    d7c8246 View commit details
    Browse the repository at this point in the history

Commits on Nov 10, 2023

  1. delete more code

    @msridhar
    msridhar committed Nov 10, 2023
    Configuration menu
    Copy the full SHA
    83743ad View commit details
    Browse the repository at this point in the history

  2. refactoring

    @msridhar
    msridhar committed Nov 10, 2023
    Configuration menu
    Copy the full SHA
    da8190c View commit details
    Browse the repository at this point in the history

  3. move method

    @msridhar
    msridhar committed Nov 10, 2023
    Configuration menu
    Copy the full SHA
    a9b5686 View commit details
    Browse the repository at this point in the history

  4. more cleanup

    @msridhar
    msridhar committed Nov 10, 2023
    Configuration menu
    Copy the full SHA
    e6f09c2 View commit details
    Browse the repository at this point in the history

  5. try not using ResourceCloseNodes

    @msridhar
    msridhar committed Nov 10, 2023
    Configuration menu
    Copy the full SHA
    0537858 View commit details
    Browse the repository at this point in the history

  6. Further cleanup

    @msridhar
    msridhar committed Nov 10, 2023
    Configuration menu
    Copy the full SHA
    6baaea0 View commit details
    Browse the repository at this point in the history

  7. test with two owning fields

    @msridhar
    msridhar committed Nov 10, 2023
    Configuration menu
    Copy the full SHA
    8799f5f View commit details
    Browse the repository at this point in the history

  8. better docs

    @msridhar
    msridhar committed Nov 10, 2023
    Configuration menu
    Copy the full SHA
    8834a88 View commit details
    Browse the repository at this point in the history

  9. fix tags in javadoc

    @msridhar
    msridhar committed Nov 10, 2023
    Configuration menu
    Copy the full SHA
    86ccb54 View commit details
    Browse the repository at this point in the history

Commits on Nov 12, 2023

  1. Merge branch 'master' into resource-node

    @msridhar
    msridhar committed Nov 12, 2023
    Configuration menu
    Copy the full SHA
    21db3e1 View commit details
    Browse the repository at this point in the history

  2. Handle exceptions thrown by resource close call

    @msridhar
    msridhar committed Nov 12, 2023
    Configuration menu
    Copy the full SHA
    d3debc1 View commit details
    Browse the repository at this point in the history

  3. Minor cleanups

    @msridhar
    msridhar committed Nov 12, 2023
    Configuration menu
    Copy the full SHA
    9c58a0c View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into resource-node

    @msridhar
    msridhar authored Nov 12, 2023
    Configuration menu
    Copy the full SHA
    5d77a3c View commit details
    Browse the repository at this point in the history

Commits on Nov 14, 2023

  1. Merge branch 'master' into resource-node

    @msridhar
    msridhar committed Nov 14, 2023
    Configuration menu
    Copy the full SHA
    2f7813d View commit details
    Browse the repository at this point in the history

  2. note that errors are false positives

    @msridhar
    msridhar committed Nov 14, 2023
    Configuration menu
    Copy the full SHA
    fd8683c View commit details
    Browse the repository at this point in the history

  3. update javadoc

    @msridhar
    msridhar committed Nov 14, 2023
    Configuration menu
    Copy the full SHA
    4645b32 View commit details
    Browse the repository at this point in the history

Commits on Nov 16, 2023

  1. Merge branch 'master' into resource-node

    @msridhar
    msridhar authored Nov 16, 2023
    Configuration menu
    Copy the full SHA
    492d022 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into resource-node

    @msridhar
    msridhar authored Nov 16, 2023
    Configuration menu
    Copy the full SHA
    47a207b View commit details
    Browse the repository at this point in the history

Commits on Nov 20, 2023

  1. Merge branch 'master' into resource-node

    @msridhar
    msridhar authored Nov 20, 2023
    Configuration menu
    Copy the full SHA
    30ef450 View commit details
    Browse the repository at this point in the history

Commits on Nov 22, 2023

  1. Merge branch 'master' into resource-node

    @msridhar
    msridhar authored Nov 22, 2023
    Configuration menu
    Copy the full SHA
    eb1fb7a View commit details
    Browse the repository at this point in the history

Commits on Nov 24, 2023

  1. Merge branch 'master' into resource-node

    @msridhar
    msridhar authored Nov 24, 2023
    Configuration menu
    Copy the full SHA
    8d7ecdf View commit details
    Browse the repository at this point in the history

Commits on Nov 27, 2023

  1. Merge ../checker-framework-branch-master into resource-node

    @mernst
    mernst committed Nov 27, 2023
    Configuration menu
    Copy the full SHA
    8e7a5d8 View commit details
    Browse the repository at this point in the history

  2. Tweak comments

    @mernst
    mernst committed Nov 27, 2023
    Configuration menu
    Copy the full SHA
    4aad9ff View commit details
    Browse the repository at this point in the history

  3. Tweak comments

    @mernst
    mernst committed Nov 27, 2023
    Configuration menu
    Copy the full SHA
    6c85dc8 View commit details
    Browse the repository at this point in the history

  4. Tweak comments

    @mernst
    mernst committed Nov 27, 2023
    Configuration menu
    Copy the full SHA
    353ac6f View commit details
    Browse the repository at this point in the history

Commits on Nov 28, 2023

  1. address some comments

    @msridhar
    msridhar committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    c0c0b81 View commit details
    Browse the repository at this point in the history

  2. clarify

    @msridhar
    msridhar committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    76d5e39 View commit details
    Browse the repository at this point in the history

  3. Comment tweaks

    @mernst
    mernst committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    23329e4 View commit details
    Browse the repository at this point in the history

  4. rename method

    @msridhar
    msridhar committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    be5b98e View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' into resource-node

    @msridhar
    msridhar authored Nov 28, 2023
    Configuration menu
    Copy the full SHA
    586e43c View commit details
    Browse the repository at this point in the history

  6. tweak comment

    @msridhar
    msridhar committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    4589b0d View commit details
    Browse the repository at this point in the history

Commits on Nov 29, 2023

  1. Merge branch 'master' into resource-node

    @msridhar
    msridhar authored Nov 29, 2023
    Configuration menu
    Copy the full SHA
    9d4ed3b View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into resource-node

    @msridhar
    msridhar authored Nov 29, 2023
    Configuration menu
    Copy the full SHA
    01d9948 View commit details
    Browse the repository at this point in the history