/* { dg-lto-do run } */
/* { dg-lto-options { "-O3 -flto" } } */
#include "../ipa/devirt-6.C"