Fix cast in df_worklist_dataflow_doublequeue

The existing cast to float gives weird results in the RTL dump files
on x86 when the compiler is configured -with-fpmath=sse.

gcc/
	* df-core.c (df_worklist_dataflow_doublequeue): Use proper cast.

diff --git a/gcc/df-core.c b/gcc/df-core.c
index 8536e5e1f51df85b965a31ca1b112cc8afef5400..b4407eec460123175149dee7f4d755cada84c4bc 100644 (file)
--- a/gcc/df-core.c
+++ b/gcc/df-core.c
@@ -1064,7 +1064,7 @@ df_worklist_dataflow_doublequeue (struct dataflow *dataflow,
             " n_basic_blocks %d n_edges %d"
             " count %d (%5.2g)\n",
             n_basic_blocks_for_fn (cfun), n_edges_for_fn (cfun),
-            dcount, dcount / (float)n_basic_blocks_for_fn (cfun));
+            dcount, dcount / (double)n_basic_blocks_for_fn (cfun));
 }
 
 /* Worklist-based dataflow solver. It uses sbitmap as a worklist,