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
We want to be able to categorize hl. types (and others) based on whether their are aggregates (array, struct etc.) or not. Provide a generic interface for it.
Prerequisites
Description
We want to be able to categorize
hl.
types (and others) based on whether their are aggregates (array
,struct
etc.) or not. Provide a generic interface for it.