trailofbits / vast

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.

https://trailofbits.github.io/vast/

Apache License 2.0

391 stars 23 forks source link

Modify type verifying utils to work with typeof types #658

Closed Jezurko closed 2 months ago

Jezurko commented 2 months ago

645

Jezurko commented 2 months ago

@PappasBrent this should hopefully fix the typeof related issues, if I haven't missed any corner cases. I almost missed the floats /o\ :D

github-actions[bot] commented 2 months ago

Cpp-Linter Report :warning:

Some files did not pass the configured checks!

clang-format reports: 1 file(s) not formatted

- lib/vast/Dialect/HighLevel/HighLevelOps.cpp

Have any feedback or feature suggestions? Share it here.

PappasBrent commented 2 months ago

Testing locally it seems to fix the issue with shift operations that I reported earlier today; I'll test it some more to be sure (and run it on the Linux kernel as well)