Check for local types in `sizeof()` and cast expressions

appleseedlab / maki

A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs

8 stars 3 forks source link

Closed PappasBrent closed 2 months ago

PappasBrent commented 2 months ago

Adds a check to set DoesSubexpressionExpandedFromBodyHaveLocalType to true when a macro expansion contains a sizeof() or cast expression that references a locally-defined type in its argument.
Adds a test for this new check.

Closes #46