diff options
author | Berthold Stoeger <bstoeger@mail.tuwien.ac.at> | 2021-01-02 21:53:17 +0100 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2021-01-03 13:41:15 -0800 |
commit | 76d94eda235fe0883d88982ad55cef0c0cf9014b (patch) | |
tree | 1ed3a6e0aa1fca560f845cb56a79ca302db2337c /stats/statsstate.h | |
parent | 402e7eaf97916fe61b283dd4eb7be6672f37144b (diff) | |
download | subsurface-76d94eda235fe0883d88982ad55cef0c0cf9014b.tar.gz |
statistics: silence two Coverity warnings
Two warnings concerning division by zero and non-initialization
of a member variable, respectively.
Both are false positives. However, Coverity is excused because
it probably doesn't understand std::vector<> and also can't
know whether the object in question is generated in a different
source file.
Signed-off-by: Berthold Stoeger <bstoeger@mail.tuwien.ac.at>
Diffstat (limited to 'stats/statsstate.h')
0 files changed, 0 insertions, 0 deletions