Tulio pointed out to me that we also need the fix for https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85672, which is caused by the fix for PR84654.
Tulio pointed out to me that we also need the fix for https:/ /gcc.gnu. org/bugzilla/ show_bug. cgi?id= 85672, which is caused by the fix for PR84654.