public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug libstdc++/107471] New: mismatching constraints in common_iterator
@ 2022-10-31 13:54 h2+bugs at fsfe dot org
  2022-10-31 16:56 ` [Bug libstdc++/107471] " ppalka at gcc dot gnu.org
  2022-10-31 17:14 ` h2+bugs at fsfe dot org
  0 siblings, 2 replies; 3+ messages in thread
From: h2+bugs at fsfe dot org @ 2022-10-31 13:54 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107471

            Bug ID: 107471
           Summary: mismatching constraints in common_iterator
           Product: gcc
           Version: 12.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: libstdc++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: h2+bugs at fsfe dot org
  Target Milestone: ---

In bits/stl_iterator.h:


```cpp
  /// An iterator/sentinel adaptor for representing a non-common range.
  template<input_or_output_iterator _It, sentinel_for<_It> _Sent>
    requires (!same_as<_It, _Sent>) && copyable<_It>
  class common_iterator
  {

// ...

    template<input_or_output_iterator _It2, sentinel_for<_It2> _Sent2>
    friend class common_iterator;
```

The constraints are mismatching. GCC (falsely) accepts this, but clang fails,
see also 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107470

^ permalink raw reply	[flat|nested] 3+ messages in thread

* [Bug libstdc++/107471] mismatching constraints in common_iterator
  2022-10-31 13:54 [Bug libstdc++/107471] New: mismatching constraints in common_iterator h2+bugs at fsfe dot org
@ 2022-10-31 16:56 ` ppalka at gcc dot gnu.org
  2022-10-31 17:14 ` h2+bugs at fsfe dot org
  1 sibling, 0 replies; 3+ messages in thread
From: ppalka at gcc dot gnu.org @ 2022-10-31 16:56 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107471

Patrick Palka <ppalka at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
             Status|UNCONFIRMED                 |RESOLVED
   Target Milestone|---                         |11.4
                 CC|                            |ppalka at gcc dot gnu.org

--- Comment #1 from Patrick Palka <ppalka at gcc dot gnu.org> ---
Looks like this has already been fixed by r13-1769-g3b5567c3ec7e57 which has
been backported as r12-8596 and r11-10165, so IIUC GCC 12.3 and 11.4 (or a
recent enough snapshot of these branches) will contain the fix.

^ permalink raw reply	[flat|nested] 3+ messages in thread

* [Bug libstdc++/107471] mismatching constraints in common_iterator
  2022-10-31 13:54 [Bug libstdc++/107471] New: mismatching constraints in common_iterator h2+bugs at fsfe dot org
  2022-10-31 16:56 ` [Bug libstdc++/107471] " ppalka at gcc dot gnu.org
@ 2022-10-31 17:14 ` h2+bugs at fsfe dot org
  1 sibling, 0 replies; 3+ messages in thread
From: h2+bugs at fsfe dot org @ 2022-10-31 17:14 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107471

--- Comment #2 from Hannes Hauswedell <h2+bugs at fsfe dot org> ---
Great, thanks!

^ permalink raw reply	[flat|nested] 3+ messages in thread

end of thread, other threads:[~2022-10-31 17:14 UTC | newest]

Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-10-31 13:54 [Bug libstdc++/107471] New: mismatching constraints in common_iterator h2+bugs at fsfe dot org
2022-10-31 16:56 ` [Bug libstdc++/107471] " ppalka at gcc dot gnu.org
2022-10-31 17:14 ` h2+bugs at fsfe dot org

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).