Skip to content

ILVerify support for runtime async #118042

@333fred

Description

@333fred

ILVerify does not support runtime async, which leads to various "verification" errors of valid IL. There are two flavors of this:

  1. In a Task or ValueTask returning method, ILVerify does not like that the stack is empty when calling ret.
  2. In a Task<T> or ValueTask<T> returning method, ILVerify does not like that the stack has a T, not a Task<T> or ValueTask<T>.

Relates to feature #109632

Metadata

Metadata

Assignees

No one assigned

    Labels

    area-Tools-ILVerificationIssues related to ilverify tool and IL verification in generalruntime-asyncuntriagedNew issue has not been triaged by the area owner

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions