Add support for `?:` shorthand via `clang::OpaqueValueExpr` and `clang::BinaryConditionalOperator`

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

Add support for `?:` shorthand via `clang::OpaqueValueExpr` and `clang::BinaryConditionalOperator` #669

Closed pgoodman closed 2 months ago

pgoodman commented 2 months ago

Prerequisites

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

Description

Resolving this issue should result in the following not relying on the unsupported dialect: https://godbolt.org/z/YY7PKMEex