From f601629c61e2361bab49eecbcf89703f8fb33e98 Mon Sep 17 00:00:00 2001 From: Eric Botcazou Date: Thu, 28 Jun 2018 14:49:15 +0000 Subject: [PATCH] tree-cfg.c (verify_gimple_in_cfg): Call verify_location on the goto_locus of each outgoing edge of each basic block. * 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 --- gcc/ChangeLog | 5 +++++ gcc/tree-cfg.c | 6 ++++++ 2 files changed, 11 insertions(+) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 45c45c485a5..9dcb8bd6567 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2018-06-28 Eric Botcazou + + * 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 * dwarf2out.c (decl_scope_table): Remove. diff --git a/gcc/tree-cfg.c b/gcc/tree-cfg.c index a22fed5d1c9..14d66b7a728 100644 --- 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 *eh_table = get_eh_throw_stmt_table (cfun); -- 2.30.2