WARNING: CPU: 1 PID: 12386 at net/ipv4/tcp_input.c:2194 tcp_mark_head_lost+0xeec/0xf70 net/ipv4/tcp_input.c:2194
Kernel panic - not syncing: panic_on_warn set ...

CPU: 1 PID: 12386 Comm: syz-executor4 Not tainted 4.16.0+ #87
Hardware name: Google Google Compute Engine/Google Compute Engine, BIOS Google 01/01/2011
Call Trace:
 __dump_stack lib/dump_stack.c:17 [inline]
 dump_stack+0x185/0x1d0 lib/dump_stack.c:53
 panic+0x39d/0x940 kernel/panic.c:183
 __warn+0x40f/0x580 kernel/panic.c:547
 report_bug+0x72a/0x880 lib/bug.c:186
 fixup_bug arch/x86/kernel/traps.c:179 [inline]
 do_error_trap+0x1aa/0x600 arch/x86/kernel/traps.c:297
 do_invalid_op+0x46/0x50 arch/x86/kernel/traps.c:316
 invalid_op+0x1b/0x40 arch/x86/entry/entry_64.S:986
RIP: 0010:tcp_mark_head_lost+0xeec/0xf70 net/ipv4/tcp_input.c:2194
RSP: 0018:ffff88019bdff130 EFLAGS: 00010283
RAX: ffffffff88529a6c RBX: 0000000000000000 RCX: 0000000000040000
RDX: ffffc900037a8000 RSI: 00000000000004cd RDI: 00000000000004ce
RBP: ffff88019bdff208 R08: 0000000000000000 R09: 0000000000000002
R10: 0000000000000001 R11: 0000000000000000 R12: 0000000000000007
R13: 0000000000000010 R14: 0000000000000000 R15: 0000000000000008
 tcp_update_scoreboard net/ipv4/tcp_input.c:2210 [inline]
 tcp_fastretrans_alert+0x4324/0x6f20 net/ipv4/tcp_input.c:2848
 tcp_ack+0x6235/0x8800 net/ipv4/tcp_input.c:3618
 tcp_rcv_established+0xfc1/0x2bb0 net/ipv4/tcp_input.c:5457
 tcp_v4_do_rcv+0x6cd/0xd90 net/ipv4/tcp_ipv4.c:1469
 sk_backlog_rcv include/net/sock.h:908 [inline]
 __release_sock+0x2d6/0x680 net/core/sock.c:2271
 release_sock+0x97/0x2a0 net/core/sock.c:2786
 tcp_sendmsg+0xd6/0x100 net/ipv4/tcp.c:1464
 inet_sendmsg+0x48d/0x740 net/ipv4/af_inet.c:764
 sock_sendmsg_nosec net/socket.c:630 [inline]
 sock_sendmsg net/socket.c:640 [inline]
 sock_write_iter+0x3b9/0x470 net/socket.c:909
 do_iter_readv_writev+0x84d/0xa00 include/linux/fs.h:1776
 do_iter_write+0x30d/0xd40 fs/read_write.c:932
 vfs_writev fs/read_write.c:977 [inline]
 do_writev+0x3c9/0x830 fs/read_write.c:1012
 SYSC_writev+0x9b/0xb0 fs/read_write.c:1085
 SyS_writev+0x56/0x80 fs/read_write.c:1082
 do_syscall_64+0x309/0x430 arch/x86/entry/common.c:287
 entry_SYSCALL_64_after_hwframe+0x3d/0xa2
RIP: 0033:0x455979
RSP: 002b:00007f3cf0ea1c68 EFLAGS: 00000246 ORIG_RAX: 0000000000000014
RAX: ffffffffffffffda RBX: 00007f3cf0ea26d4 RCX: 0000000000455979
RDX: 0000000000000001 RSI: 00000000200006c0 RDI: 0000000000000013
RBP: 000000000072bea0 R08: 0000000000000000 R09: 0000000000000000
R10: 0000000000000000 R11: 0000000000000246 R12: 00000000ffffffff
R13: 000000000000072a R14: 00000000006fec90 R15: 0000000000000000
Dumping ftrace buffer:
   (ftrace buffer empty)
Kernel Offset: disabled
Rebooting in 86400 seconds..