diff mbox

Check dominator info in compute_dominance_frontiers

Message ID 5588416F.1070702@mentor.com
State New
Headers show

Commit Message

Tom de Vries June 22, 2015, 5:10 p.m. UTC 
On 22/06/15 13:47, Richard Biener wrote:
>> (eventually also for the case where we
>> >>end up only computing the fast-query stuff).
>>

Like this?
...
...

Thanks,
- Tom

Comments

Richard Biener June 23, 2015, 9:31 a.m. UTC | #1 
On Mon, Jun 22, 2015 at 7:10 PM, Tom de Vries <Tom_deVries@mentor.com> wrote:
> On 22/06/15 13:47, Richard Biener wrote:
>>>
>>> (eventually also for the case where we
>>> >>end up only computing the fast-query stuff).
>>>
>
> Like this?
> ...
> diff --git a/gcc/dominance.c b/gcc/dominance.c
> index 9c66ca2..58fc6fd 100644
> --- a/gcc/dominance.c
> +++ b/gcc/dominance.c
> @@ -679,6 +679,12 @@ calculate_dominance_info (enum cdi_direction dir)
>        free_dom_info (&di);
>        dom_computed[dir_index] = DOM_NO_FAST_QUERY;
>      }
> +  else
> +    {
> +#if ENABLE_CHECKING
> +      verify_dominators (CDI_DOMINATORS);
> +#endif
> +    }
>
>    compute_dom_fast_query (dir);

Yeah.

Richard.

> ...
>
> Thanks,
> - Tom
diff mbox

Patch

diff --git a/gcc/dominance.c b/gcc/dominance.c
index 9c66ca2..58fc6fd 100644
--- a/gcc/dominance.c
+++ b/gcc/dominance.c
@@ -679,6 +679,12 @@  calculate_dominance_info (enum cdi_direction dir)
        free_dom_info (&di);
        dom_computed[dir_index] = DOM_NO_FAST_QUERY;
      }
+  else
+    {
+#if ENABLE_CHECKING
+      verify_dominators (CDI_DOMINATORS);
+#endif
+    }

    compute_dom_fast_query (dir);