[Bug middle-end/106941] New: Warn/Error conversion between opaque types in generic handling

[Bug middle-end/106941] New: Warn/Error conversion between opaque types in generic handling

[linkw at gcc dot gnu.org]

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

[Bug middle-end/106941] Warn/Error conversion between opaque types in generic handling

[linkw at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106941
Bug 106941 depends on bug 106833, which changed state.

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|---                         |FIXED