https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107711
--- Comment #6 from urs at akk dot org --- Created attachment 53913 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=53913&action=edit head of fanalyzer-dump with patch from 53911
urs at akk dot org via Gcc-bugs Wed, 16 Nov 2022 11:50:25 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107711
--- Comment #6 from urs at akk dot org --- Created attachment 53913 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=53913&action=edit head of fanalyzer-dump with patch from 53911