<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Aug 7, 2013 at 5:26 PM, Peter Collingbourne <span dir="ltr"><<a href="mailto:peter@pcc.me.uk" target="_blank" class="cremed">peter@pcc.me.uk</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div id=":4vv" style="overflow:hidden">+    // Unused basic blocks will not be instrumented.  This is okay, because<br>

+    // they are unreachable.  But we need to modify any return instructions in<br>
+    // these BBs to return a value of the correct type in order to pass the<br>
+    // verifier.  This is easier than just deleting them because they may be<br>
+    // referenced by phi nodes (and each other).</div></blockquote></div><br>There is a utility that will just delete all unreachable code. Call that first?</div></div>