/* { dg-do compile } */
/* { dg-options "-O2 -fdump-ipa-devirt"  } */
struct A {virtual int t(){return 42;}};
struct B:A {virtual int t(){return 1;}};

struct A aa;
struct B bb;
int
t(struct B *b)
{
  struct A *a=b;
  a->t();

  return 0;
}

/* We should guess that the pointer of type B probably points to an instance
   of B or its derivates and exclude A::t from list of likely targets.  */

/* { dg-final { scan-ipa-dump "Speculative targets"  "devirt"  } } */
/* { dg-final { scan-ipa-dump "1 speculatively devirtualized"  "devirt"  } } */