tlv: unused local in tlv_peek_tag

arekinath · Apr 11, 2024 · 0aaa043 · 0aaa043
1 parent 73ef988
commit 0aaa043
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -934,6 +934,7 @@ CBMC_OPTS=	-D__CPROVER \
 		--div-by-zero-check \
 		--trace \
 		--drop-unused-functions \
+		--string-abstraction \
 		-I. -Iopenssh/ \
 		$(SYSTEM_CBMCFLAGS) \
 		$(PCSC_CBMCFLAGS) \

diff --git a/tlv.c b/tlv.c
@@ -200,7 +200,7 @@ tlv_peek_tag(struct tlv_state *ts, uint *ptag)
 	struct tlv_context *p = ts->ts_now;
 	const uint8_t *buf = p->tc_buf;
 	uint8_t d;
-	uint tag, octs;
+	uint tag;
 	size_t origin = p->tc_pos;
 	errf_t *error;