mirrors/gcc
0
0
Fork 0
mirror of https://gcc.gnu.org/git/gcc.git synced 2024-11-30 23:35:00 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity

Verify dominators in early-out calculate_dominance_info

Browse Source 
2015-06-22  Tom de Vries  <tom@codesourcery.com>

	* dominance.c (calculate_dominance_info): Verify dominators if
	early-out.

From-SVN: r224744
This commit is contained in:
Tom de Vries 2015-06-22 16:26:00 +00:00 committed by Tom de Vries
parent a82484a2ee
commit f3c676e118
2 changed files with 11 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/ChangeLog
View File

@ -1,3 +1,8 @@
2015-06-22 Tom de Vries <tom@codesourcery.com>
* dominance.c (calculate_dominance_info): Verify dominators if
early-out.
2015-06-22 Marek Polacek <polacek@redhat.com>
* match.pd ((x ^ y) ^ (x | y) -> x & y,

7
gcc/dominance.c
View File

@ -646,7 +646,12 @@ calculate_dominance_info (enum cdi_direction dir)
bool reverse = (dir == CDI_POST_DOMINATORS) ? true : false;
if (dom_computed[dir_index] == DOM_OK)
return;
{
#if ENABLE_CHECKING
verify_dominators (CDI_DOMINATORS);
#endif
return;
}
timevar_push (TV_DOMINANCE);
if (!dom_info_available_p (dir))