static inline and jextract

[Maurizio Cimadamore]

On 05/09/2022 12:30, Manuel Bleichenbacher wrote:
> Is there a reason to treat inline static functions different from 
> function-like macros?

IMHO they should be treated similarly - e.g. they should be skipped.

Also, I thought jextract skipped stuff that was not plain C, so I'm 
surprised to see symbols being generated for "inline" functions. Maybe 
we're missing some checks?

Maurizio