Fixes #1421. See code comments for rationale.
Related meta-bug: #1181. This reminds me that we should move forward with #1359.
The most recent comment on the upstream GCC issue is not 100% clear to me.
Can you elaborate on which part is unclear?
In any case, I could rephrase this such that it says it’s a GCC bug. When I wrote it, I wasn’t sure yet, but the upstream response seems to confirm that this is a bug.
Fixes #1421.
Labels
build