/* { dg-do compile } */
/* { dg-options "-O -fno-tree-forwprop -fdump-tree-fre1-details" } */

/* From PR19792.  */

int
bar (unsigned int t)
{
  int a = t;
  return a == t;
}

/* { dg-final { scan-tree-dump "Replaced \\\(unsigned int\\\) a_.*with t_" "fre1" } } */
/* { dg-final { cleanup-tree-dump "fre1" } } */