[COMMITTED] Always output exported ranges to a dump_file.

[COMMITTED] Always output exported ranges to a dump_file.

[Andrew MacLeod]

[-- Attachment #1: Type: text/plain, Size: 249 bytes --]

This patch makes execute_ranger_vrp () match what VRP does and output 
any exported ranges at the end of the pass to a dump file, without 
needing TDF_DETAILS to be provided.

Bootstraps onx86_64-pc-linux-gnu with no regressions.  Pushed.

Andrew


[-- Attachment #2: 0002-Always-output-exported-ranges-to-a-dump_file.patch --]
[-- Type: text/x-patch, Size: 817 bytes --]

From 17d26698aa31268acdf5e1d4d0bc363dd35378ac Mon Sep 17 00:00:00 2001
From: Andrew MacLeod <amacleod@redhat.com>
Date: Wed, 20 Oct 2021 13:41:12 -0400
Subject: [PATCH 2/3] Always output exported ranges to a dump_file.

	* gimple-range.cc (gimple_ranger::export_global_ranges): Remove check
	for TDF_DETAILS.
---
 gcc/gimple-range.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gcc/gimple-range.cc b/gcc/gimple-range.cc
index 69cde911c49..91bacda6dd0 100644
--- a/gcc/gimple-range.cc
+++ b/gcc/gimple-range.cc
@@ -303,7 +303,7 @@ gimple_ranger::export_global_ranges ()
 	  && !r.varying_p())
 	{
 	  bool updated = update_global_range (r, name);
-	  if (!updated || !dump_file || !(dump_flags & TDF_DETAILS))
+	  if (!updated || !dump_file)
 	    continue;
 
 	  if (print_header)
-- 
2.17.2