https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91858
--- Comment #2 from Arseny Solokha <asolokha at gmx dot com> --- It's likely what I've been looking for, thanks. I'll see whether this new testcase adds anything to the older discussion you've pointed out.
