1 // RUN: %clang_cc1 -fsyntax-only -verify %s
2 
3 struct A {};
4 struct B : virtual A {};
5 
foo()6 void foo() {
7   (void)static_cast<A&>(*(B *)0); // expected-warning {{binding dereferenced null pointer to reference has undefined behavior}}
8 }
9