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

#define _GNU_SOURCE

#include <endian.h>
#include <fcntl.h>
#include <stdio.h>
#include <string.h>
#include <sys/stat.h>
#include <sys/syscall.h>
#include <unistd.h>

#include <stdint.h>
#include <string.h>

static uintptr_t syz_open_dev(uintptr_t a0, uintptr_t a1, uintptr_t a2)
{
  if (a0 == 0xc || a0 == 0xb) {
    char buf[128];
    sprintf(buf, "/dev/%s/%d:%d", a0 == 0xc ? "char" : "block",
            (uint8_t)a1, (uint8_t)a2);
    return open(buf, O_RDWR, 0);
  } else {
    char buf[1024];
    char* hash;
    strncpy(buf, (char*)a0, sizeof(buf));
    buf[sizeof(buf) - 1] = 0;
    while ((hash = strchr(buf, '#'))) {
      *hash = '0' + (char)(a1 % 10);
      a1 /= 10;
    }
    return open(buf, a2, 0);
  }
}

#ifndef __NR_mmap
#define __NR_mmap 192
#endif
#ifndef __NR_write
#define __NR_write 4
#endif
#ifndef __NR_read
#define __NR_read 3
#endif
#undef __NR_mmap
#define __NR_mmap __NR_mmap2

long r[1];
void loop()
{
  memset(r, -1, sizeof(r));
  syscall(__NR_mmap, 0x20000000, 0xfff000, 0x3, 0x32, 0xffffffff, 0x0);
  memcpy((void*)0x20e48000, "/dev/sg#", 9);
  r[0] = syz_open_dev(0x20e48000, 0x0, 0x2);
  *(uint32_t*)0x20fcbf70 = 0x0;
  *(uint32_t*)0x20fcbf74 = 0x0;
  *(uint16_t*)0x20fcbf78 = 0x80;
  *(uint16_t*)0x20fcbf7a = 0x3f;
  *(uint32_t*)0x20fcbf7c = 0x2;
  *(uint32_t*)0x20fcbf80 = 0x0;
  *(uint32_t*)0x20fcbf84 = 0x0;
  *(uint16_t*)0x20fcbf88 = 0x82aa;
  *(uint16_t*)0x20fcbf8a = 0x7;
  *(uint32_t*)0x20fcbf8c = 0x7;
  *(uint32_t*)0x20fcbf90 = 0x0;
  *(uint32_t*)0x20fcbf94 = 0x0;
  *(uint16_t*)0x20fcbf98 = 0x7;
  *(uint16_t*)0x20fcbf9a = 0x0;
  *(uint32_t*)0x20fcbf9c = 0xd06;
  *(uint32_t*)0x20fcbfa0 = 0x0;
  *(uint32_t*)0x20fcbfa4 = 0x0;
  *(uint16_t*)0x20fcbfa8 = 0xf801;
  *(uint16_t*)0x20fcbfaa = 0x101;
  *(uint32_t*)0x20fcbfac = 0x3;
  *(uint32_t*)0x20fcbfb0 = 0x0;
  *(uint32_t*)0x20fcbfb4 = 0x0;
  *(uint16_t*)0x20fcbfb8 = 0xfffc;
  *(uint16_t*)0x20fcbfba = 0x9;
  *(uint32_t*)0x20fcbfbc = 0x0;
  *(uint32_t*)0x20fcbfc0 = 0x0;
  *(uint32_t*)0x20fcbfc4 = 0x0;
  *(uint16_t*)0x20fcbfc8 = 0xa45;
  *(uint16_t*)0x20fcbfca = 0x6;
  *(uint32_t*)0x20fcbfcc = 0xfffffffa;
  syscall(__NR_write, r[0], 0x20fcbf70, 0x90);
  syscall(__NR_read, r[0], 0x20455fb7, 0x0);
}

int main()
{
  loop();
  return 0;
}