diff options
| author | Caolán McNamara <caolanm@redhat.com> | 2015-09-11 09:40:15 +0100 |
|---|---|---|
| committer | Caolán McNamara <caolanm@redhat.com> | 2015-09-11 09:40:31 +0100 |
| commit | 044deb37ae308c10a5bc0e976de40e257caa9a4e (patch) | |
| tree | a4ccc3d31528033caf379394e285961c57b7b6af /vcl/source | |
| parent | 0f36d4a923f37b1fd85ab024d09e84e53bf481ba (diff) | |
coverity#1323754 we apparently can survive std::abort for a while
so try and suppress this warning
Change-Id: I096352af0116f1ba0911cc201eb884267095a797
Diffstat (limited to 'vcl/source')
| -rw-r--r-- | vcl/source/opengl/OpenGLHelper.cxx | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/vcl/source/opengl/OpenGLHelper.cxx b/vcl/source/opengl/OpenGLHelper.cxx index 014a5ad5716b..0e0e10cd8bd0 100644 --- a/vcl/source/opengl/OpenGLHelper.cxx +++ b/vcl/source/opengl/OpenGLHelper.cxx @@ -554,6 +554,7 @@ void OpenGLWatchdogThread::execute() nUnchanged = 0; std::abort(); } + // coverity[dead_error_line] - we might have caught SIGABRT and failed to exit yet bAbortFired = true; } } |