https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92479
--- Comment #13 from David Binderman <dcb314 at hotmail dot com> --- While there are no occurrences of this problem in the gcc source code, I count six of them in the current Linux kernel source code (v5.16). Which is more than I would have thought. So this problem does occur in practice.