1/* { dg-do compile } */
2/* { dg-options "-O3 -fdump-ipa-cp"  } */
3/* { dg-add-options bind_pic_locally } */
4
5class ert_RefCounter {
6 protected:
7  int refCounterE;
8  virtual ~ert_RefCounter() {}
9};
10
11class ebs_Object : virtual public ert_RefCounter {
12};
13
14class dpr_App : public ebs_Object {
15 public:
16  virtual void run();
17};
18
19class dpr_Job : public ebs_Object {};
20
21void dpr_run(ebs_Object& objectA) {
22  ((dpr_App&)objectA).run();
23  dpr_Job jobL;
24  dpr_run(jobL);
25}
26/* { dg-final { scan-ipa-dump "Type inconsistent devirtualization" "cp"  } } */
27/* { dg-final { cleanup-ipa-dump "cp" } } */
28