gcc-4.9/gcc/testsuite/g++.dg/tree-ssa/pr19786.C


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

// { dg-do run }
/* { dg-options "-O2" } */

// We used to get alias grouping wrong on this one, hoisting accesses
// to the vector's end out of the loop.

#include <vector>
#include <cassert>

struct A
{
  double unused;      // If I remove it => it works.
  std::vector<int> v;

  A() : v(1) {}
};

inline // If not inline => it works.
A g()
{
  A r;
  r.v.resize(2);
  r.v[0] = 1;

  while (!r.v.empty() && r.v.back() == 0)
    r.v.pop_back();

  return r;
}

A f(const A &a)
{
  if (a.v.empty())  return a;
  if (a.v.empty())  return a;

  // A z = g(); return z;  // If I return like this => it works.
  return g();
}

int main()
{
  A a;
  A b;
  A r = f(a);
  assert(r.v.size() != 0);

  return 0;
}