On 7/31/22 17:13, Tao Zhou wrote: > 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. no. -- Daniel