appleseedlab / maki

A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs
8 stars 3 forks source link

Report whether a macro invocation expands to a 32-bit ICE #31

Closed PappasBrent closed 2 months ago

PappasBrent commented 2 months ago

If a macro expands to an integral constant expression (ICE), Maki should report whether that ICE could fit in a 32 bit integer. This is so that downstream tools can determine whether it would be safe to translate such macros to enums, because C standards up until C23 require that enum values fit in the int type.