http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58718 --- Comment #3 from Yury Gribov <y.gribov at samsung dot com> --- Got it. I wonder whether we should keep the bug opened until we merge or close it now.