https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70539
--- Comment #2 from Zhendong Su <su at cs dot ucdavis.edu> --- (In reply to Marek Polacek from comment #1) > Dup? > > *** This bug has been marked as a duplicate of bug 70540 *** Sorry for the noise; it wasn't intentional. The server somehow wasn't responding, and I clicked submit a second time.