diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2020-10-24 14:50:59 -0700 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2020-10-25 13:58:03 -0700 |
| commit | 8e330f297ed31bb13ff14110a58e93bed59dcea7 (patch) | |
| tree | af03561fcb03cd24b1cb031875af3b9dfd5b3772 /core/display.h | |
| parent | e30ba8a8e0f1c182ae3ce7022667b7aca17d3df4 (diff) | |
| download | subsurface-8e330f297ed31bb13ff14110a58e93bed59dcea7.tar.gz | |
cleanup: fix over-eager Coverity warnings
Technically get_dive() could return a nullptr. The existing code made sure the
argument passed to get_dive() was one that always would result in a valid dive
pointer being returned. The new code is only slightly less efficient but allows
a static code analysis to easily see that we don't derefence NULL pointers here.
On some level this change is unnecessary. But it's also not wrong.
Fixes CID 354762
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'core/display.h')
0 files changed, 0 insertions, 0 deletions