aboutsummaryrefslogtreecommitdiffstats
path: root/cmd/ztest
diff options
context:
space:
mode:
authorRichard Yao <[email protected]>2022-11-03 12:58:14 -0400
committerTony Hutter <[email protected]>2022-12-01 12:39:43 -0800
commit256b74d0b034ff61709fca64d58f81746186eaef (patch)
treef007e8b1a23d999d0b18883c7cd8674286150b0a /cmd/ztest
parentac01b876c91ea6dbbb75775db5603077f3490f0b (diff)
Address warnings about possible division by zero from clangsa
* The complaint in ztest_replay_write() is only possible if something went horribly wrong. An assertion will silence this and if it goes off, we will know that something is wrong. * The complaint in spa_estimate_metaslabs_to_flush() is not impossible, but seems very unlikely. We resolve this by passing the value from the `MIN()` that does not go to infinity when the variable is zero. There was a third report from Clang's scan-build, but that was a definite false positive and disappeared when checked again through Clang's static analyzer with Z3 refution via CodeChecker. Reviewed-by: Brian Behlendorf <[email protected]> Signed-off-by: Richard Yao <[email protected]> Closes #14124
Diffstat (limited to 'cmd/ztest')
-rw-r--r--cmd/ztest/ztest.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/cmd/ztest/ztest.c b/cmd/ztest/ztest.c
index a580396eb..fb4297478 100644
--- a/cmd/ztest/ztest.c
+++ b/cmd/ztest/ztest.c
@@ -2193,6 +2193,7 @@ ztest_replay_write(void *arg1, void *arg2, boolean_t byteswap)
* but not always, because we also want to verify correct
* behavior when the data was not recently read into cache.
*/
+ ASSERT(doi.doi_data_block_size);
ASSERT0(offset % doi.doi_data_block_size);
if (ztest_random(4) != 0) {
int prefetch = ztest_random(2) ?