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

368 stars 23 forks source link

High-level support for _Atomic type and its casts #624

Closed xlauko closed 2 weeks ago

xlauko commented 2 weeks ago

adds hl.atomic< type > type definition
allows to create AtomicToNonAtomic and NonAtomicToAtomic casts
fixes validity check in monadic builder

github-actions[bot] commented 2 weeks ago

Cpp-Linter Report :warning:

Some files did not pass the configured checks!

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

- include/vast/CodeGen/CodeGenBuilder.hpp - include/vast/CodeGen/UnsupportedVisitor.hpp - lib/vast/CodeGen/DefaultStmtVisitor.cpp - lib/vast/CodeGen/DefaultTypeVisitor.cpp

Have any feedback or feature suggestions? Share it here.