https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78830
--- Comment #6 from Jonathan Wakely <redi at gcc dot gnu.org> --- (In reply to Piotr Nycz from comment #5) > CLANG with its std-lib correctly (IMO) does not compile it. As explained above, GCC is already correct here. > I understand this is UB - but implementation might suggest it is checked > that iterator is biderectional (at least ) but this check has no effect. It does if you compile with -D_GLIBCXX_CONCEPT_CHECKS > Is there anything that can be done to increase importance of this > enhancement? Write a patch? https://gcc.gnu.org/contribute.html