diff options
| author | Mike Kaganski <mike.kaganski@collabora.com> | 2018-11-10 12:51:57 +0300 |
|---|---|---|
| committer | Mike Kaganski <mike.kaganski@collabora.com> | 2018-11-10 12:23:09 +0100 |
| commit | 0b34a5dd39e177ba99cd21b639d67ac8123b8458 (patch) | |
| tree | 6b1d80910864fbf397bdbe79b68090c45b7c47ed /jvmfwk | |
| parent | ea65a40cdf6ac4dba37f21ad9bf81184b6598b55 (diff) | |
tdf#120703 PVS: silence a V555
V555 The expression '(curpos - bufpos) > 0' will work as 'curpos != bufpos'.
Change-Id: I432c10c9c5ecc99293ec3f03f6e1a660e1c47e28
Reviewed-on: https://gerrit.libreoffice.org/63236
Tested-by: Jenkins
Reviewed-by: Mike Kaganski <mike.kaganski@collabora.com>
Diffstat (limited to 'jvmfwk')
0 files changed, 0 insertions, 0 deletions