blob: c80ab8fced1e09603d0304dc8932d6646544203b [file] [log] [blame]
// RUN: %clang_cc1 -fsyntax-only -verify %s
struct A {};
struct B : virtual A {};
void foo() {
(void)static_cast<A&>(*(B *)0); // expected-warning {{binding dereferenced null pointer to reference has undefined behavior}}
}