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.

Reply via email to