[PATCH] Factor DataflowWorklist out of LiveVariables and UninitializedValues analyses

Jordan Rose jordan_rose at apple.com
Fri Apr 25 09:31:17 PDT 2014


Are you sure this is correct? One worklist treats the entry block as already analyzed, the other doesn't. One starts with no blocks enqueued, the other effectively has all blocks enqueued because of the iterators.

Small comments:
- Why doesn't enqueueSuccessors use enqueueBlock?
- Since this is only used by classes in the same component of Clang, it might make sense to put even the header in the lib/ directory. That way it doesn't show up when other people build tools on top of Clang. Then again, it is a generally reusable component.

Jordan


On Apr 25, 2014, at 7:53 , Artyom Skrobov <Artyom.Skrobov at arm.com> wrote:

> Hello,
>  
> LiveVariables and UninitializedValues analyses had slightly different implementations of DataflowWorklist, both by Ted Kremenek in 2011.
>  
> The two variants of DataflowWorklist had similar (though not identical) interfaces, and apparently both were used for similar purposes.
>  
> My patch is to factor this class out of those two analyses. No functional change intended.
>  
> Is it OK?
>  
> <DataflowWorklist.patch>_______________________________________________
> cfe-commits mailing list
> cfe-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20140425/1473f961/attachment.html>


More information about the cfe-commits mailing list