On Fri, Jul 29, 2022 at 11:38:42AM +0200, Daniel Bristot de Oliveira wrote:
[...]
> +static inline type model_get_next_state_##name(enum states_##name curr_state, \
> + enum events_##name event) \
> +{ \
> + if ((curr_state < 0) || (curr_state >= state_max_##name)) \
> + return INVALID_STATE; \
> + \
> + if ((event < 0) || (event >= event_max_##name)) \
> + return INVALID_STATE; \
Should define the INVALID_EVENT corresponding to event invalid case.
