aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/g++.dg/opt/nrv15.C
blob: 23511b284b2628ec32638e9e7c59a0934eb6ee4b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
// PR debug/39086
// { dg-options "-g -O -fno-tree-sra" }

struct A { int v; };

A ax;

struct B
{
  static A f1 () { return ax; }
  static bool f2 ();
  static A f3 ();
};

struct C
{
  A f4 ()
  {
    A x;
    if (__builtin_expect (this->f6 () < this->f12 (), true))
      x = B::f1 ();
    else
      x = this->f7 ();
    return x;
  }
  A f5 ()
  {
    A y;
    if (this->f6 () < this->f12 ())
      y = B::f1 ();
    else
      y = this->f7 ();
    return y;
  }
  void *f6 () const;
  void *f12 () const;
  virtual A f7 ();
};

C *dx;

struct D
{
  C *f8 () const;
};

class E : virtual public D
{
  void f11 ();
  void f9 ();
  void f10 ();
};

struct G
{
  explicit G ();
  operator bool () const;
};

void
E::f11 (void)
{
  A d = B::f3 ();
  d = this->f8 ()->f4 ();
}

void
E::f9 ()
{
  G c;
  if (c)
    {
      const A e = B::f3 ();
      C * f = this->f8 ();
      A d = f->f5 ();
      if (B::f2 ())
	;
      else if (B::f2 ())
	f->f4 ();
    }
}

void
E::f10 ()
{
  G c;
  if (c)
    {
      const A e = B::f3 ();
      C * f = this->f8 ();
      A d = f->f5 ();
      if (B::f2 ())
	;
      else if (B::f2 ())
	f->f4 ();
    }
}