VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choose the best fit representations for a program analysis or further program abstraction.
[x] 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.
Prerequisites
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.