[Bug web/63955] New: Remove pr51879-12.c xfail

[vries at gcc dot gnu.org]

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

            Bug ID: 63955
           Summary: Remove pr51879-12.c xfail
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: web
          Assignee: unassigned at gcc dot gnu.org
          Reporter: vries at gcc dot gnu.org

The fix for PR 62167 - '[4.8 Regression][tail-merge] dead type-unsafe load
replaces type-safe load' adds an xfail for pr51879-12.c.

We want the test to pass again.

pr51879-12.c:
...
/* { dg-do compile } */
/* { dg-options "-O2 -fdump-tree-pre" } */

__attribute__((pure)) int bar (int);
__attribute__((pure)) int bar2 (int);
void baz (int);

int x, z;

void
foo (int y)
{
  int a = 0;
  if (y == 6)
    {
      a += bar (7);
      a += bar2 (6);
    }
  else
    {
      a += bar2 (6);
      a += bar (7);
    }
  baz (a);
}

/* { dg-final { scan-tree-dump-times "bar \\(" 1 "pre" { xfail *-*-* } } } */
/* { dg-final { scan-tree-dump-times "bar2 \\(" 1 "pre" { xfail *-*-* } } } */
/* { dg-final { cleanup-tree-dump "pre" } } */
...