https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94629
--- Comment #27 from David Binderman <dcb314 at hotmail dot com> --- The original article checked gcc-10. gcc-13 is checked in the following article: https://pvs-studio.com/en/blog/posts/cpp/1067/ I suspect it would be most unwise if any release of gcc after 13 introduced new bugs that were known to pvs-studio.
