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

#define _GNU_SOURCE
#include <endian.h>
#include <linux/futex.h>
#include <pthread.h>
#include <stdint.h>
#include <stdlib.h>
#include <string.h>
#include <sys/syscall.h>
#include <unistd.h>

#define BITMASK_LEN(type, bf_len) (type)((1ull << (bf_len)) - 1)

#define BITMASK_LEN_OFF(type, bf_off, bf_len)                                  \
  (type)(BITMASK_LEN(type, (bf_len)) << (bf_off))

#define STORE_BY_BITMASK(type, addr, val, bf_off, bf_len)                      \
  if ((bf_off) == 0 && (bf_len) == 0) {                                        \
    *(type*)(addr) = (type)(val);                                              \
  } else {                                                                     \
    type new_val = *(type*)(addr);                                             \
    new_val &= ~BITMASK_LEN_OFF(type, (bf_off), (bf_len));                     \
    new_val |= ((type)(val)&BITMASK_LEN(type, (bf_len))) << (bf_off);          \
    *(type*)(addr) = new_val;                                                  \
  }

static void execute_one();
extern unsigned long long procid;

void loop()
{
  while (1) {
    execute_one();
  }
}

struct thread_t {
  int created, running, call;
  pthread_t th;
};

static struct thread_t threads[16];
static void execute_call(int call);
static int running;

static void* thr(void* arg)
{
  struct thread_t* th = (struct thread_t*)arg;
  for (;;) {
    while (!__atomic_load_n(&th->running, __ATOMIC_ACQUIRE))
      syscall(SYS_futex, &th->running, FUTEX_WAIT, 0, 0);
    execute_call(th->call);
    __atomic_fetch_sub(&running, 1, __ATOMIC_RELAXED);
    __atomic_store_n(&th->running, 0, __ATOMIC_RELEASE);
    syscall(SYS_futex, &th->running, FUTEX_WAKE);
  }
  return 0;
}

static void execute(int num_calls)
{
  int call, thread;
  running = 0;
  for (call = 0; call < num_calls; call++) {
    for (thread = 0; thread < sizeof(threads) / sizeof(threads[0]); thread++) {
      struct thread_t* th = &threads[thread];
      if (!th->created) {
        th->created = 1;
        pthread_attr_t attr;
        pthread_attr_init(&attr);
        pthread_attr_setstacksize(&attr, 128 << 10);
        pthread_create(&th->th, &attr, thr, th);
      }
      if (!__atomic_load_n(&th->running, __ATOMIC_ACQUIRE)) {
        th->call = call;
        __atomic_fetch_add(&running, 1, __ATOMIC_RELAXED);
        __atomic_store_n(&th->running, 1, __ATOMIC_RELEASE);
        syscall(SYS_futex, &th->running, FUTEX_WAKE);
        struct timespec ts;
        ts.tv_sec = 0;
        ts.tv_nsec = 20 * 1000 * 1000;
        syscall(SYS_futex, &th->running, FUTEX_WAIT, 1, &ts);
        if (running)
          usleep((call == num_calls - 1) ? 10000 : 1000);
        break;
      }
    }
  }
}

#ifndef __NR_bpf
#define __NR_bpf 321
#endif

uint64_t r[5] = {0xffffffffffffffff, 0xffffffffffffffff, 0xffffffffffffffff,
                 0xffffffffffffffff, 0xffffffffffffffff};
void execute_call(int call)
{
  long res;
  switch (call) {
  case 0:
    syscall(__NR_socketpair, 0, 0, 0, 0x20000140);
    break;
  case 1:
    res = syscall(__NR_socket, 2, 0x200000000000001, 0);
    if (res != -1)
      r[0] = res;
    break;
  case 2:
    *(uint32_t*)0x20346fd4 = 0;
    *(uint32_t*)0x20346fd8 = 0;
    *(uint32_t*)0x20346fdc = 0;
    *(uint32_t*)0x20346fe0 = 4;
    *(uint32_t*)0x20346fe4 = 0;
    *(uint32_t*)0x20346fe8 = -1;
    *(uint32_t*)0x20346fec = 0;
    *(uint8_t*)0x20346ff0 = 0;
    *(uint8_t*)0x20346ff1 = 0;
    *(uint8_t*)0x20346ff2 = 0;
    *(uint8_t*)0x20346ff3 = 0;
    *(uint8_t*)0x20346ff4 = 0;
    *(uint8_t*)0x20346ff5 = 0;
    *(uint8_t*)0x20346ff6 = 0;
    *(uint8_t*)0x20346ff7 = 0;
    *(uint8_t*)0x20346ff8 = 0;
    *(uint8_t*)0x20346ff9 = 0;
    *(uint8_t*)0x20346ffa = 0;
    *(uint8_t*)0x20346ffb = 0;
    *(uint8_t*)0x20346ffc = 0;
    *(uint8_t*)0x20346ffd = 0;
    *(uint8_t*)0x20346ffe = 0;
    *(uint8_t*)0x20346fff = 0;
    syscall(__NR_bpf, 0, 0x20346fd4, 0x2c);
    break;
  case 3:
    *(uint64_t*)0x20000080 = 0x20000100;
    *(uint16_t*)0x20000100 = 2;
    *(uint16_t*)0x20000102 = htobe16(0);
    *(uint32_t*)0x20000104 = htobe32(0x7f000001);
    *(uint8_t*)0x20000108 = 0;
    *(uint8_t*)0x20000109 = 0;
    *(uint8_t*)0x2000010a = 0;
    *(uint8_t*)0x2000010b = 0;
    *(uint8_t*)0x2000010c = 0;
    *(uint8_t*)0x2000010d = 0;
    *(uint8_t*)0x2000010e = 0;
    *(uint8_t*)0x2000010f = 0;
    *(uint32_t*)0x20000088 = 0x80;
    *(uint64_t*)0x20000090 = 0x20002500;
    *(uint64_t*)0x20000098 = 0;
    *(uint64_t*)0x200000a0 = 0x20000180;
    *(uint64_t*)0x200000a8 = 0;
    *(uint32_t*)0x200000b0 = 0;
    syscall(__NR_sendmsg, r[0], 0x20000080, 0x20000000);
    break;
  case 4:
    *(uint32_t*)0x20b7a000 = 1;
    *(uint32_t*)0x20b7a004 = 5;
    *(uint64_t*)0x20b7a008 = 0x20346fc8;
    *(uint8_t*)0x20346fc8 = 0x18;
    STORE_BY_BITMASK(uint8_t, 0x20346fc9, 0, 0, 4);
    STORE_BY_BITMASK(uint8_t, 0x20346fc9, 0, 4, 4);
    *(uint16_t*)0x20346fca = 0;
    *(uint32_t*)0x20346fcc = 0;
    *(uint8_t*)0x20346fd0 = 0;
    *(uint8_t*)0x20346fd1 = 0;
    *(uint16_t*)0x20346fd2 = 0;
    *(uint32_t*)0x20346fd4 = 0;
    STORE_BY_BITMASK(uint8_t, 0x20346fd8, 0x19, 0, 3);
    STORE_BY_BITMASK(uint8_t, 0x20346fd8, 0, 3, 1);
    STORE_BY_BITMASK(uint8_t, 0x20346fd8, 7, 4, 4);
    STORE_BY_BITMASK(uint8_t, 0x20346fd9, 0, 0, 4);
    STORE_BY_BITMASK(uint8_t, 0x20346fd9, 1, 4, 4);
    *(uint16_t*)0x20346fda = 0;
    *(uint32_t*)0x20346fdc = 0;
    *(uint8_t*)0x20346fe8 = 0x95;
    *(uint8_t*)0x20346fe9 = 0;
    *(uint16_t*)0x20346fea = 0;
    *(uint32_t*)0x20346fec = 0;
    *(uint64_t*)0x20b7a010 = 0x20f6bffb;
    memcpy((void*)0x20f6bffb, "GPL", 4);
    *(uint32_t*)0x20b7a018 = 0;
    *(uint32_t*)0x20b7a01c = 0x299;
    *(uint64_t*)0x20b7a020 = 0x201a7f05;
    *(uint32_t*)0x20b7a028 = 0;
    *(uint32_t*)0x20b7a02c = 0;
    *(uint8_t*)0x20b7a030 = 0;
    *(uint8_t*)0x20b7a031 = 0;
    *(uint8_t*)0x20b7a032 = 0;
    *(uint8_t*)0x20b7a033 = 0;
    *(uint8_t*)0x20b7a034 = 0;
    *(uint8_t*)0x20b7a035 = 0;
    *(uint8_t*)0x20b7a036 = 0;
    *(uint8_t*)0x20b7a037 = 0;
    *(uint8_t*)0x20b7a038 = 0;
    *(uint8_t*)0x20b7a039 = 0;
    *(uint8_t*)0x20b7a03a = 0;
    *(uint8_t*)0x20b7a03b = 0;
    *(uint8_t*)0x20b7a03c = 0;
    *(uint8_t*)0x20b7a03d = 0;
    *(uint8_t*)0x20b7a03e = 0;
    *(uint8_t*)0x20b7a03f = 0;
    *(uint32_t*)0x20b7a040 = 0;
    *(uint32_t*)0x20b7a044 = 0;
    res = syscall(__NR_bpf, 5, 0x20b7a000, 0x18);
    if (res != -1)
      r[1] = res;
    break;
  case 5:
    res = syscall(__NR_socket, 0x29, 5, 0);
    if (res != -1)
      r[2] = res;
    break;
  case 6:
    *(uint32_t*)0x200000c0 = r[0];
    *(uint32_t*)0x200000c4 = r[1];
    syscall(__NR_ioctl, r[2], 0x89e0, 0x200000c0);
    break;
  case 7:
    *(uint32_t*)0x20000280 = 0x12;
    *(uint32_t*)0x20000284 = 0xa;
    *(uint32_t*)0x20000288 = 4;
    *(uint32_t*)0x2000028c = 7;
    *(uint32_t*)0x20000290 = 0;
    *(uint32_t*)0x20000294 = 1;
    *(uint32_t*)0x20000298 = 0;
    *(uint8_t*)0x2000029c = 0;
    *(uint8_t*)0x2000029d = 0;
    *(uint8_t*)0x2000029e = 0;
    *(uint8_t*)0x2000029f = 0;
    *(uint8_t*)0x200002a0 = 0;
    *(uint8_t*)0x200002a1 = 0;
    *(uint8_t*)0x200002a2 = 0;
    *(uint8_t*)0x200002a3 = 0;
    *(uint8_t*)0x200002a4 = 0;
    *(uint8_t*)0x200002a5 = 0;
    *(uint8_t*)0x200002a6 = 0;
    *(uint8_t*)0x200002a7 = 0;
    *(uint8_t*)0x200002a8 = 0;
    *(uint8_t*)0x200002a9 = 0;
    *(uint8_t*)0x200002aa = 0;
    *(uint8_t*)0x200002ab = 0;
    res = syscall(__NR_bpf, 0, 0x20000280, 0x2c);
    if (res != -1)
      r[3] = res;
    break;
  case 8:
    *(uint32_t*)0x20000180 = r[3];
    *(uint64_t*)0x20000188 = 0x20000000;
    *(uint64_t*)0x20000190 = 0x20000140;
    *(uint64_t*)0x20000198 = 0;
    syscall(__NR_bpf, 2, 0x20000180, 0x20);
    break;
  case 9:
    res = syscall(__NR_socketpair, 1, 0x20000000000001, 0, 0x20000100);
    if (res != -1)
      r[4] = *(uint32_t*)0x20000100;
    break;
  case 10:
    memcpy((void*)0x20000040, "\x6c\x6f\x00\x96\x6f\xd6\x51\xb9\x59\xa9\xc8\x4a"
                              "\x2c\x00\xd2\x97\x04\x03\xdc\x0d",
           20);
    syscall(__NR_ioctl, r[4], 0x8914, 0x20000040);
    break;
  }
}

void execute_one()
{
  execute(11);
}

int main()
{
  syscall(__NR_mmap, 0x20000000, 0x1000000, 3, 0x32, -1, 0);
  for (;;) {
    loop();
  }
}