https://gcc.gnu.org/bugzilla/show_bug.cgi?id=53598
--- Comment #3 from Arnaud Bienner ---
For the record, bug 62182 (closed as duplicate of this one) contained a patch I
wrote. It's not really working/neat, and I didn't have time to spend more time
on it, but might be useful for someone trying to
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62182
--- Comment #3 from Arnaud Bienner ---
Created attachment 35324
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=35324&action=edit
unused-comparison warning
I also believe it can be useful to have "unused comparison" warning (i.e.
something
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62182
Arnaud Bienner changed:
What|Removed |Added
CC||arnaud.bienner at ensimag dot
fr
