[cfe-commits] [PATCH] Thread-safety analysis: substitute arguments for parameters

[Delesley Hutchins]

This patch updates the thread safety analysis to properly substitute
call arguments for function parameters in mutex expressions.  For
example:

  void foo(MyData* d) __attribute__((exclusive_locks_required(d->mu))) { ... }
  ...
  foo(mydat);  // lock required should be mydat->mu.

The patch is broken into two parts.  The first part is a refactoring
patch, which makes it easier to write the second part, which
implements the actual functionality.

  http://codereview.appspot.com/5001048/

  -DeLesley

-- 
DeLesley Hutchins | Software Engineer | delesley at google.com | 505-206-0315
-------------- next part --------------
A non-text attachment was scrubbed...
Name: substitution_refactor.patch
Type: text/x-patch
Size: 11045 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20110915/34813af5/attachment.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: substitution_functionality.patch
Type: text/x-patch
Size: 5507 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20110915/34813af5/attachment-0001.bin>