diff options
| author | Mike Kaganski <mike.kaganski@collabora.com> | 2019-04-01 00:25:16 +0300 |
|---|---|---|
| committer | Mike Kaganski <mike.kaganski@collabora.com> | 2019-04-01 00:49:12 +0200 |
| commit | 85456fae54029edd26df2277a9eec5e2fe3d9739 (patch) | |
| tree | fd55ad48b34c66f0b839edcbc952a8a5a0752c72 /writerperfect | |
| parent | 1d35b89e7581e12024769d19bfb6d6eb2c3274b8 (diff) | |
tdf#120703 PVS: Silence V522 warnings
V522 There might be dereferencing of a potential null pointer.
Change-Id: Ie617b41a8f8d334022cf5313b242a236baedba48
Reviewed-on: https://gerrit.libreoffice.org/70017
Tested-by: Jenkins
Reviewed-by: Mike Kaganski <mike.kaganski@collabora.com>
Diffstat (limited to 'writerperfect')
0 files changed, 0 insertions, 0 deletions