sctp: [Deprecated]: syz-executor3 (pid 7277) Use of int in max_burst socket option deprecated.
Use struct sctp_assoc_value instead
SELinux: unrecognized netlink message: protocol=0 nlmsg_type=55 sclass=netlink_route_socket pig=7287 comm=syz-executor7
SELinux: unrecognized netlink message: protocol=0 nlmsg_type=55 sclass=netlink_route_socket pig=7296 comm=syz-executor7
------------[ cut here ]------------
kernel BUG at net/ipv4/tcp_output.c:2837!
invalid opcode: 0000 [#1] SMP KASAN
Dumping ftrace buffer:
   (ftrace buffer empty)
Modules linked in:
CPU: 1 PID: 0 Comm: swapper/1 Not tainted 4.16.0-rc6+ #279
Hardware name: Google Google Compute Engine/Google Compute Engine, BIOS Google 01/01/2011
RIP: 0010:__tcp_retransmit_skb+0x2728/0x2af0 net/ipv4/tcp_output.c:2837
RSP: 0018:ffff8801db307000 EFLAGS: 00010206
RAX: ffff8801d9b12300 RBX: 000000006cf736e9 RCX: ffffffff84cbbe78
RDX: 0000000000000100 RSI: ffff8801a92f9738 RDI: ffff8801b1031aac
RBP: ffff8801db3073a8 R08: ffff88021fff805c R09: 0000000000000000
R10: 0000000096fec9ec R11: ffff88021fff805d R12: 0000000000000001
R13: ffff8801b1031b0e R14: ffff8801b1031a80 R15: ffff8801a92f9500
FS:  0000000000000000(0000) GS:ffff8801db300000(0000) knlGS:0000000000000000
CS:  0010 DS: 0000 ES: 0000 CR0: 0000000080050033
CR2: 00000000006fb378 CR3: 0000000006e22003 CR4: 00000000001606e0
DR0: 0000000000000000 DR1: 0000000000000000 DR2: 0000000000000000
DR3: 0000000000000000 DR6: 00000000fffe0ff0 DR7: 0000000000000400
Call Trace:
 <IRQ>
 tcp_retransmit_skb+0x2e/0x230 net/ipv4/tcp_output.c:2923
 tcp_retransmit_timer+0xefc/0x2dd0 net/ipv4/tcp_timer.c:488
 tcp_write_timer_handler+0x335/0x820 net/ipv4/tcp_timer.c:573
 tcp_write_timer+0x153/0x170 net/ipv4/tcp_timer.c:593
 call_timer_fn+0x228/0x820 kernel/time/timer.c:1326
 expire_timers kernel/time/timer.c:1363 [inline]
 __run_timers+0x7ee/0xb70 kernel/time/timer.c:1666
 run_timer_softirq+0x4c/0x70 kernel/time/timer.c:1692
 __do_softirq+0x2d7/0xb85 kernel/softirq.c:285
 invoke_softirq kernel/softirq.c:365 [inline]
 irq_exit+0x1cc/0x200 kernel/softirq.c:405
 exiting_irq arch/x86/include/asm/apic.h:541 [inline]
 smp_apic_timer_interrupt+0x16b/0x700 arch/x86/kernel/apic/apic.c:1052
 apic_timer_interrupt+0xf/0x20 arch/x86/entry/entry_64.S:857
 </IRQ>
RIP: 0010:native_safe_halt+0x6/0x10 arch/x86/include/asm/irqflags.h:54
RSP: 0018:ffff8801d9b1fcb0 EFLAGS: 00000282 ORIG_RAX: ffffffffffffff12
RAX: dffffc0000000000 RBX: 1ffff1003b363f99 RCX: 0000000000000000
RDX: 1ffffffff0dd93a0 RSI: 0000000000000001 RDI: ffffffff86ec9d00
RBP: ffff8801d9b1fcb0 R08: 0000000000000000 R09: 0000000000000000
R10: 0000000000000000 R11: 0000000000000000 R12: 0000000000000001
R13: ffff8801d9b1fd68 R14: ffffffff876ea8a0 R15: 0000000000000000
 arch_safe_halt arch/x86/include/asm/paravirt.h:94 [inline]
 default_idle+0xbf/0x430 arch/x86/kernel/process.c:354
 arch_cpu_idle+0xa/0x10 arch/x86/kernel/process.c:345
 default_idle_call+0x36/0x90 kernel/sched/idle.c:98
 cpuidle_idle_call kernel/sched/idle.c:156 [inline]
 do_idle+0x24a/0x3b0 kernel/sched/idle.c:246
 cpu_startup_entry+0x104/0x120 kernel/sched/idle.c:351
 start_secondary+0x40a/0x590 arch/x86/kernel/smpboot.c:267
 secondary_startup_64+0xa5/0xb0 arch/x86/kernel/head_64.S:239
Code: 13 de fc e9 86 f4 ff ff e8 f6 13 de fc e9 81 f9 ff ff e8 ec 13 de fc e9 fd fc ff ff e8 c2 13 de fc e9 02 f5 ff ff e8 98 61 a5 fc <0f> 0b 48 8b bd c0 fc ff ff e8 6a 13 de fc e9 76 e9 ff ff 4c 89 
RIP: __tcp_retransmit_skb+0x2728/0x2af0 net/ipv4/tcp_output.c:2837 RSP: ffff8801db307000
---[ end trace 67307d2bc9fcfaca ]---