gcc/testsuite/gcc.dg/pr46171.c

/* PR debug/46171 */
/* { dg-do compile } */
/* { dg-options "-O -fno-tree-dce -g" } */

double bard ();
float barf (float);

void
foo (float f)
{
  f = barf (f);
  double d = bard ();
}