https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100601

--- Comment #2 from Zhendong Su <zhendong.su at inf dot ethz.ch> ---
(In reply to Eric Botcazou from comment #1)
> Please avoid creating trivial duplicates.
> 
> *** This bug has been marked as a duplicate of bug 100453 ***

Okay Eric; I had overlooked this one.

Reply via email to