From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugzilla@gcc.gnu.org>
Received: by sourceware.org (Postfix, from userid 48)
	id 473363858D20; Sun, 12 Nov 2023 11:33:21 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 473363858D20
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1699788801;
	bh=GeCzexgczVtsoV1JGD7YSuUxAVTQiGWlP8fDSAZZS4k=;
	h=From:To:Subject:Date:From;
	b=YlmSLCOR3AGg0TpWJzJJrf+R3nOxHaVaZmJuYWsb3Cg59II5cYO0j7rnbzHAb0UMb
	 o+PKos8oPAuSsDThYnvBHWMZun30ZhmeuksFm7qEKhsieMqp3MWyCrmJRirjTHUexU
	 XnyFe4UNIrdqGjgkQzB6tA3MB6fP9Vuqnq0pNQL0=
From: "hewillk at gmail dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/112490] New: infinite meta error in
 reverse_iterator<basic_const_iterator<vector<int>::iterator>>
Date: Sun, 12 Nov 2023 11:33:20 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: new
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c++
X-Bugzilla-Version: 14.0
X-Bugzilla-Keywords: 
X-Bugzilla-Severity: normal
X-Bugzilla-Who: hewillk at gmail dot com
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: bug_id short_desc product version bug_status
 bug_severity priority component assigned_to reporter target_milestone
Message-ID: <bug-112490-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
List-Id: <gcc-bugs.sourceware.org>

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

            Bug ID: 112490
           Summary: infinite meta error in
                    reverse_iterator<basic_const_iterator<vector<int>::ite
                    rator>>
           Product: gcc
           Version: 14.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: hewillk at gmail dot com
  Target Milestone: ---

#include <iterator>
#include <vector>

using I =3D std::vector<int>::iterator;
using CI =3D std::basic_const_iterator<I>;
using RCI =3D std::reverse_iterator<CI>;
static_assert(std::totally_ordered<RCI>);

https://godbolt.org/z/14zsETc4d

The fact that libc++ does not generate an error suggests that this may be a
language bug.
Not sure where the real issue here, I will reduce it when I have time.=