https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106941
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 messages
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", give
it a minor severity for now.
Referenced Bugs:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106833
[Bug 106833] Miss to handle OPAQUE_TYPE specially in verify_type
