tree-wide: apply v_counted_by_(field)

Signed-off-by: Asad Sajjad Ahmed <[email protected]>
varnishcache · Jan 15, 2024 · 159dc96 · 159dc96
1 parent 5d34373
commit 159dc96
Show file tree

Hide file tree

Showing 5 changed files with 7 additions and 5 deletions.
diff --git a/bin/varnishd/hpack/vhp_gen_hufdec.c b/bin/varnishd/hpack/vhp_gen_hufdec.c
@@ -72,7 +72,7 @@ struct tbl {
 	unsigned		idx;
 	unsigned		lvl;
 	unsigned		p_idx;
-	struct cod		e[];
+	struct cod		e[] v_counted_by_(n);
 };
 
 static struct tbl *

diff --git a/bin/varnishd/http2/cache_http2.h b/bin/varnishd/http2/cache_http2.h
@@ -123,7 +123,8 @@ struct h2_rxbuf {
 	uint64_t			tail;
 	uint64_t			head;
 	struct stv_buffer		*stvbuf;
-	uint8_t				data[];
+	uint8_t				data[]
+	    v_counted_by_(size - PRNDUP(sizeof(struct stv_buffer)));
 };
 
 struct h2_req {

diff --git a/bin/varnishd/proxy/cache_proxy_proto.c b/bin/varnishd/proxy/cache_proxy_proto.c
@@ -52,7 +52,7 @@ struct vpx_tlv {
 	unsigned		magic;
 #define VPX_TLV_MAGIC		0xdeb9a4a5
 	unsigned		len;
-	char			tlv[];
+	char			tlv[] v_counted_by_(len);
 };
 
 static inline int

diff --git a/include/vsl_priv.h b/include/vsl_priv.h
@@ -63,5 +63,5 @@ struct VSL_head {
 	ssize_t			segsize;
 	unsigned		segment_n;
 	ssize_t			offset[VSL_SEGMENTS];
-	uint32_t		log[];
+	uint32_t		log[] v_counted_by_(segment_n);
 };
diff --git a/lib/libvarnish/vte.c b/lib/libvarnish/vte.c
@@ -62,7 +62,8 @@ struct vte {
 	int		f_sz;		/* input field size */
 	int		f_cnt;		/* actual number of fields */
 	int		f_maxcnt;	/* maximum number of fields */
-	int		f_maxsz[];	/* maximum size per field */
+	int		f_maxsz[]
+	    v_counted_by_(f_cnt);	/* maximum size per field */
 };
 
 struct vte *