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 0093F385803E; Wed, 14 Sep 2022 12:42:23 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 0093F385803E
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1663159344;
	bh=wLRxesfeelHoCPxHL4gvctp6F4wHxQGCVywDWbk9D2U=;
	h=From:To:Subject:Date:From;
	b=S9DWF/T9nxoWIj9pDeg5FJDG5rHtFIq2SZaUTWQl+Om94q55TWLwS/Gj1HZJHTAZI
	 4WILCnF5U4NcbasXsWntXzlpANmlcEqVFGsZYHMrK4/p401lH3HylmooKAxPBUwQLN
	 dqc5SeuK2GdMtt8f9EJOsFgkQ9r4X6Of7Fi3O1hg=
From: "linkw at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug middle-end/106941] New: Warn/Error conversion between opaque
 types in generic handling
Date: Wed, 14 Sep 2022 12:42:23 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: new
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: middle-end
X-Bugzilla-Version: 13.0
X-Bugzilla-Keywords: ice-checking
X-Bugzilla-Severity: minor
X-Bugzilla-Who: linkw at gcc dot gnu.org
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
 keywords bug_severity priority component assigned_to reporter cc dependson
 target_milestone cf_gcctarget
Message-ID: <bug-106941-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=3D106941

            Bug ID: 106941
           Summary: Warn/Error conversion between opaque types in generic
                    handling
           Product: gcc
           Version: 13.0
            Status: UNCONFIRMED
          Keywords: ice-checking
          Severity: minor
          Priority: P3
         Component: middle-end
          Assignee: unassigned at gcc dot gnu.org
          Reporter: linkw at gcc dot gnu.org
                CC: bergner at gcc dot gnu.org, hubicka at gcc dot gnu.org,
                    rguenth at gcc dot gnu.org, segher at gcc dot gnu.org,
                    unassigned at gcc dot gnu.org
        Depends on: 106833
  Target Milestone: ---
            Target: powerpc*-linux-gnu

In PR106833, Segher pointed out that we should emit warning or error messag=
es
for conversion between two opaque types even if they have the same mode, as
documentation said conversion should not expected for opaque type.

For now, rs6000_invalid_conversion has some checks which are mainly based on
mode but they are target specific. As #c12 of PR106833, Segher expected this
can be handled generically, no target code is needed for it.

Since "we currently have only one type for each of our two opaque modes", g=
ive
it a minor severity for now.


Referenced Bugs:

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D106833
[Bug 106833] Miss to handle OPAQUE_TYPE specially in verify_type=