Code Review
/
vpp.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
review
|
tree
raw
|
inline
| side by side
vppinfra: make coverity happy with vec_set_len
[vpp.git]
/
src
/
vppinfra
/
vec_bootstrap.h
diff --git
a/src/vppinfra/vec_bootstrap.h
b/src/vppinfra/vec_bootstrap.h
index
7fb016f
..
5c42e5e
100644
(file)
--- a/
src/vppinfra/vec_bootstrap.h
+++ b/
src/vppinfra/vec_bootstrap.h
@@
-160,16
+160,21
@@
vec_aligned_header_end (void *v, uword header_bytes, uword align)
#define vec_max_len(v) (vec_capacity(v,0) / sizeof (v[0]))
/** \brief Set vector length to a user-defined value */
#define vec_max_len(v) (vec_capacity(v,0) / sizeof (v[0]))
/** \brief Set vector length to a user-defined value */
+#ifndef __COVERITY__ /* Coverity gets confused by ASSERT() */
#define vec_set_len(v, l) do { \
ASSERT(v); \
ASSERT((l) <= vec_max_len(v)); \
_vec_len(v) = (l); \
} while (0)
#define vec_set_len(v, l) do { \
ASSERT(v); \
ASSERT((l) <= vec_max_len(v)); \
_vec_len(v) = (l); \
} while (0)
+#else /* __COVERITY__ */
+#define vec_set_len(v, l) do { \
+ _vec_len(v) = (l); \
+} while (0)
+#endif /* __COVERITY__ */
/** \brief Reset vector length to zero
NULL-pointer tolerant
*/
/** \brief Reset vector length to zero
NULL-pointer tolerant
*/
-
#define vec_reset_length(v) do { if (v) vec_set_len (v, 0); } while (0)
/** \brief End (last data address) of vector. */
#define vec_reset_length(v) do { if (v) vec_set_len (v, 0); } while (0)
/** \brief End (last data address) of vector. */