[cfe-commits] Patch: Initial improvements to PthreadLockChecker

[Argyrios Kyrtzidis]

On May 9, 2011, at 4:49 PM, Ted Kremenek wrote:

> 
> On May 9, 2011, at 4:38 PM, Rui Paulo wrote:
> 
>> 
>> Oh, right. The role of lockHistory is to track all the locks that we haven't yet unlocked. The current "state" also does this, but I don't think it keeps an order. I'll have to investigate further. It would be great if I didn't need to add anything to GRState.

Can you be more specific ? Is it the inconvenient interface ? There's room for improvement for easier use of GRState I think.

> 
> You can possibly use an ImmutableList to track lockset ordering (if ordering matters), and use the ImmutableList as the lockset data in GRState.
> _______________________________________________
> 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/20110509/825b8224/attachment.html>