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 > [email protected] > http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
_______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
