[PATCH 13/16] tcp, tcp_splice: False "Negative array index read" positives, CWE-129