diff options
| author | Aaron Puchert <aaron.puchert@sap.com> | 2021-05-03 13:59:47 +0200 |
|---|---|---|
| committer | Aaron Puchert <aaron.puchert@sap.com> | 2021-05-03 14:03:17 +0200 |
| commit | daca6edb31efae048a420595fae9750aaa91c733 (patch) | |
| tree | 8914f17ed5854cfed8ee597ddbdbfae9cb51f351 /llvm/lib/Support/MemoryBuffer.cpp | |
| parent | 530e074faafe995a560e80815f5af8306670ea7b (diff) | |
| download | llvm-daca6edb31efae048a420595fae9750aaa91c733.zip llvm-daca6edb31efae048a420595fae9750aaa91c733.tar.gz llvm-daca6edb31efae048a420595fae9750aaa91c733.tar.bz2 | |
Thread safety analysis: Fix false negative on break
We weren't modifying the lock set when intersecting with one coming
from a break-terminated block. This is inconsistent, since break isn't a
back edge, and it leads to false negatives with scoped locks. We usually
don't warn for those when joining locksets aren't the same, we just
silently remove locks that are not in the intersection. But not warning
and not removing them isn't right.
Reviewed By: aaron.ballman
Differential Revision: https://reviews.llvm.org/D101202
Diffstat (limited to 'llvm/lib/Support/MemoryBuffer.cpp')
0 files changed, 0 insertions, 0 deletions