 class="keyword">type</span> <a name="TYPEtree"></a><code class="type"></code>tree </pre>

<pre><span class="keyword">val</span> <a name="VALcomputeDomTree"></a>computeDomTree : <code class="type">?doCFG:bool -> <a href="Cil.html#TYPEfundec">Cil.fundec</a> -> <a href="Cil.html#TYPEstmt">Cil.stmt</a> option Inthash.t * <a href="Dominators.html#TYPEtree">tree</a></code></pre><div class="info">
returns the IDoms and a map from statement ids to 
  the set of statements that are dominated<br>
</div>
<pre><span c