[PATCH] Don't display ranges for dead ssa-names.

[PATCH] Don't display ranges for dead ssa-names.

[Andrew MacLeod]

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

AS Jakub  observed in an earlier testcase (97325),  when EVRP dumps the 
known SSA_RANGES, it isn't expecting names to be deleted that it could 
not delete, so it wasn't checking.

With the hybrid model, ranger sometimes deletes things that EVRP 
calculated a range for, and the resulting dump was confusing

  _1: short unsigned int VARYING
  _2: int [0, 65535]
  _3: int [-65535, 0]
  : int [0, 32]
  : long long unsigned int [0, 0]
  c_6(D): long long unsigned int VARYING
  : long long unsigned int [0, 32]

Now we just check if then name is valid before dumping.

Bootstrapped on x86_64-pc-linux-gnu,  no regressions, pushed.

[-- Attachment #2: p3.diff --]
[-- Type: text/x-patch, Size: 518 bytes --]

2020-10-16  Andrew MacLeod  <amacleod@redhat.com>

	* vr-values.c (dump_all_value_ranges): Only dump names which are
	still active.


diff --git a/gcc/vr-values.c b/gcc/vr-values.c
index da0b249278b..e917704d9bb 100644
--- a/gcc/vr-values.c
+++ b/gcc/vr-values.c
@@ -1999,7 +1999,7 @@ vr_values::dump_all_value_ranges (FILE *file)
 
   for (i = 0; i < num_vr_values; i++)
     {
-      if (vr_value[i])
+      if (vr_value[i] && ssa_name (i))
 	{
 	  print_generic_expr (file, ssa_name (i));
 	  fprintf (file, ": ");