1  /* { dg-do compile } */
       2  /* { dg-additional-options "-fexcess-precision=fast -O1 -fdump-tree-optimized" } */
       3  void foo (float a, float b, float *c)
       4  {
       5    double e = (double)a * (double)b;
       6    *c = (float)e;
       7  }
       8  
       9  /* { dg-final { scan-tree-dump-not {double} "optimized" } } */