diff options
| author | Caitlin Sadowski <supertri@google.com> | 2011-08-23 18:46:34 +0000 |
|---|---|---|
| committer | Caitlin Sadowski <supertri@google.com> | 2011-08-23 18:46:34 +0000 |
| commit | afbbd8e5adac0f041e5e2951ae2e7026e74344a2 (patch) | |
| tree | c16ccc1d985d9a9ec1bcba27d0b41657bf8632af /clang/lib/StaticAnalyzer/Core/ExprEngine.cpp | |
| parent | 635aa69a9189c261440a0034484864386c7a0de6 (diff) | |
| download | bcm5719-llvm-afbbd8e5adac0f041e5e2951ae2e7026e74344a2.tar.gz bcm5719-llvm-afbbd8e5adac0f041e5e2951ae2e7026e74344a2.zip | |
Thread-safety analysis: adding in a basic lockset tracking system. This
system flags an error when unlocking a lock which was not held, locking
the same lock twice, having a different lockset on each iteration of a
loop, or going out of scope while still holding a lock. In order to
successfully use the lockset, this patch also makes sure that attribute
arguments are attached correctly for later parsing.
This patch was also worked on by DeLesley Hutchins.
Note: This patch has been reviewed by Chandler Carruth and Jeffrey
Yasskin. Feel free to provide post-commit review comments for a
subsequent patch.
llvm-svn: 138350
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/ExprEngine.cpp')
0 files changed, 0 insertions, 0 deletions
