// PR c++/70295
// { dg-do compile }
// { dg-options "-O2 -Wnonnull-compare" }

struct A { A (); virtual ~A (); bool foo (bool); };
struct B : virtual public A { B (); virtual ~B (); };

bool
A::foo (bool x)
{
  if (x && dynamic_cast<B *>(this) != (B *) 0)	// { dg-bogus "nonnull argument" }
    return true;
  return false;
}