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

#define _GNU_SOURCE

#include <endian.h>
#include <fcntl.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 long syz_open_procfs(long a0, long a1)
{
  char buf[128];
  memset(buf, 0, sizeof(buf));
  if (a0 == 0) {
    snprintf(buf, sizeof(buf), "/proc/self/%s", (char*)a1);
  } else if (a0 == -1) {
    snprintf(buf, sizeof(buf), "/proc/thread-self/%s", (char*)a1);
  } else {
    snprintf(buf, sizeof(buf), "/proc/self/task/%d/%s", (int)a0, (char*)a1);
  }
  int fd = open(buf, O_RDWR);
  if (fd == -1)
    fd = open(buf, O_RDONLY);
  return fd;
}

#ifndef __NR_close
#define __NR_close 6
#endif
#ifndef __NR_execve
#define __NR_execve 11
#endif
#ifndef __NR_mknod
#define __NR_mknod 14
#endif
#ifndef __NR_mmap
#define __NR_mmap 192
#endif
#ifndef __NR_pipe
#define __NR_pipe 42
#endif
#ifndef __NR_socket
#define __NR_socket 359
#endif
#ifndef __NR_splice
#define __NR_splice 313
#endif
#ifndef __NR_write
#define __NR_write 4
#endif
#undef __NR_mmap
#define __NR_mmap __NR_mmap2

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

int main(void)
{
  syscall(__NR_mmap, 0x20000000, 0x1000000, 3, 0x32, -1, 0);
  long res = 0;
  res = syscall(__NR_pipe, 0x20000200);
  if (res != -1) {
    r[0] = *(uint32_t*)0x20000200;
    r[1] = *(uint32_t*)0x20000204;
  }
  res = syscall(__NR_socket, 2, 2, 0);
  if (res != -1)
    r[2] = res;
  syscall(__NR_close, (long)r[2]);
  sprintf((char*)0x20000040, "0x%016llx", (long long)0);
  syscall(__NR_write, (long)r[1], 0x20000040, 0x185);
  memcpy((void*)0x20000000, "attr/current\000", 13);
  syz_open_procfs(0, 0x20000000);
  syscall(__NR_splice, (long)r[0], 0, (long)r[2], 0, 0x8100000, 0);
  memcpy((void*)0x20000180, "./file0\000", 8);
  syscall(__NR_mknod, 0x20000180, 0x103e, 0);
  memcpy((void*)0x20000300, "./file0\000", 8);
  syscall(__NR_execve, 0x20000300, 0, 0);
  return 0;
}