search

appleseedlab / maki

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

IsICERepresentableByInt16 #61

Closed PappasBrent closed 1 month ago

PappasBrent commented 1 month ago

Adds a new property, IsICERepresentableByInt16, that is true when a macro invocation expands to an ICE that can fit in a 16-bit integer.

Closes #60