diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2018-06-28 14:49:15 +0000 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2018-06-28 14:49:15 +0000 |
| commit | f601629c61e2361bab49eecbcf89703f8fb33e98 (patch) | |
| tree | a946aa2858c505c967ed2963fad59aa9ce90e4c2 /gcc | |
| parent | 291d3f4d26d9d7c79719093a0a1828d1659ca3a1 (diff) | |
| download | gcc-f601629c61e2361bab49eecbcf89703f8fb33e98.zip gcc-f601629c61e2361bab49eecbcf89703f8fb33e98.tar.gz gcc-f601629c61e2361bab49eecbcf89703f8fb33e98.tar.bz2 | |
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
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/tree-cfg.c | 6 |
2 files changed, 11 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 45c45c4..9dcb8bd 100644 --- 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 a22fed5..14d66b7 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<gimple *, int> *eh_table = get_eh_throw_stmt_table (cfun); |