From: Miroslav Lichvar Date: Thu, 4 Jun 2020 07:49:17 +0000 (+0200) Subject: sources: add more assertions X-Git-Tag: 4.0-pre3~101 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=37dbc211cdb78ef3f17aa4af9de0b1fed39b0bab;p=thirdparty%2Fchrony.git sources: add more assertions --- diff --git a/sources.c b/sources.c index f134c785..9fc5a0ed 100644 --- a/sources.c +++ b/sources.c @@ -1025,8 +1025,13 @@ SRC_SelectSource(SRC_Instance updated_inst) default: assert(0); } + assert(trust_depth <= depth); + assert(trust_depth >= 0); } + assert(depth == 0 && trust_depth == 0); + assert(2 * n_sel_sources == n_endpoints); + if ((best_trust_depth == 0 && best_depth <= n_sel_sources / 2) || (best_trust_depth > 0 && best_trust_depth <= n_sel_trust_sources / 2)) { /* Could not even get half the reachable (trusted) sources to agree */