From 84827e9d383ae835705a70d465b29b9e976f85c1 Mon Sep 17 00:00:00 2001
From: Michael Tuexen <tuexen@fh-muenster.de>
Date: Sun, 21 Oct 2018 22:39:11 +0200
Subject: [PATCH] Try again to address Coverity ID 323325.
---
gtests/net/packetdrill/run_packet.c | 2 ++
1 file changed, 2 insertions(+)
diff --git a/gtests/net/packetdrill/run_packet.c b/gtests/net/packetdrill/run_packet.c
index efe7ad75..60c8b5ff 100644
--- a/gtests/net/packetdrill/run_packet.c
+++ b/gtests/net/packetdrill/run_packet.c
@@ -3417,6 +3417,7 @@ static int do_inbound_script_packet(
if (packet->flags & FLAGS_UDP_ENCAPSULATED) {
struct udp *udp;
+ assert(i + 2 < PACKET_MAX_HEADERS);
assert(packet->headers[i + 1].type == HEADER_UDP);
assert(packet->headers[i + 2].type == HEADER_SCTP);
packet->headers[i].total_bytes += temp_offset;
@@ -3425,6 +3426,7 @@ static int do_inbound_script_packet(
udp = ((struct udp *)packet->sctp) - 1;
udp->len = htons(ntohs(udp->len) + temp_offset);
} else {
+ assert(i + 1 < PACKET_MAX_HEADERS);
assert(packet->headers[i + 1].type == HEADER_SCTP);
packet->headers[i].total_bytes += temp_offset;
packet->headers[i + 1].total_bytes += temp_offset;
--
GitLab