Subversion Repositories openrisc_me

// Derived from PR22167, which failed on some RISC targets.  The call to

// foo() has two successors, one normal and one exceptional, and both

// successors use &a[0] and x.  Expressions involving &a[0] can be hoisted

// before the call but those involving x cannot.

// { dg-options "-Os" }

// { dg-do run }

int a[4];

struct S {

  S() : x (0) {}

  ~S() { a[0] = x; }

  int x;

};

void

foo (int *x)

{

  if (*x == 1)

    throw 1;

  *x = 1;

}

int

main()

{

  S s;

  foo (&s.x);

  if (a[0] == s.x)

    a[0]++;

  return a[0];

}