diff options
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/cfghooks.c | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/gcc/cfghooks.c b/gcc/cfghooks.c index 50b9b17..6446e16 100644 --- a/gcc/cfghooks.c +++ b/gcc/cfghooks.c @@ -161,6 +161,12 @@ verify_flow_info (void) err = 1; } + if (bb->flags & ~cfun->cfg->bb_flags_allocated) + { + error ("verify_flow_info: unallocated flag set on BB %d", bb->index); + err = 1; + } + FOR_EACH_EDGE (e, ei, bb->succs) { if (last_visited [e->dest->index] == bb) @@ -202,6 +208,13 @@ verify_flow_info (void) err = 1; } + if (e->flags & ~cfun->cfg->edge_flags_allocated) + { + error ("verify_flow_info: unallocated edge flag set on %d -> %d", + e->src->index, e->dest->index); + err = 1; + } + edge_checksum[e->dest->index] += (size_t) e; } if (n_fallthru > 1) |