Skip to content

Design MLIR interfaces for selected clang AST nodes. #643

Open

Description

@lkorenc

Prerequisites

  • I have read the documentation and the proposed feature is not implemented.

Description

To support clang static analyzer, we need to provide some APIs of the AST nodes. Proposed solution is to implement MLIR interface that expose methods needed by the static analyzer passes (and necessary utilities).

For each interface, the supported methods do not need to be exhaustive - we only want to lazily add things that are needed by the passes we care about.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

Clang static analyzerExperimental support of clang static analyzer over MLIR

Type

No type

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions