Skip to content

Optionally suppress uninit reports that come from loop headers #3

Description

@deian

On longer block bounds, there are a number of reports related to unentered loops (that can never feasibly be unenetered).
Probably makes sense to just optionally ignore things that come from skipping loop headers (the LLVM has a %loop annotation we can use)

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions