From: Jorge Pereira <jpereiran@gmail.com>
Date: Fri, 24 May 2019 03:07:49 +0000 (-0300)
Subject: time.h: Add nonnull hint
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=66d058facc81d34f4a9bcce1faaeacca03e9daa4;p=thirdparty%2Ffreeradius-server.git

time.h: Add nonnull hint
---

diff --git a/src/lib/util/time.h b/src/lib/util/time.h
index 6e4d7d7bf38..ac5dd356944 100644
--- a/src/lib/util/time.h
+++ b/src/lib/util/time.h
@@ -161,10 +161,10 @@ void fr_time_tracking_end(fr_time_tracking_t *tt, fr_time_t when, fr_time_tracki
 void fr_time_tracking_yield(fr_time_tracking_t *tt, fr_time_t when, fr_time_tracking_t *worker) CC_HINT(nonnull);
 void fr_time_tracking_resume(fr_time_tracking_t *tt, fr_time_t when, fr_time_tracking_t *worker) CC_HINT(nonnull);
 void fr_time_tracking_debug(fr_time_tracking_t *tt, FILE *fp) CC_HINT(nonnull);
-void fr_time_elapsed_update(fr_time_elapsed_t *elapsed, fr_time_t start, fr_time_t end);
-void fr_time_elapsed_fprint(FILE *fp, fr_time_elapsed_t const *elapsed, char const *prefix, int tabs);
+void fr_time_elapsed_update(fr_time_elapsed_t *elapsed, fr_time_t start, fr_time_t end) CC_HINT(nonnull);
+void fr_time_elapsed_fprint(FILE *fp, fr_time_elapsed_t const *elapsed, char const *prefix, int tabs) CC_HINT(nonnull(1,2));
 
-int fr_time_delta_from_str(fr_time_delta_t *out, char const *in, int hint);
+int fr_time_delta_from_str(fr_time_delta_t *out, char const *in, int hint) CC_HINT(nonnull);
 
 #ifdef __cplusplus
 }