diff options
| author | Artem Dergachev <artem.dergachev@gmail.com> | 2017-05-29 14:51:39 +0000 |
|---|---|---|
| committer | Artem Dergachev <artem.dergachev@gmail.com> | 2017-05-29 14:51:39 +0000 |
| commit | 77915931382df169be4a32d5f649f7d311d6b465 (patch) | |
| tree | 20ed9b25ef9a5dbc2ca541cfaeb2a8ea0261262b /clang/lib/StaticAnalyzer/Checkers/IteratorPastEndChecker.cpp | |
| parent | f3b84c4ebe75cd1422feea220ac09afe422851a0 (diff) | |
| download | bcm5719-llvm-77915931382df169be4a32d5f649f7d311d6b465.tar.gz bcm5719-llvm-77915931382df169be4a32d5f649f7d311d6b465.zip | |
[analyzer] PthreadLockChecker: model failed pthread_mutex_destroy() calls.
pthread_mutex_destroy() may fail, returning a non-zero error number, and
keeping the mutex untouched. The mutex can be used on the execution branch
that follows such failure, so the analyzer shouldn't warn on using
a mutex that was previously destroyed, when in fact the destroy call has failed.
Patch by Malhar Thakkar!
Differential revision: https://reviews.llvm.org/D32449
llvm-svn: 304159
Diffstat (limited to 'clang/lib/StaticAnalyzer/Checkers/IteratorPastEndChecker.cpp')
0 files changed, 0 insertions, 0 deletions
