More IsInvokedWhereICERequired checks

appleseedlab / maki

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

8 stars 3 forks source link

More IsInvokedWhereICERequired checks #43

Closed PappasBrent closed 2 months ago

PappasBrent commented 2 months ago

Check the property IsInvokedWhereICERequired for expressions appearing in the initializer for global and static variables, and inside the size specifier for array types appearing in typedefs.

Closes #42