/* PR middle-end/101600 - Spurious -Warray-bounds downcasting a polymorphic
   pointer
   { dg-do compile }
   { dg-options "-O2 -Wall" } */

struct S1 { virtual ~S1(); };
struct S2 { int m; };
struct S3 { virtual ~S3(); };
struct S4: S1, S2, S3 {};

int f1 ();

void f2 (S3 *);

void f3 (S2 *p)
{
  for (int i = f1 (); f1 (); )
    {
      if (i == 0)
  	{
  	  p = 0;
  	  break;
  	}
    }

  f2 (static_cast<S4 *>(p));  // { dg-bogus "-Warray-bounds" }
}