[cfe-commits] [PATCH] Thread-safety analysis: substitute arguments for parameters
Delesley Hutchins
delesley at google.com
Thu Sep 15 09:48:06 PDT 2011
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>
More information about the cfe-commits
mailing list