https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99970
Bug ID: 99970 Summary: gcc accepts invalid comparison between pointer and integer in requires-clause Product: gcc Version: 11.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: hewillk at gmail dot com Target Milestone: --- https://godbolt.org/z/qs44TqzKe template <auto x = 0> void f() requires requires { x == "hello world"; } {}; int main() { f(); } gcc accepts this.