tree-cfg.c (verify_gimple_in_cfg): Call verify_location on the goto_locus of each...

	* tree-cfg.c (verify_gimple_in_cfg): Call verify_location on the
	goto_locus of each outgoing edge of each basic block.

From-SVN: r262219

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 45c45c485a5ec482b8416b831a47d85971a67554..9dcb8bd6567cfbb56da03515c789a2a7b57bff6e 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2018-06-28  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * tree-cfg.c (verify_gimple_in_cfg): Call verify_location on the
+       goto_locus of each outgoing edge of each basic block.
+
 2018-06-28  Richard Biener  <rguenther@suse.de>
 
        * dwarf2out.c (decl_scope_table): Remove.

diff --git a/gcc/tree-cfg.c b/gcc/tree-cfg.c
index a22fed5d1c92ce1f4614d8f365b1f807346084d6..14d66b7a7283a84152d54664a031889f5e50155b 100644 (file)
--- a/gcc/tree-cfg.c
+++ b/gcc/tree-cfg.c
@@ -5286,6 +5286,8 @@ verify_gimple_in_cfg (struct function *fn, bool verify_nothrow)
   FOR_EACH_BB_FN (bb, fn)
     {
       gimple_stmt_iterator gsi;
+      edge_iterator ei;
+      edge e;
 
       for (gphi_iterator gpi = gsi_start_phis (bb);
           !gsi_end_p (gpi);
@@ -5407,6 +5409,10 @@ verify_gimple_in_cfg (struct function *fn, bool verify_nothrow)
            debug_gimple_stmt (stmt);
          err |= err2;
        }
+
+      FOR_EACH_EDGE (e, ei, bb->succs)
+       if (e->goto_locus != UNKNOWN_LOCATION)
+         err |= verify_location (&blocks, e->goto_locus);
     }
 
   hash_map<gimple *, int> *eh_table = get_eh_throw_stmt_table (cfun);