diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2020-10-24 14:43:32 -0700 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2020-10-25 13:58:03 -0700 |
| commit | e30ba8a8e0f1c182ae3ce7022667b7aca17d3df4 (patch) | |
| tree | b9fde8518e27bcf93aef67da364246a3bbfcf2b8 /scripts/android | |
| parent | 272b7b3e278b291e2df0f7bf290856f1daa950bc (diff) | |
| download | subsurface-e30ba8a8e0f1c182ae3ce7022667b7aca17d3df4.tar.gz | |
cleanup: fix over-eager Coverity warnings
Technically get_dive(i) could return a nullptr. But given the range for i that
can never happen. Still, the test is extremely cheap and doesn't hurt.
Fixes CID 354768
Fixes CID 354766
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'scripts/android')
0 files changed, 0 insertions, 0 deletions