Support for non-standard `int complex` type

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

Support for non-standard `int complex` type #597

Closed Jezurko closed 3 weeks ago

Jezurko commented 1 month ago

Prerequisites

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

Description

Both clang and gcc do accept this type, however we do not exactly support it in HighLevel. It should not be a complex task to add the support, but it might require to rework the type verifiers in a similar way as it was done for float operations (instead of operation predicates we should use the verify methods)

Jezurko commented 1 month ago

There is a reproducer in LLVM SingleSource test-suite SingleSource/Regression/C/gcc-c-torture/execute/20041124-1.c

Jezurko commented 3 weeks ago

Resolved by #616