[PATCH] DataFlowSanitizer: Make unreachable BBs verify under the args ABI.

Chandler Carruth chandlerc at google.com
Wed Aug 7 17:30:28 PDT 2013


On Wed, Aug 7, 2013 at 5:26 PM, Peter Collingbourne <peter at pcc.me.uk> wrote:

> +    // Unused basic blocks will not be instrumented.  This is okay,
> because
> +    // they are unreachable.  But we need to modify any return
> instructions in
> +    // these BBs to return a value of the correct type in order to pass
> the
> +    // verifier.  This is easier than just deleting them because they may
> be
> +    // referenced by phi nodes (and each other).
>

There is a utility that will just delete all unreachable code. Call that
first?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20130807/aefa5cb7/attachment.html>


More information about the llvm-commits mailing list