/* PR middle-end/98266 - bogus array subscript is partly outside array
   bounds on virtual inheritance
   { dg-do compile }
   { dg-options "-O2 -Wall" } */

#if __cplusplus < 201103L
// This matters for the test case.
#  define noexcept   throw ()
#endif

struct A
{
  virtual ~A () noexcept;
  const char *s;
};

struct B: virtual A { };
struct C: virtual A { };      // { dg-bogus "\\\[-Warray-bounds" }

struct D: virtual B, virtual C
{
  D (const char*);
};

void sink (void*);
void sink (D);


// Verify that accesses to the table aren't diagnosed.
void test_vtbl ()
{
  sink (D (""));
}