search

appleseedlab / maki

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

Add property IsInvokedWhereConstantExpressionRequired #45

Closed PappasBrent closed 2 months ago

PappasBrent commented 2 months ago

Add property IsInvokedWhereConstantExpressionRequired to check if a macro invocation appears where any constant expression is required (not just where an integral constant expression is required).

Closes #44