// https://syzkaller.appspot.com/bug?id=b74defdbfc58e758a10093780a83228b53852b17
// 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/mount.h>
#include <sys/syscall.h>
#include <sys/types.h>
#include <unistd.h>

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

int main(void)
{
  syscall(__NR_mmap, /*addr=*/0x1ffffffff000ul, /*len=*/0x1000, /*prot=*/0ul,
          /*flags=MAP_FIXED|MAP_ANONYMOUS|MAP_PRIVATE*/ 0x32ul,
          /*fd=*/(intptr_t)-1, /*offset=*/0ul);
  syscall(__NR_mmap, /*addr=*/0x200000000000ul, /*len=*/0x1000000,
          /*prot=PROT_WRITE|PROT_READ|PROT_EXEC*/ 7ul,
          /*flags=MAP_FIXED|MAP_ANONYMOUS|MAP_PRIVATE*/ 0x32ul,
          /*fd=*/(intptr_t)-1, /*offset=*/0ul);
  syscall(__NR_mmap, /*addr=*/0x200001000000ul, /*len=*/0x1000, /*prot=*/0ul,
          /*flags=MAP_FIXED|MAP_ANONYMOUS|MAP_PRIVATE*/ 0x32ul,
          /*fd=*/(intptr_t)-1, /*offset=*/0ul);
  const char* reason;
  (void)reason;
  intptr_t res = 0;
  if (write(1, "executing program\n", sizeof("executing program\n") - 1)) {
  }
  //  openat$dm_control arguments: [
  //    fd: const = 0xffffffffffffff9c (8 bytes)
  //    file: ptr[in, buffer] {
  //      buffer: {2f 64 65 76 2f 6d 61 70 70 65 72 2f 63 6f 6e 74 72 6f 6c 00}
  //      (length 0x14)
  //    }
  //    flags: open_flags = 0x2 (4 bytes)
  //    mode: const = 0x0 (2 bytes)
  //  ]
  //  returns fd_dm_ctl
  memcpy((void*)0x200000000040, "/dev/mapper/control\000", 20);
  res = syscall(__NR_openat, /*fd=*/0xffffffffffffff9cul,
                /*file=*/0x200000000040ul, /*flags=O_RDWR*/ 2, /*mode=*/0);
  if (res != -1)
    r[0] = res;
  //  ioctl$DM_DEV_CREATE arguments: [
  //    fd: fd_dm_ctl (resource)
  //    cmd: const = 0xc138fd03 (4 bytes)
  //    arg: ptr[inout, dm_ioctl_t[dm_id_create, void, const[0, int32], const[0,
  //    int32]]] {
  //      dm_ioctl_t[dm_id_create, void, const[0, int32], const[0, int32]] {
  //        version_major: const = 0x4 (4 bytes)
  //        version_minor: const = 0x0 (4 bytes)
  //        version_patch: const = 0x0 (4 bytes)
  //        data_size: bytesize = 0x138 (4 bytes)
  //        data_start: offsetof = 0x138 (4 bytes)
  //        target_count: const = 0x0 (4 bytes)
  //        open_count: const = 0x0 (4 bytes)
  //        flags: dm_ioctl_flags = 0x8800 (4 bytes)
  //        event_nr: const = 0x0 (4 bytes)
  //        padding: const = 0x0 (4 bytes)
  //        id: dm_id_create {
  //          dev: dm_dev_number (resource)
  //          name: dm_dev_name {
  //            prefix: buffer: {73 79 7a} (length 0x3)
  //            proc: proc = 0x0 (1 bytes)
  //            slot: buffer: {33 00} (length 0x2)
  //            pad = 0x0 (122 bytes)
  //          }
  //          uuid: union dm_dev_uuid_opt {
  //            uuid: dm_dev_uuid {
  //              prefix: buffer: {43 52 50 2d 73 79 7a} (length 0x7)
  //              proc: proc = 0x0 (1 bytes)
  //              slot: buffer: {30 00} (length 0x2)
  //              pad = 0x0 (126 bytes)
  //            }
  //          }
  //        }
  //        data: buffer: {} (length 0x0)
  //      }
  //    }
  //  ]
  *(uint32_t*)0x2000000001c0 = 4;
  *(uint32_t*)0x2000000001c4 = 0;
  *(uint32_t*)0x2000000001c8 = 0;
  *(uint32_t*)0x2000000001cc = 0x138;
  *(uint32_t*)0x2000000001d0 = 0x138;
  *(uint32_t*)0x2000000001d4 = 0;
  *(uint32_t*)0x2000000001d8 = 0;
  *(uint32_t*)0x2000000001dc = 0x8800;
  *(uint32_t*)0x2000000001e0 = 0;
  *(uint32_t*)0x2000000001e4 = 0;
  memcpy((void*)0x2000000001f0, "syz", 3);
  *(uint8_t*)0x2000000001f3 = 0x61;
  memcpy((void*)0x2000000001f4, "3\000", 2);
  memcpy((void*)0x200000000270, "CRP-syz", 7);
  *(uint8_t*)0x200000000277 = 0x61;
  memcpy((void*)0x200000000278, "0\000", 2);
  res = syscall(__NR_ioctl, /*fd=*/r[0], /*cmd=*/0xc138fd03,
                /*arg=*/0x2000000001c0ul);
  if (res != -1)
    r[1] = *(uint64_t*)0x2000000001e8;
  //  ioctl$DM_TABLE_LOAD arguments: [
  //    fd: fd_dm_ctl (resource)
  //    cmd: const = 0xc138fd09 (4 bytes)
  //    arg: ptr[inout, dm_ioctl_t[dm_id_lookup, array[dm_target, 1], len[data,
  //    int32], const[0, int32]]] {
  //      dm_ioctl_t[dm_id_lookup, array[dm_target, 1], len[data, int32],
  //      const[0, int32]] {
  //        version_major: const = 0x4 (4 bytes)
  //        version_minor: const = 0x0 (4 bytes)
  //        version_patch: const = 0x0 (4 bytes)
  //        data_size: bytesize = 0x1a8 (4 bytes)
  //        data_start: offsetof = 0x138 (4 bytes)
  //        target_count: len = 0x1 (4 bytes)
  //        open_count: const = 0x0 (4 bytes)
  //        flags: dm_ioctl_flags = 0x21000 (4 bytes)
  //        event_nr: const = 0x0 (4 bytes)
  //        padding: const = 0x0 (4 bytes)
  //        id: union dm_id_lookup {
  //          by_dev: dm_id_by_dev {
  //            dev: dm_dev_number (resource)
  //            pad = 0x0 (264 bytes)
  //          }
  //        }
  //        data: array[dm_target] {
  //          union dm_target {
  //            thin_pool: dm_target_spec_t[dm_target_thin_pool,
  //            dm_thin_pool_params] {
  //              sector_start: const = 0x0 (8 bytes)
  //              length: dm_lengths = 0xc48 (8 bytes)
  //              status: const = 0x0 (4 bytes)
  //              next: bytesize = 0x70 (4 bytes)
  //              target_type: buffer: {74 68 69 6e 2d 70 6f 6f 6c 00 00 00 00
  //              00 00 00} (length 0x10) params: dm_thin_pool_params {
  //                meta: union dm_dev {
  //                  ram: dm_dev_proc_t["/dev/ram", 2] {
  //                    prefix: buffer: {2f 64 65 76 2f 72 61 6d} (length 0x8)
  //                    id: proc = 0x1 (1 bytes)
  //                  }
  //                }
  //                sp0: const = 0x20 (1 bytes)
  //                data: union dm_dev {
  //                  ram_num: dm_ram_num {
  //                    major: buffer: {31 3a} (length 0x2)
  //                    minor: proc = 0x1 (20 bytes)
  //                  }
  //                }
  //                sp1: const = 0x20 (1 bytes)
  //                bsize: buffer: {31 32 39} (length 0x3)
  //                sp2: const = 0x20 (1 bytes)
  //                lwm: int8 = 0xd (20 bytes)
  //                feat: buffer: {20 31 20 72 65 61 64 5f 6f 6e 6c 79} (length
  //                0xc)
  //              }
  //              z: const = 0x0 (1 bytes)
  //            }
  //          }
  //        }
  //      }
  //    }
  //  ]
  *(uint32_t*)0x2000000004c0 = 4;
  *(uint32_t*)0x2000000004c4 = 0;
  *(uint32_t*)0x2000000004c8 = 0;
  *(uint32_t*)0x2000000004cc = 0x1a8;
  *(uint32_t*)0x2000000004d0 = 0x138;
  *(uint32_t*)0x2000000004d4 = 1;
  *(uint32_t*)0x2000000004d8 = 0;
  *(uint32_t*)0x2000000004dc = 0x21000;
  *(uint32_t*)0x2000000004e0 = 0;
  *(uint32_t*)0x2000000004e4 = 0;
  *(uint64_t*)0x2000000004e8 = r[1];
  *(uint64_t*)0x2000000005f8 = 0;
  *(uint64_t*)0x200000000600 = 0xc48;
  *(uint32_t*)0x200000000608 = 0;
  *(uint32_t*)0x20000000060c = 0x70;
  memcpy((void*)0x200000000610, "thin-pool\000\000\000\000\000\000\000", 16);
  memcpy((void*)0x200000000620, "/dev/ram", 8);
  *(uint8_t*)0x200000000628 = 0x31;
  *(uint8_t*)0x200000000629 = 0x20;
  memcpy((void*)0x20000000062a, "1:", 2);
  sprintf((char*)0x20000000062c, "%020llu", (long long)1);
  *(uint8_t*)0x200000000640 = 0x20;
  memcpy((void*)0x200000000641, "129", 3);
  *(uint8_t*)0x200000000644 = 0x20;
  sprintf((char*)0x200000000645, "%020llu", (long long)0xd);
  memcpy((void*)0x200000000659, " 1 read_only", 12);
  *(uint8_t*)0x200000000665 = 0;
  syscall(__NR_ioctl, /*fd=*/r[0], /*cmd=*/0xc138fd09,
          /*arg=*/0x2000000004c0ul);
  return 0;
}