// PR c++/69922
// { dg-do compile }
// { dg-options "-fsanitize=vptr -Wnonnull-compare" }

struct S { virtual ~S (); };
struct T : S { T *bar (); T *baz (); T *q; bool b; };

T *
T::bar ()
{
  return static_cast<T*>(reinterpret_cast<S*>(this));	// { dg-bogus "nonnull argument" }
}

T *
T::baz ()
{
  return static_cast<T*>(reinterpret_cast<S*>(b ? this : q));	// { dg-bogus "nonnull argument" }
}