diff options
| author | Richard Biener <rguenther@suse.de> | 2017-12-14 14:53:40 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2017-12-14 14:53:40 +0000 |
| commit | e64905d8771745218738e7e9802f2a5f673afaa4 (patch) | |
| tree | 81564e8501169076fd5d48fca36fee92a566a85d /gcc/sese.h | |
| parent | 8fa06648cde628f49ac69587d31841fc338ec841 (diff) | |
| download | gcc-e64905d8771745218738e7e9802f2a5f673afaa4.zip gcc-e64905d8771745218738e7e9802f2a5f673afaa4.tar.gz gcc-e64905d8771745218738e7e9802f2a5f673afaa4.tar.bz2 | |
re PR tree-optimization/67842 (Incorrect check in sese.h:bb_in_region)
2017-12-14 Richard Biener <rguenther@suse.de>
PR tree-optimization/67842
* sese.h (bb_in_region): Remove #if 0'ed code.
From-SVN: r255636
Diffstat (limited to 'gcc/sese.h')
| -rw-r--r-- | gcc/sese.h | 14 |
1 files changed, 0 insertions, 14 deletions
@@ -120,20 +120,6 @@ sese_nb_params (sese_info_p region) static inline bool bb_in_region (const_basic_block bb, const_basic_block entry, const_basic_block exit) { - /* FIXME: PR67842. */ -#if 0 - if (flag_checking) - { - edge e; - edge_iterator ei; - - /* Check that there are no edges coming in the region: all the - predecessors of EXIT are dominated by ENTRY. */ - FOR_EACH_EDGE (e, ei, exit->preds) - gcc_assert (dominated_by_p (CDI_DOMINATORS, e->src, entry)); - } -#endif - return dominated_by_p (CDI_DOMINATORS, bb, entry) && !(dominated_by_p (CDI_DOMINATORS, bb, exit) && !dominated_by_p (CDI_DOMINATORS, entry, exit)); |