[cfe-commits] Threadsafety-- basic lockset implementation
kremenek at apple.com
Tue Aug 23 15:34:21 PDT 2011
When I use -Weverything using a clang compiler with this change on the LLVM/Clang codebase, this code crashes a lot.
This checker is also getting pretty big. Generally speaking AnalysisBasedWarnings.cpp should only contain the "top-level" logic for driving analyses. The analyses themselves should be in a separate file and activated via a small API. When you get a chance, please move the bulk of the logic to libAnalysis, and have AnalysisBasedWarnings.cpp just call the entry point.
On Aug 18, 2011, at 9:43 PM, Caitlin Sadowski wrote:
> Here is an updated thread safety lockset patch which incorporates
> existing llvm iterators to perform the topological sort.
> On Wed, Aug 17, 2011 at 4:07 PM, Caitlin Sadowski <supertri at google.com> wrote:
>> Dear ThreadSafety reviewers (probably Doug),
>> Please find an initial lockset implementation patch attached, to
>> review at your earliest convenience. This patch adds basic lock
>> tracking support for the thread safety analysis. It depends on a very
>> small llvm patch (attached and sent to llvm-commits). Code review site
>> This patch also depends on the topological sort patch sent out to the
>> llvm-commits mailing list by DeLesley Hutchins to order the CFG blocks
>> so as to traverse them in one pass in the right order.
> cfe-commits mailing list
> cfe-commits at cs.uiuc.edu
More information about the cfe-commits