Hello John,<br><br>I was following your procedures and I isolated the problem. The problem are represented by the basic blocks with only one elements.<br><br>for (Function::iterator II = F.begin(), EE = F.end(); II != EE; ++II, ++ii) <br>
{ <br>BasicBlock* BB=II;<br><br>if (BB->getTerminator())<br>    {<br>        Instruction* current = BB->getTerminator();<br><br>        Instruction* previous;<br>        <br>         errs()<<"AAA\n";<br>
        if(current->getPrevNode())<br>        {<br>            errs()<<"BBB\n";<br>            previous = current->getPrevNode();<br>            ok=1;<br>        }<br>    <br>        if (ok)<br><br><br>
<br>