https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102902
--- Comment #6 from Zhendong Su <zhendong.su at inf dot ethz.ch> --- Hi Richard, I just noticed that this issue was mis-categorized as a duplicate of 102920, which was filed later. It's not very important, but it would probably be nice to correctly label the issues in the bug tracker. Thanks.