/* { dg-do run } */
/* { dg-options "-O2 -fno-tree-fre" } */

int __attribute__((noipa))
foo (int flag, int *p)
{
  int val = *p;
  if (flag)
    {
      if (val != 1)
        __builtin_unreachable ();
      return 0;
    }
  int val2 = *p;
  return val2 == 2;
}

int main()
{
  int i = 2;
  if (foo (0, &i) != 1)
    __builtin_abort ();
  return 0;
}