]> git.ipfire.org Git - thirdparty/freeradius-server.git/commitdiff
time.h: Add nonnull hint
authorJorge Pereira <jpereiran@gmail.com>
Fri, 24 May 2019 03:07:49 +0000 (00:07 -0300)
committerArran Cudbard-Bell <a.cudbardb@freeradius.org>
Fri, 24 May 2019 13:57:52 +0000 (09:57 -0400)
src/lib/util/time.h

index 6e4d7d7bf3825c28e46c9fa36fb1dc11f41fd42b..ac5dd35694454adce1ad73f0476ac1706f656424 100644 (file)
@@ -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
 }