gcc/testsuite/g++.dg/cpp1z/launder7.C

// PR c++/84445
// { dg-do compile }

struct A { virtual void foo (); };

void
bar (A *p)
{
  __builtin_launder (p)->foo ();
}