http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54582 --- Comment #2 from David Binderman <dcb314 at hotmail dot com> 2013-02-06 10:58:22 UTC --- I went through the source code of Fedora Linux rawhide and there are about 220 occurrences of this problem. So it appears far more frequently than I had suspected.