diff options
Diffstat (limited to 'gcc/print-tree.c')
| -rw-r--r-- | gcc/print-tree.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/print-tree.c b/gcc/print-tree.c index b207fe30a54..57b07ace4bb 100644 --- a/gcc/print-tree.c +++ b/gcc/print-tree.c @@ -138,7 +138,7 @@ print_node_brief (FILE *file, const char *prefix, tree node, int indent) d = TREE_REAL_CST (node); if (REAL_VALUE_ISINF (d)) - fprintf (file, " Inf"); + fprintf (file, REAL_VALUE_NEGATIVE (d) ? " -Inf" : " Inf"); else if (REAL_VALUE_ISNAN (d)) fprintf (file, " Nan"); else @@ -709,7 +709,7 @@ print_node (FILE *file, const char *prefix, tree node, int indent) d = TREE_REAL_CST (node); if (REAL_VALUE_ISINF (d)) - fprintf (file, " Inf"); + fprintf (file, REAL_VALUE_NEGATIVE (d) ? " -Inf" : " Inf"); else if (REAL_VALUE_ISNAN (d)) fprintf (file, " Nan"); else |