https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96255
--- Comment #27 from Christopher Albert <albert at tugraz dot at> --- Thanks Harald and Jerry for the fast reaction and sorry that I missed this. I'll post a minimal follow-up patch for the warnings soon.
