X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fcoverage.c;h=ba5d68d84751512e69063e4fc31361f388e9fe48;hb=a8b5f8b423e5d54ba8bb6e68cc5b9dc22215d302;hp=6f805e9eacd44b2c9be0fe825708d5629e55bcc7;hpb=67ca9e6d90808f22332cf475ad01e01bf5d46c4f;p=openvswitch diff --git a/lib/coverage.c b/lib/coverage.c index 6f805e9e..ba5d68d8 100644 --- a/lib/coverage.c +++ b/lib/coverage.c @@ -134,8 +134,8 @@ coverage_log(enum vlog_level level, bool suppress_dups) return; } + hash = coverage_hash(); if (suppress_dups) { - hash = coverage_hash(); if (coverage_hit(hash)) { VLOG(level, "Skipping details of duplicate event coverage for " "hash=%08"PRIx32" in epoch %u", hash, epoch);