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

Fix crash in ajava-based WPI related to captures #5335

Merged
merged 10 commits into from Sep 28, 2022
Merged

Fix crash in ajava-based WPI related to captures #5335

merged 10 commits into from Sep 28, 2022

Commits on Sep 23, 2022

  1. non-minimized test case demonstrating the crash

    @kelloggm
    kelloggm committed Sep 23, 2022
    Copy the full SHA
    4c5570c View commit details
    Browse the repository at this point in the history

  2. minimize the test and a sketchy fix

    @kelloggm
    kelloggm committed Sep 23, 2022
    Copy the full SHA
    6366b2e View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into wpi-classcast-crash-icse

    @kelloggm
    kelloggm committed Sep 23, 2022
    Copy the full SHA
    abf3c8f View commit details
    Browse the repository at this point in the history

  4. Remove new line.

    @smillst
    smillst committed Sep 23, 2022
    Copy the full SHA
    ef3942b View commit details
    Browse the repository at this point in the history

Commits on Sep 26, 2022

  1. debug code

    @kelloggm
    kelloggm committed Sep 26, 2022
    Copy the full SHA
    515da1d View commit details
    Browse the repository at this point in the history

  2. fix wording

    @kelloggm
    kelloggm committed Sep 26, 2022
    Copy the full SHA
    f4131a3 View commit details
    Browse the repository at this point in the history

  3. Add new test case.

    @smillst
    smillst committed Sep 26, 2022
    Copy the full SHA
    11807c5 View commit details
    Browse the repository at this point in the history

Commits on Sep 28, 2022

  1. Merge branch 'master' of https://github.com/typetools/checker-framework… 

    … into wpi-classcast-crash-icse
    @kelloggm
    kelloggm committed Sep 28, 2022
    Copy the full SHA
    eeff63b View commit details
    Browse the repository at this point in the history

  2. better fix based on Suzanne's insight

    @kelloggm
    kelloggm committed Sep 28, 2022
    Copy the full SHA
    4174583 View commit details
    Browse the repository at this point in the history

  3. fix a bug I'd introduced with respect to nullness handling, which als… 

    …o makes a prior check unnecessary
    @kelloggm
    kelloggm committed Sep 28, 2022
    Copy the full SHA
    7787d46 View commit details
    Browse the repository at this point in the history