https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79041
--- Comment #3 from Robert Schiele <rschiele at gmail dot com> --- If you point me to the specific patch that you have in mind I can in parallel already test whether besides the test case I provided it also fixes the original problem this was detected with.