// https://syzkaller.appspot.com/bug?id=6e96f5bd56bfecdaa0bfeaf2695a25cc80bfbd9a
// autogenerated by syzkaller (https://github.com/google/syzkaller)

#define _GNU_SOURCE

#include <endian.h>
#include <stdint.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <sys/stat.h>
#include <sys/syscall.h>
#include <sys/types.h>
#include <unistd.h>

static void use_temporary_dir(void)
{
  char tmpdir_template[] = "./syzkaller.XXXXXX";
  char* tmpdir = mkdtemp(tmpdir_template);
  if (!tmpdir)
    exit(1);
  if (chmod(tmpdir, 0777))
    exit(1);
  if (chdir(tmpdir))
    exit(1);
}

#ifndef __NR_mmap
#define __NR_mmap 192
#endif
#ifndef __NR_sendmsg
#define __NR_sendmsg 370
#endif
#ifndef __NR_socket
#define __NR_socket 359
#endif
#undef __NR_mmap
#define __NR_mmap __NR_mmap2

uint64_t r[2] = {0xffffffffffffffff, 0xffffffffffffffff};

int main(void)
{
  syscall(__NR_mmap, 0x20000000, 0x1000000, 3, 0x32, -1, 0);
  use_temporary_dir();
  intptr_t res = 0;
  res = syscall(__NR_socket, 0x10, 3, 0xc);
  if (res != -1)
    r[0] = res;
  *(uint32_t*)0x20001080 = 0;
  *(uint32_t*)0x20001084 = 0;
  *(uint32_t*)0x20001088 = 0x20000080;
  *(uint32_t*)0x20000080 = 0x20000f80;
  memcpy((void*)0x20000f80,
         "\x54\x00\x00\x00\x02\x06\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00"
         "\x00\x00\x00\x0d\x00\x03\x00\x68\x61\x73\x68\x3a\x6e\x65\x74\x00\x00"
         "\x00\x00\x05\x00\x04\x00\x00\x00\x00\x00\x09\x00\x02\x00\x73\x79\x7a"
         "\x31\x00\x00\x00\x00\x0c\x00\x07\x80\x08\x00\x08\x40\x00\x00\x00\xf0"
         "\x05\x00\x05\x00\x02\x00\x00\x00\x05\x00\x01\x00\x07\x00\x00\x00",
         84);
  *(uint32_t*)0x20000084 = 0x54;
  *(uint32_t*)0x2000108c = 1;
  *(uint32_t*)0x20001090 = 0;
  *(uint32_t*)0x20001094 = 0;
  *(uint32_t*)0x20001098 = 0;
  syscall(__NR_sendmsg, (intptr_t)r[0], 0x20001080, 0);
  res = syscall(__NR_socket, 0x10, 3, 0xc);
  if (res != -1)
    r[1] = res;
  *(uint32_t*)0x20000d00 = 0;
  *(uint32_t*)0x20000d04 = 0;
  *(uint32_t*)0x20000d08 = 0x20000cc0;
  *(uint32_t*)0x20000cc0 = 0x20000080;
  memcpy((void*)0x20000080,
         "\x44\x00\x00\x00\x09\x06\x01\x08\x00\x00\x00\x00\x00\x00\x00\x00\x00"
         "\x00\x00\x00\x05\x00\x01\x00\x07\x00\x00\x00\x1c\x00\x07\x80\x0c\x00"
         "\x02\x80\x08\x00\x01\x40\x00\x22\x00\x00\x0c\x00\x01\x80\x08\x00\x01"
         "\x40\xac\x14\x14\xaa\x09\x00\x02\x00\x73\x79\x7a\x31\x00\x00\x00\x00"
         "\xc5\x7e\x56\x70\xd2\x32\xc8\x74\xf6\x57\x9e\x37",
         80);
  *(uint32_t*)0x20000cc4 = 0x44;
  *(uint32_t*)0x20000d0c = 1;
  *(uint32_t*)0x20000d10 = 0;
  *(uint32_t*)0x20000d14 = 0;
  *(uint32_t*)0x20000d18 = 0;
  syscall(__NR_sendmsg, (intptr_t)r[1], 0x20000d00, 0);
  return 0;
}