WARNING: CPU: 1 PID: 7598 at net/ipv4/tcp_input.c:2193 tcp_mark_head_lost+0x8ee/0xa70 net/ipv4/tcp_input.c:2193
Kernel panic - not syncing: panic_on_warn set ...

CPU: 1 PID: 7598 Comm: syz-executor6 Not tainted 4.17.0-rc2+ #24
Hardware name: Google Google Compute Engine/Google Compute Engine, BIOS Google 01/01/2011
Call Trace:
 __dump_stack lib/dump_stack.c:77 [inline]
 dump_stack+0x1b9/0x294 lib/dump_stack.c:113
 panic+0x22f/0x4de kernel/panic.c:184
 __warn.cold.8+0x163/0x1b3 kernel/panic.c:536
 report_bug+0x252/0x2d0 lib/bug.c:186
 fixup_bug arch/x86/kernel/traps.c:178 [inline]
 do_error_trap+0x1de/0x490 arch/x86/kernel/traps.c:296
 do_invalid_op+0x1b/0x20 arch/x86/kernel/traps.c:315
 invalid_op+0x14/0x20 arch/x86/entry/entry_64.S:992
RIP: 0010:tcp_mark_head_lost+0x8ee/0xa70 net/ipv4/tcp_input.c:2193
RSP: 0018:ffff8801b82ef4d8 EFLAGS: 00010216
RAX: 0000000000040000 RBX: 0000000000000005 RCX: ffffc900072e2000
RDX: 00000000000011b9 RSI: ffffffff864a8d3e RDI: 0000000000000004
RBP: ffff8801b82ef560 R08: ffff8801cb2c05c0 R09: ffff8801b82ef910
R10: 0000000004d7e48c R11: ffff88021fff8057 R12: 0000000000000004
R13: ffff8801b998b500 R14: dffffc0000000000 R15: 0000000000000001
 tcp_update_scoreboard net/ipv4/tcp_input.c:2207 [inline]
 tcp_fastretrans_alert+0x1ff8/0x2850 net/ipv4/tcp_input.c:2847
 tcp_ack+0x2c48/0x5510 net/ipv4/tcp_input.c:3633
 tcp_rcv_state_process+0xc60/0x5002 net/ipv4/tcp_input.c:5913
 tcp_v4_do_rcv+0x365/0x8c0 net/ipv4/tcp_ipv4.c:1499
 sk_backlog_rcv include/net/sock.h:909 [inline]
 __release_sock+0x12f/0x3a0 net/core/sock.c:2338
 release_sock+0xa4/0x2b0 net/core/sock.c:2853
 inet_shutdown+0x1f7/0x3d0 net/ipv4/af_inet.c:889
 __sys_shutdown+0x154/0x2b0 net/socket.c:1967
 __do_sys_shutdown net/socket.c:1975 [inline]
 __se_sys_shutdown net/socket.c:1973 [inline]
 __x64_sys_shutdown+0x54/0x80 net/socket.c:1973
 do_syscall_64+0x1b1/0x800 arch/x86/entry/common.c:287
 entry_SYSCALL_64_after_hwframe+0x49/0xbe
RIP: 0033:0x455979
RSP: 002b:00007f663850fc68 EFLAGS: 00000246 ORIG_RAX: 0000000000000030
RAX: ffffffffffffffda RBX: 00007f66385106d4 RCX: 0000000000455979
RDX: 0000000000000000 RSI: 0000000000000001 RDI: 0000000000000013
RBP: 000000000072bea0 R08: 0000000000000000 R09: 0000000000000000
R10: 0000000000000000 R11: 0000000000000246 R12: 00000000ffffffff
R13: 000000000000061b R14: 00000000006fc328 R15: 0000000000000000
Dumping ftrace buffer:
   (ftrace buffer empty)
Kernel Offset: disabled
Rebooting in 86400 seconds..