https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91043
--- Comment #8 from Hanoch Haim <hhaim at cisco dot com> --- Created attachment 46542 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=46542&action=edit stateful_rx_core.ss
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91043
--- Comment #8 from Hanoch Haim <hhaim at cisco dot com> --- Created attachment 46542 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=46542&action=edit stateful_rx_core.ss