diff options
| author | Stephan Bergmann <sbergman@redhat.com> | 2022-04-26 08:22:40 +0200 |
|---|---|---|
| committer | Stephan Bergmann <sbergman@redhat.com> | 2022-04-26 11:54:28 +0200 |
| commit | 8f5141cea04430592cc4d47acac2cbf6b508d3ef (patch) | |
| tree | 187a1e18a364ceb76c1ff3421a3c783009f23785 /desktop | |
| parent | cda53485ec0f2c666c86c0ac99e7af4b0f2b352f (diff) | |
cid#1504268 Silence false data race condition warning
Change-Id: I058a0f9d2e3c7434b5dc742c82067cb97c6102d0
Reviewed-on: https://gerrit.libreoffice.org/c/core/+/133425
Tested-by: Jenkins
Reviewed-by: Stephan Bergmann <sbergman@redhat.com>
Diffstat (limited to 'desktop')
| -rw-r--r-- | desktop/source/deployment/gui/dp_gui_extensioncmdqueue.cxx | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/desktop/source/deployment/gui/dp_gui_extensioncmdqueue.cxx b/desktop/source/deployment/gui/dp_gui_extensioncmdqueue.cxx index cd60d78f7421..30cfe9e3cca3 100644 --- a/desktop/source/deployment/gui/dp_gui_extensioncmdqueue.cxx +++ b/desktop/source/deployment/gui/dp_gui_extensioncmdqueue.cxx @@ -692,6 +692,7 @@ void ExtensionCmdQueue::Thread::execute() eInput = m_eInput; m_eInput = NONE; nSize = m_queue.size(); + // coverity[missing_lock: FALSE] - maybe due to (by-design) unique_lock vs. scoped_lock? m_bWorking = false; } |