Skip to content

[ILVerify] Add option for IL validation without IL verification #37391

Description

@jkotas

Useful for sanity check of valid unsafe IL. This option should suppress all verification checks related to type safety, but keep the rest.

Activity

  1. transferred this issue fromdotnet/corerton Jun 4, 2020
  2. added
    area-CodeGen-coreclrCLR JIT compiler in src/coreclr/src/jit and related components such as SuperPMI
    untriagedNew issue has not been triaged by the area owner
    on Jun 4, 2020
  3. added
    area-Tools-ILVerificationIssues related to ilverify tool and IL verification in general
    help wanted[up-for-grabs] Good issue for external contributors
    and removed
    area-CodeGen-coreclrCLR JIT compiler in src/coreclr/src/jit and related components such as SuperPMI
    untriagedNew issue has not been triaged by the area owner
    on Jun 4, 2020
  4. added this to the Future milestone on Jun 4, 2020
  5. added
    Priority:2Work that is important, but not critical for the release
    and removed
    Priority:3Work that is nice to have
    on Dec 1, 2023
  6. modified the milestones: Future, 9.0.0 on Dec 1, 2023
  7. JulieLeeMSFT commented on Dec 1, 2023

    @JulieLeeMSFT
    Member

    @TIHan, moving this to priority 2 in .NET 9. There is a customer who wants this feature.

  8. 1 remaining item

  9. modified the milestones: 9.0.0, 10.0.0 on Aug 14, 2024
  10. JulieLeeMSFT commented on Aug 14, 2024

    @JulieLeeMSFT
    Member

    Moved to .NET 10 because we don't have time to work on this in .NET 9.

  11. JulieLeeMSFT commented on Oct 15, 2024

    @JulieLeeMSFT
    Member

    @amanasifkhalid, reassigned the ILVerify issue to you.

  12. modified the milestones: 10.0.0, Future on Jun 19, 2025
  13. amanasifkhalid commented on Jun 19, 2025

    @amanasifkhalid
    Contributor

    Unlikely to get to this in .NET 10 -- moving to Future.

  14. added
    in-prThere is an active PR which will close this issue when it is merged
    on Oct 20, 2026
  15. added a commit that references this issue on Oct 20, 2026
    004e000
  16. added 2 commits that reference this issue on Oct 21, 2026
    49854e3
    f1af626
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    Priority:2Work that is important, but not critical for the releasearea-Tools-ILVerificationIssues related to ilverify tool and IL verification in generalin-prThere is an active PR which will close this issue when it is merged

    Type

    No type

    Projects

    No projects

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions