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.

Reply via email to