<pre><span class="keyword">val</span> <a name="VALdomTreeIter"></a>domTreeIter : <code class="type">(<a href="Cil.html#TYPEstmt">Cil.stmt</a> -> unit) -> <a href="Dominators.html#TYPEorder">order</a> -> <a href="Dominators.html#TYPEtree">tree</a> -> unit</code></pre><div class="info">
Iterate over a dominator tree<br>
</div>
<pre><span class="keyword">val</span> <a name="VALfindNaturalLoops"></a>findNaturalLoops : <code class="type"><a href="Cil.html#TYPEfundec">Cil.fundec</a> -> <a href="Cil.html#TYPEstmt"