https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78830
--- Comment #11 from Jonathan Wakely <redi at gcc dot gnu.org> --- As I already said: (In reply to Jonathan Wakely from comment #8) > One day I hope to be able to enhance those assertions to warn at > compile-time if the compiler can tell the assertion will fail, but that is > not currently possible.