https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79868 --- Comment #8 from Roland Illig <roland.illig at gmx dot de> --- Yes, the patch looks good to me. (I didn't even catch the one instance that Frederic found.) Thanks for putting this much effort into this issue.