https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89358
Jonathan Wakely <redi at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |diagnostic
Status|UNCONFIRMED |NEW
Last reconfirmed| |2019-02-14
Ever confirmed|0 |1
--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> ---
Confirmed. I can't see any difference between std::less<int> in C++14 and
C++17, so I have no idea what the ODR violation is supposed to be.