https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116823

--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Here is a testcase for a well defined case:
```
void f(int *);

int g(int i, struct f *ff)
{
  const int t = 10;
  const int *a;
  {
    int b;
    f(&b);
    if (t < i)
      a = &t;
    else
      a = &i;
  }
  return *a;
}
```

Without the clobber, phiprop handles this.

Reply via email to