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.

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

Fix index variable leak when forall body is empty #25915

Merged
merged 4 commits into from
Sep 9, 2024

Commits on Sep 9, 2024

  1. Fix index variable leak when forall body is empty

    Signed-off-by: Danila Fedorin <[email protected]>
    DanilaFe committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    fbb1782 View commit details
    Browse the repository at this point in the history
  2. Remove workaround for --memLeaks given it's fixed

    Signed-off-by: Danila Fedorin <[email protected]>
    DanilaFe committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    37e5004 View commit details
    Browse the repository at this point in the history
  3. Lock down the (lack of) memory leak in a standalone test

    Signed-off-by: Danila Fedorin <[email protected]>
    DanilaFe committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    0d1fe94 View commit details
    Browse the repository at this point in the history
  4. Improve comment

    Signed-off-by: Danila Fedorin <[email protected]>
    DanilaFe committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    e3b389f View commit details
    Browse the repository at this point in the history