[Bug c++/108393] circular concept false-positive

2024-03-09 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108393 Patrick Palka changed: What|Removed |Added See Also|https://gcc.gnu.org/bugzill |

[Bug c++/108393] circular concept false-positive

2023-05-18 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108393 Andrew Pinski changed: What|Removed |Added CC||hewillk at gmail dot com --- Comment

[Bug c++/108393] circular concept false-positive

2023-01-27 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108393 Andrew Pinski changed: What|Removed |Added CC||fsb4000 at yandex dot ru --- Comment

[Bug c++/108393] circular concept false-positive

2023-01-13 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108393 Patrick Palka changed: What|Removed |Added See Also||https://gcc.gnu.org/bugzill

[Bug c++/108393] circular concept false-positive

2023-01-13 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108393 --- Comment #2 from Jonathan Wakely --- Specifically, ADL for __t == __u finds this function: template friend constexpr bool operator==(unreachable_sentinel_t, const _Iter&) noexcept; making it an overload resolution candidate. It's not

[Bug c++/108393] circular concept false-positive

2023-01-13 Thread redi at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108393 --- Comment #1 from Jonathan Wakely --- The concept C checks whether S satisfies the constraint for the iterator_traits specialization. That performs ADL for operator== with S and unreachable_sentinel_t as associated classes. That finds the