[Bug analyzer/107856] New: gcc.dg/plugin/infoleak-vfio_iommu_type1.c XPASSes

[ro at gcc dot gnu.org via Gcc-bugs]

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

            Bug ID: 107856
           Summary: gcc.dg/plugin/infoleak-vfio_iommu_type1.c XPASSes
           Product: gcc
           Version: 13.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: analyzer
          Assignee: dmalcolm at gcc dot gnu.org
          Reporter: ro at gcc dot gnu.org
  Target Milestone: ---
            Target: i386-pc-solaris2.11, i686-pc-linux-gnu,
                    pru-unknown-elf, x86_64-pc-linux-gnu

The new gcc.dg/plugin/infoleak-vfio_iommu_type1.c test XPASSes on 32-bit
Solaris/x86, Linux/i686 etc. since it was introduced:

+XPASS: gcc.dg/plugin/infoleak-vfio_iommu_type1.c
-fplugin=./analyzer_kernel_plugin.so  (test for bogus messages, line 42)