# https://syzkaller.appspot.com/bug?id=71c939cba979ad96785b86789f050e84e1cf0f12
# See https://goo.gl/kgGztJ for information about syzkaller reproducers.
#{"repeat":true,"procs":1,"slowdown":1,"sandbox":"none","sandbox_arg":0,"tun":true,"netdev":true,"close_fds":true}
r0 = socket$nl_generic(0x10, 0x3, 0x10)
r1 = socket$inet_mptcp(0x2, 0x1, 0x106)
bind$inet(r1, &(0x7f0000000080)={0x2, 0x4e24, @multicast2}, 0x10)
connect$inet(r1, &(0x7f0000000480)={0x2, 0x4e24, @local}, 0x10)
sendto$inet(r1, &(0x7f0000001a80)="10cd9207e6314f9ea40e7dcb07c1185c329176f1c54d1bef2b546474d025b1804ead109121fddb88b8216b56779cb8249950c9442cf7a1b79cedb7faeddab701fd47c097547c371b520a45cb668c6dfe1d8d6a71b883166f2c5399866ac29292b22e5d359e35eb498da16f53384625f822e6519f427fd1f0dfdf8ea93a650c1339b828e4b8e4113a5ed9072e1a0c4b19b3175e54296c0871010a011486fa36459e7fc646e969ea18510e984f17ced2ca064ba8f73e7c84a1c90cec5cbb988b5f47bb946fea8810a1392c8203f0802466f53a605f56e0b5965d986f739dda01a87c3f8d1a1330e44957e5882ccffa59e0c4a4d056b5227464ef5a2303cb168924c800f3b8258fda47da52f55dd237d53804e77a60be9c3c2ba769fab14ccabec788722a3f35dacdbd218f8031dd4252cb798acca9d7260d9740de5d4db5606d1fe36a4febf358", 0x146, 0x0, 0x0, 0x0)
r2 = syz_genetlink_get_family_id$mptcp(&(0x7f0000000040), 0xffffffffffffffff)
sendmsg$MPTCP_PM_CMD_DEL_ADDR(r0, &(0x7f0000000140)={0x0, 0x0, &(0x7f0000000100)={&(0x7f0000000240)={0x28, r2, 0x7, 0x0, 0x0, {}, [@MPTCP_PM_ATTR_ADDR={0x14, 0x1, 0x0, 0x1, [@MPTCP_PM_ADDR_ATTR_FAMILY={0x6, 0x1, 0x2}, @MPTCP_PM_ADDR_ATTR_ADDR4={0x8, 0x3, @local}]}]}, 0x28}}, 0x0)
sendmsg$inet(r1, &(0x7f0000000440)={0x0, 0x0, &(0x7f0000000380)=[{&(0x7f0000000280)="2890502d58e8b3e3843a390a0e59259987f63722e5df077d566478121d9670f79dab7983473bed437cf2701e0631c2a5944b5e5adcdfc6a26c866a77bf581d34fac22efcf9ca2614f0638c03923d59dacb16cd120000004044e0f4e08745e1d7ae9bf33a32a70c3de2d49e0221074ef149dcf3bfa780c001b40a043dec9548d241478108531c5a9de1edf9905376194701c683e651b485bf0997e48395babeebf04448cbb59d39347e5482ded2af0504d977ea4a316ca15e62c4fedd6f4920dd0fc0092c3d528b3ec379ecb847dd7bad", 0xd0}], 0x1}, 0x4000000)