gcc/testsuite/gcc.dg/type-convert-var.c

   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" } } */