Implement `clang::AtomicExpr`

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

Implement `clang::AtomicExpr` #635

Open Jezurko opened 1 week ago

Jezurko commented 1 week ago

Prerequisites

[X] I have read the documentation and the proposed feature is not implemented.

Description

E.g.: sv-benchmarks/c/aws-c-common/aws_add_size_checked_harness.i