# https://syzkaller.appspot.com/bug?id=abe203f30820901be7e5d14f7e22e0cd2bc88122
# See https://goo.gl/kgGztJ for information about syzkaller reproducers.
#{"threaded":true,"repeat":true,"procs":6,"sandbox":"none","fault_call":-1}
r0 = open$dir(&(0x7f0000000000)='./file0\x00', 0x80, 0x2)
mkdir(&(0x7f00000000c0)='./file0\x00', 0x12)
read(r0, &(0x7f0000000100)=""/243, 0xf3)
getdents(r0, &(0x7f0000000700)=""/87, 0x57)