// PR c++/5453: Test that we don't assume that the pointer target of a
// reference is non-null just because we know the reference isn't.

// { dg-do run }

struct V { };
struct A: virtual public V { };

A* ap;
A*& apr (ap);

int main ()
{
  V* vp = apr;
}