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 9875a26895c62518c297ac534e793a27dbd4534c..42e7f285f58031989c2901466e4e33830ce75841 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,