appleseedlab / maki

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

Function pointer arguments are outputted incorrectly in type signature #54

Closed SilverMight closed 2 months ago

SilverMight commented 2 months ago

Maki reports an ill-formed type declaration for function pointer arguments:

void SETORIGSIG(int sig, void (*)(int) handler)

We can either fix this on Maki's side or let MerC know with a property that a function pointer in present in the arguments so it can handle it in translation.