5/28/2004 
<br>
<pre><span class="keyword">val</span> <a name="VALcomputeIDom"></a>computeIDom : <code class="type">?doCFG:bool -> <a href="Cil.html#TYPEfundec">Cil.fundec</a> -> <a href="Cil.html#TYPEstmt">Cil.stmt</a> option Inthash.t</code></pre><div class="info">
Invoke on a code after filling in the CFG info and it computes the 
 immediate dominator information. We map each statement to its immediate 
 dominator (None for the start statement, and for the unreachable 
 statements).<br>
</div>
<pre><span