]> git.ipfire.org Git - thirdparty/freeradius-server.git/commitdiff
Take out nonnull hint on _fr_dbuff_init() for coverity (CIDs below) (#4697)
authorJames Jones <jejones3141@gmail.com>
Thu, 25 Aug 2022 20:45:33 +0000 (15:45 -0500)
committerGitHub <noreply@github.com>
Thu, 25 Aug 2022 20:45:33 +0000 (16:45 -0400)
Coverity assumes that the nonnull means we'll dereference the end
pointer... so leave it out when coverity runs.

CIDs: 150389515039051503907150391415039151503924
      150395615039701503973150397915039801503988
      150400015040341504035150403915040401504059

src/lib/util/dbuff.h

index 967f7a2b44d75a9913c68943f09048f239c252ed..48890195793ab0d6ae276168dfc697cc8d17d439 100644 (file)
@@ -327,7 +327,11 @@ DIAG_OFF(maybe-uninitialized)
 /** Does the actual work of initialising a dbuff
  * @private
  */
-static inline CC_HINT(nonnull) void _fr_dbuff_init(fr_dbuff_t *out, uint8_t const *start, uint8_t const *end, bool is_const)
+static inline
+#ifndef __COVERITY__
+CC_HINT(nonnull)
+#endif
+void _fr_dbuff_init(fr_dbuff_t *out, uint8_t const *start, uint8_t const *end, bool is_const)
 {
        if (unlikely(end < start)) end = start; /* Could be an assert? */