// 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];
}