http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58525 --- Comment #3 from Alexander Ivchenko <aivchenk at gmail dot com> --- thanks. I have sent it to gcc-paches: http://gcc.gnu.org/ml/gcc-patches/2013-10/msg00402.html