test/SemaCXX/null-cast.cpp


1
2
3
4
5
6
7
8

// 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}}
}