#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */
typedef int /*<<< orphan*/ timebuf;
typedef int /*<<< orphan*/ time_t;
struct tm {
  int dummy;
};

/* Variables and functions */
int /*<<< orphan*/ assert(int);
int /*<<< orphan*/ free(char *);
struct tm *gmtime(int /*<<< orphan*/ *);
int /*<<< orphan*/ log_err_printf(char *);
char *malloc(size_t);
char *realloc(char *, size_t);
char *strchr(char *, char);
int /*<<< orphan*/ strftime(char *, int, char const *, struct tm *);
size_t strlen(char const *);
int /*<<< orphan*/ strncat(char *, char const *, size_t);
int /*<<< orphan*/ time(int /*<<< orphan*/ *);
char *log_content_format_pathspec(const char *logspec, char *srcaddr,
                                  char *dstaddr, char *exec_path, char *user,
                                  char *group) {
  size_t path_buflen = 1024;
  char *path_buf = malloc(path_buflen);
  if (path_buf == NULL) {
    log_err_printf("failed to allocate path buffer\n");
    return NULL;
  }
  path_buf[0] = '\0';
  size_t path_len = 0;
  for (const char *p = logspec; *p != '\0'; p++) {
    const char *elem = NULL;
    size_t elem_len = 0;
    const char iso8601[] = "%Y%m%dT%H%M%SZ";
    char timebuf[24];
    switch (*p) {
    case '%':
      p++;
      switch (*p) {
      case '\0':
        p--;
        elem_len = 0;
        break;
      case '%':
        elem = p;
        elem_len = 1;
        break;
      case 'd':
        elem = dstaddr;
        elem_len = strlen(dstaddr);
        break;
      case 's':
        elem = srcaddr;
        elem_len = strlen(srcaddr);
        break;
      case 'x':
        if (exec_path) {
          char *match = exec_path;
          while ((match = strchr(match, '/')) != NULL) {
            match++;
            elem = match;
          }
          elem_len = elem ? strlen(elem) : 0;
        } else {
          elem_len = 0;
        }
        break;
      case 'X':
        elem = exec_path;
        elem_len = exec_path ? strlen(exec_path) : 0;
        break;
      case 'u':
        elem = user;
        elem_len = user ? strlen(user) : 0;
        break;
      case 'g':
        elem = group;
        elem_len = group ? strlen(group) : 0;
        break;
      case 'T': {
        time_t epoch;
        struct tm *utc;
        time(&epoch);
        utc = gmtime(&epoch);
        strftime(timebuf, sizeof(timebuf), iso8601, utc);
        elem = timebuf;
        elem_len = sizeof(timebuf);
        break;
      }
      }
      break;
    default:
      elem = p;
      elem_len = 1;
      break;
    }
    if (elem_len > 0) {
      if (path_buflen - path_len < elem_len + 1) {
        path_buflen += elem_len + 1024;
        char *newbuf = realloc(path_buf, path_buflen);
        if (newbuf == NULL) {
          log_err_printf("failed to reallocate"
                         " path buffer\n");
          free(path_buf);
          return NULL;
        }
        path_buf = newbuf;
      }
      strncat(path_buf, elem, elem_len);
      path_len += elem_len;
    }
  }
  assert(path_buflen > path_len);
  path_buf[path_len] = '\0';
  return path_buf;
}


x86 assembly (clang, -O0):
<log_content_format_pathspec>:
push   %rbp
mov    %rsp,%rbp
sub    $0xe0,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
mov    %r8,-0x30(%rbp)
mov    %r9,-0x38(%rbp)
movq   $0x400,-0x40(%rbp)
mov    -0x40(%rbp),%rdi
call   10a0 <malloc@plt>
mov    %rax,-0x48(%rbp)
cmpq   $0x0,-0x48(%rbp)
jne    120c <log_content_format_pathspec+0x5c>
lea    0xe06(%rip),%rdi
call   1040 <log_err_printf@plt>
movq   $0x0,-0x8(%rbp)
jmp    1655 <log_content_format_pathspec+0x4a5>
mov    -0x48(%rbp),%rax
movb   $0x0,(%rax)
movq   $0x0,-0x50(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x58(%rbp)
mov    -0x58(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     162c <log_content_format_pathspec+0x47c>
movq   $0x0,-0x60(%rbp)
movq   $0x0,-0x68(%rbp)
movabs $0x5a53254d254825,%rax
mov    %rax,-0x71(%rbp)
movabs $0x255464256d255925,%rax
64 54 25
mov    %rax,-0x78(%rbp)
mov    -0x58(%rbp),%rax
mov    (%rax),%al
sub    $0x25,%al
jne    1564 <log_content_format_pathspec+0x3b4>
jmp    1272 <log_content_format_pathspec+0xc2>
mov    -0x58(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x58(%rbp)
mov    -0x58(%rbp),%rax
movsbl (%rax),%eax
mov    %eax,-0xb4(%rbp)
test   %eax,%eax
je     1338 <log_content_format_pathspec+0x188>
jmp    1298 <log_content_format_pathspec+0xe8>
mov    -0xb4(%rbp),%eax
sub    $0x25,%eax
je     1351 <log_content_format_pathspec+0x1a1>
jmp    12ac <log_content_format_pathspec+0xfc>
mov    -0xb4(%rbp),%eax
sub    $0x54,%eax
je     1511 <log_content_format_pathspec+0x361>
jmp    12c0 <log_content_format_pathspec+0x110>
mov    -0xb4(%rbp),%eax
sub    $0x58,%eax
je     143f <log_content_format_pathspec+0x28f>
jmp    12d4 <log_content_format_pathspec+0x124>
mov    -0xb4(%rbp),%eax
sub    $0x64,%eax
je     1366 <log_content_format_pathspec+0x1b6>
jmp    12e8 <log_content_format_pathspec+0x138>
mov    -0xb4(%rbp),%eax
sub    $0x67,%eax
je     14cb <log_content_format_pathspec+0x31b>
jmp    12fc <log_content_format_pathspec+0x14c>
mov    -0xb4(%rbp),%eax
sub    $0x73,%eax
je     1380 <log_content_format_pathspec+0x1d0>
jmp    1310 <log_content_format_pathspec+0x160>
mov    -0xb4(%rbp),%eax
sub    $0x75,%eax
je     1485 <log_content_format_pathspec+0x2d5>
jmp    1324 <log_content_format_pathspec+0x174>
mov    -0xb4(%rbp),%eax
sub    $0x78,%eax
je     139a <log_content_format_pathspec+0x1ea>
jmp    155f <log_content_format_pathspec+0x3af>
mov    -0x58(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x58(%rbp)
movq   $0x0,-0x68(%rbp)
jmp    155f <log_content_format_pathspec+0x3af>
mov    -0x58(%rbp),%rax
mov    %rax,-0x60(%rbp)
movq   $0x1,-0x68(%rbp)
jmp    155f <log_content_format_pathspec+0x3af>
mov    -0x20(%rbp),%rax
mov    %rax,-0x60(%rbp)
mov    -0x20(%rbp),%rdi
call   1050 <strlen@plt>
mov    %rax,-0x68(%rbp)
jmp    155f <log_content_format_pathspec+0x3af>
mov    -0x18(%rbp),%rax
mov    %rax,-0x60(%rbp)
mov    -0x18(%rbp),%rdi
call   1050 <strlen@plt>
mov    %rax,-0x68(%rbp)
jmp    155f <log_content_format_pathspec+0x3af>
cmpq   $0x0,-0x28(%rbp)
je     1432 <log_content_format_pathspec+0x282>
mov    -0x28(%rbp),%rax
mov    %rax,-0x98(%rbp)
mov    -0x98(%rbp),%rdi
mov    $0x2f,%esi
call   1060 <strchr@plt>
mov    %rax,-0x98(%rbp)
cmp    $0x0,%rax
je     13f4 <log_content_format_pathspec+0x244>
mov    -0x98(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x98(%rbp)
mov    -0x98(%rbp),%rax
mov    %rax,-0x60(%rbp)
jmp    13b0 <log_content_format_pathspec+0x200>
cmpq   $0x0,-0x60(%rbp)
je     1414 <log_content_format_pathspec+0x264>
mov    -0x60(%rbp),%rdi
call   1050 <strlen@plt>
mov    %rax,-0xc0(%rbp)
jmp    1422 <log_content_format_pathspec+0x272>
xor    %eax,%eax
mov    %rax,-0xc0(%rbp)
jmp    1422 <log_content_format_pathspec+0x272>
mov    -0xc0(%rbp),%rax
mov    %rax,-0x68(%rbp)
jmp    143a <log_content_format_pathspec+0x28a>
movq   $0x0,-0x68(%rbp)
jmp    155f <log_content_format_pathspec+0x3af>
mov    -0x28(%rbp),%rax
mov    %rax,-0x60(%rbp)
cmpq   $0x0,-0x28(%rbp)
je     1467 <log_content_format_pathspec+0x2b7>
mov    -0x28(%rbp),%rdi
call   1050 <strlen@plt>
mov    %rax,-0xc8(%rbp)
jmp    1475 <log_content_format_pathspec+0x2c5>
xor    %eax,%eax
mov    %rax,-0xc8(%rbp)
jmp    1475 <log_content_format_pathspec+0x2c5>
mov    -0xc8(%rbp),%rax
mov    %rax,-0x68(%rbp)
jmp    155f <log_content_format_pathspec+0x3af>
mov    -0x30(%rbp),%rax
mov    %rax,-0x60(%rbp)
cmpq   $0x0,-0x30(%rbp)
je     14ad <log_content_format_pathspec+0x2fd>
mov    -0x30(%rbp),%rdi
call   1050 <strlen@plt>
mov    %rax,-0xd0(%rbp)
jmp    14bb <log_content_format_pathspec+0x30b>
xor    %eax,%eax
mov    %rax,-0xd0(%rbp)
jmp    14bb <log_content_format_pathspec+0x30b>
mov    -0xd0(%rbp),%rax
mov    %rax,-0x68(%rbp)
jmp    155f <log_content_format_pathspec+0x3af>
mov    -0x38(%rbp),%rax
mov    %rax,-0x60(%rbp)
cmpq   $0x0,-0x38(%rbp)
je     14f3 <log_content_format_pathspec+0x343>
mov    -0x38(%rbp),%rdi
call   1050 <strlen@plt>
mov    %rax,-0xd8(%rbp)
jmp    1501 <log_content_format_pathspec+0x351>
xor    %eax,%eax
mov    %rax,-0xd8(%rbp)
jmp    1501 <log_content_format_pathspec+0x351>
mov    -0xd8(%rbp),%rax
mov    %rax,-0x68(%rbp)
jmp    155f <log_content_format_pathspec+0x3af>
lea    -0x9c(%rbp),%rdi
call   1090 <time@plt>
lea    -0x9c(%rbp),%rdi
call   10d0 <gmtime@plt>
mov    %rax,-0xa8(%rbp)
lea    -0x90(%rbp),%rdi
lea    -0x78(%rbp),%rdx
mov    -0xa8(%rbp),%rcx
mov    $0x18,%esi
call   10c0 <strftime@plt>
lea    -0x90(%rbp),%rax
mov    %rax,-0x60(%rbp)
movq   $0x18,-0x68(%rbp)
jmp    1574 <log_content_format_pathspec+0x3c4>
mov    -0x58(%rbp),%rax
mov    %rax,-0x60(%rbp)
movq   $0x1,-0x68(%rbp)
cmpq   $0x0,-0x68(%rbp)
jbe    1616 <log_content_format_pathspec+0x466>
mov    -0x40(%rbp),%rax
sub    -0x50(%rbp),%rax
mov    -0x68(%rbp),%rcx
add    $0x1,%rcx
cmp    %rcx,%rax
jae    15f9 <log_content_format_pathspec+0x449>
mov    -0x68(%rbp),%rax
add    $0x400,%rax
add    -0x40(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x48(%rbp),%rdi
mov    -0x40(%rbp),%rsi
call   10b0 <realloc@plt>
mov    %rax,-0xb0(%rbp)
cmpq   $0x0,-0xb0(%rbp)
jne    15ee <log_content_format_pathspec+0x43e>
lea    0xa5c(%rip),%rdi
call   1040 <log_err_printf@plt>
mov    -0x48(%rbp),%rdi
call   1030 <free@plt>
movq   $0x0,-0x8(%rbp)
jmp    1655 <log_content_format_pathspec+0x4a5>
mov    -0xb0(%rbp),%rax
mov    %rax,-0x48(%rbp)
mov    -0x48(%rbp),%rdi
mov    -0x60(%rbp),%rsi
mov    -0x68(%rbp),%rdx
call   1070 <strncat@plt>
mov    -0x68(%rbp),%rax
add    -0x50(%rbp),%rax
mov    %rax,-0x50(%rbp)
jmp    161b <log_content_format_pathspec+0x46b>
mov    -0x58(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x58(%rbp)
jmp    1223 <log_content_format_pathspec+0x73>
mov    -0x40(%rbp),%rax
cmp    -0x50(%rbp),%rax
seta   %al
and    $0x1,%al
movzbl %al,%edi
call   1080 <assert@plt>
mov    -0x48(%rbp),%rax
mov    -0x50(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x48(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0xe0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<log_content_format_pathspec>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x68,%rsp
mov    %r9,0x28(%rsp)
mov    %r8,0x20(%rsp)
mov    %rcx,0x8(%rsp)
mov    %rdx,0x18(%rsp)
mov    %rsi,%rbx
mov    %rdi,%rbp
mov    $0x400,%edi
call   10a0 <malloc@plt>
test   %rax,%rax
je     13d9 <log_content_format_pathspec+0x229>
mov    %rax,%r14
movb   $0x0,(%rax)
cmpb   $0x0,0x0(%rbp)
je     13ea <log_content_format_pathspec+0x23a>
mov    %rbx,0x10(%rsp)
mov    $0x400,%esi
xor    %r13d,%r13d
jmp    123d <log_content_format_pathspec+0x8d>
nopw   0x0(%rax,%rax,1)
mov    %rsi,%r12
mov    %r14,%rdi
mov    %rbp,%rsi
mov    %r15,%rdx
call   1070 <strncat@plt>
mov    %rbx,%r13
add    %r15,%r13
mov    %r12,%rsi
mov    0x30(%rsp),%rbx
lea    0x1(%rbx),%rbp
cmpb   $0x0,0x1(%rbx)
je     13f2 <log_content_format_pathspec+0x242>
movabs $0x5a53254d254825,%rax
mov    %rax,0x47(%rsp)
movabs $0x255464256d255925,%rax
64 54 25
mov    %rax,0x40(%rsp)
mov    $0x1,%r15d
cmpb   $0x25,0x0(%rbp)
jne    12d0 <log_content_format_pathspec+0x120>
lea    0x1(%rbp),%rbx
movsbl 0x1(%rbp),%eax
lea    -0x54(%rax),%ecx
cmp    $0x24,%ecx
ja     12d8 <log_content_format_pathspec+0x128>
lea    0xd82(%rip),%rdx
movslq (%rdx,%rcx,4),%rax
add    %rdx,%rax
jmp    *%rax
lea    0x3c(%rsp),%rbp
mov    %rbp,%rdi
mov    %rsi,%r15
call   1090 <time@plt>
mov    %rbp,%rdi
call   10d0 <gmtime@plt>
lea    0x50(%rsp),%rbp
mov    %rbp,%rdi
mov    $0x18,%esi
lea    0x40(%rsp),%rdx
mov    %rax,%rcx
call   10c0 <strftime@plt>
mov    %r15,%rsi
mov    $0x18,%r15d
jmp    1390 <log_content_format_pathspec+0x1e0>
nopw   0x0(%rax,%rax,1)
mov    %rbp,%rbx
jmp    1390 <log_content_format_pathspec+0x1e0>
cmp    $0x25,%eax
je     137e <log_content_format_pathspec+0x1ce>
test   %eax,%eax
jne    122f <log_content_format_pathspec+0x7f>
mov    %rbp,%rbx
jmp    122f <log_content_format_pathspec+0x7f>
mov    0x8(%rsp),%rbp
jmp    1312 <log_content_format_pathspec+0x162>
mov    0x18(%rsp),%rbp
jmp    131b <log_content_format_pathspec+0x16b>
mov    0x28(%rsp),%rbp
jmp    1312 <log_content_format_pathspec+0x162>
mov    0x10(%rsp),%rbp
jmp    131b <log_content_format_pathspec+0x16b>
mov    0x20(%rsp),%rbp
test   %rbp,%rbp
je     122f <log_content_format_pathspec+0x7f>
mov    %rbp,%rdi
mov    %rsi,%r15
call   1050 <strlen@plt>
mov    %r15,%rsi
mov    %rax,%r15
test   %r15,%r15
jne    1390 <log_content_format_pathspec+0x1e0>
jmp    122f <log_content_format_pathspec+0x7f>
mov    0x8(%rsp),%rdi
test   %rdi,%rdi
je     122f <log_content_format_pathspec+0x7f>
mov    %rsi,%r12
xor    %ecx,%ecx
nopl   0x0(%rax)
mov    %rcx,%rbp
mov    $0x2f,%esi
call   1060 <strchr@plt>
lea    0x1(%rax),%rcx
mov    %rcx,%rdi
test   %rax,%rax
jne    1350 <log_content_format_pathspec+0x1a0>
test   %rbp,%rbp
je     13d1 <log_content_format_pathspec+0x221>
mov    %rbp,%rdi
call   1050 <strlen@plt>
mov    %rax,%r15
mov    %r12,%rsi
jmp    132c <log_content_format_pathspec+0x17c>
mov    %rbx,%rbp
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    %rbx,0x30(%rsp)
mov    %rsi,%rax
mov    %r13,%rbx
sub    %r13,%rax
lea    0x1(%r15),%rcx
cmp    %rcx,%rax
jae    1210 <log_content_format_pathspec+0x60>
add    %r15,%rsi
add    $0x400,%rsi
mov    %r14,%rdi
mov    %rsi,%r12
call   10b0 <realloc@plt>
mov    %r14,%r13
mov    %rax,%r14
test   %rax,%rax
jne    1213 <log_content_format_pathspec+0x63>
jmp    1417 <log_content_format_pathspec+0x267>
mov    %r12,%rsi
jmp    122f <log_content_format_pathspec+0x7f>
lea    0xcb4(%rip),%rdi
call   1040 <log_err_printf@plt>
xor    %r14d,%r14d
jmp    1405 <log_content_format_pathspec+0x255>
xor    %r13d,%r13d
mov    $0x400,%esi
xor    %edi,%edi
cmp    %r13,%rsi
seta   %dil
call   1080 <assert@plt>
movb   $0x0,(%r14,%r13,1)
mov    %r14,%rax
add    $0x68,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
lea    0xca5(%rip),%rdi
call   1040 <log_err_printf@plt>
mov    %r13,%rdi
call   1030 <free@plt>
xor    %r14d,%r14d
jmp    1405 <log_content_format_pathspec+0x255>

LLVM IR (-O0):
%struct.tm = type { i32 }
@.str = [32 x i8] c"failed to allocate path buffer\0A\00"
@__const.log_content_format_pathspec.iso8601 = [15 x i8] c"%Y%m%dT%H%M%SZ\00"
@.str.1 = [34 x i8] c"failed to reallocate path buffer\0A\00"
define i8* @log_content_format_pathspec(i8* %0, i8* %1, i8* %2, i8* %3, i8* %4, i8* %5) {
%7 = alloca i8*
%8 = alloca i8*
%9 = alloca i8*
%10 = alloca i8*
%11 = alloca i8*
%12 = alloca i8*
%13 = alloca i8*
%14 = alloca i64
%15 = alloca i8*
%16 = alloca i64
%17 = alloca i8*
%18 = alloca i8*
%19 = alloca i64
%20 = alloca [15 x i8]
%21 = alloca [24 x i8]
%22 = alloca i8*
%23 = alloca i32
%24 = alloca %struct.tm*
%25 = alloca i8*
store i8* %0, i8** %8
store i8* %1, i8** %9
store i8* %2, i8** %10
store i8* %3, i8** %11
store i8* %4, i8** %12
store i8* %5, i8** %13
store i64 1024, i64* %14
%26 = load i64, i64* %14
%27 = call i8* @malloc(i64 %26)
store i8* %27, i8** %15
%28 = load i8*, i8** %15
%29 = icmp eq i8* %28, null
br i1 %29, label %30, label %32
30: ; preds = %6
%31 = call i32 @log_err_printf(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str, i64 0, i64 0))
store i8* null, i8** %7
br label %178
32: ; preds = %6
%33 = load i8*, i8** %15
%34 = getelementptr inbounds i8, i8* %33, i64 0
store i8 0, i8* %34
store i64 0, i64* %16
%35 = load i8*, i8** %8
store i8* %35, i8** %17
br label %36
36: ; preds = %165, %32
%37 = load i8*, i8** %17
%38 = load i8, i8* %37
%39 = sext i8 %38 to i32
%40 = icmp ne i32 %39, 0
br i1 %40, label %41, label %168
41: ; preds = %36
store i8* null, i8** %18
store i64 0, i64* %19
%42 = bitcast [15 x i8]* %20 to i8*
%43 = load i8*, i8** %17
%44 = load i8, i8* %43
%45 = sext i8 %44 to i32
switch i32 %45, label %128 [
i32 37, label %46
]
46: ; preds = %41
%47 = load i8*, i8** %17
%48 = getelementptr inbounds i8, i8* %47, i32 1
store i8* %48, i8** %17
%49 = load i8*, i8** %17
%50 = load i8, i8* %49
%51 = sext i8 %50 to i32
switch i32 %51, label %127 [
i32 0, label %52
i32 37, label %55
i32 100, label %57
i32 115, label %61
i32 120, label %65
i32 88, label %89
i32 117, label %99
i32 103, label %109
i32 84, label %119
]
52: ; preds = %46
%53 = load i8*, i8** %17
%54 = getelementptr inbounds i8, i8* %53, i32 -1
store i8* %54, i8** %17
store i64 0, i64* %19
br label %127
55: ; preds = %46
%56 = load i8*, i8** %17
store i8* %56, i8** %18
store i64 1, i64* %19
br label %127
57: ; preds = %46
%58 = load i8*, i8** %10
store i8* %58, i8** %18
%59 = load i8*, i8** %10
%60 = call i64 @strlen(i8* %59)
store i64 %60, i64* %19
br label %127
61: ; preds = %46
%62 = load i8*, i8** %9
store i8* %62, i8** %18
%63 = load i8*, i8** %9
%64 = call i64 @strlen(i8* %63)
store i64 %64, i64* %19
br label %127
65: ; preds = %46
%66 = load i8*, i8** %11
%67 = icmp ne i8* %66, null
br i1 %67, label %68, label %87
68: ; preds = %65
%69 = load i8*, i8** %11
store i8* %69, i8** %22
br label %70
70: ; preds = %74, %68
%71 = load i8*, i8** %22
%72 = call i8* @strchr(i8* %71, i8 signext 47)
store i8* %72, i8** %22
%73 = icmp ne i8* %72, null
br i1 %73, label %74, label %78
74: ; preds = %70
%75 = load i8*, i8** %22
%76 = getelementptr inbounds i8, i8* %75, i32 1
store i8* %76, i8** %22
%77 = load i8*, i8** %22
store i8* %77, i8** %18
br label %70
78: ; preds = %70
%79 = load i8*, i8** %18
%80 = icmp ne i8* %79, null
br i1 %80, label %81, label %84
81: ; preds = %78
%82 = load i8*, i8** %18
%83 = call i64 @strlen(i8* %82)
br label %85
84: ; preds = %78
br label %85
85: ; preds = %84, %81
%86 = phi i64 [ %83, %81 ], [ 0, %84 ]
store i64 %86, i64* %19
br label %88
87: ; preds = %65
store i64 0, i64* %19
br label %88
88: ; preds = %87, %85
br label %127
89: ; preds = %46
%90 = load i8*, i8** %11
store i8* %90, i8** %18
%91 = load i8*, i8** %11
%92 = icmp ne i8* %91, null
br i1 %92, label %93, label %96
93: ; preds = %89
%94 = load i8*, i8** %11
%95 = call i64 @strlen(i8* %94)
br label %97
96: ; preds = %89
br label %97
97: ; preds = %96, %93
%98 = phi i64 [ %95, %93 ], [ 0, %96 ]
store i64 %98, i64* %19
br label %127
99: ; preds = %46
%100 = load i8*, i8** %12
store i8* %100, i8** %18
%101 = load i8*, i8** %12
%102 = icmp ne i8* %101, null
br i1 %102, label %103, label %106
103: ; preds = %99
%104 = load i8*, i8** %12
%105 = call i64 @strlen(i8* %104)
br label %107
106: ; preds = %99
br label %107
107: ; preds = %106, %103
%108 = phi i64 [ %105, %103 ], [ 0, %106 ]
store i64 %108, i64* %19
br label %127
109: ; preds = %46
%110 = load i8*, i8** %13
store i8* %110, i8** %18
%111 = load i8*, i8** %13
%112 = icmp ne i8* %111, null
br i1 %112, label %113, label %116
113: ; preds = %109
%114 = load i8*, i8** %13
%115 = call i64 @strlen(i8* %114)
br label %117
116: ; preds = %109
br label %117
117: ; preds = %116, %113
%118 = phi i64 [ %115, %113 ], [ 0, %116 ]
store i64 %118, i64* %19
br label %127
119: ; preds = %46
%120 = call i32 @time(i32* %23)
%121 = call %struct.tm* @gmtime(i32* %23)
store %struct.tm* %121, %struct.tm** %24
%122 = getelementptr inbounds [24 x i8], [24 x i8]* %21, i64 0, i64 0
%123 = getelementptr inbounds [15 x i8], [15 x i8]* %20, i64 0, i64 0
%124 = load %struct.tm*, %struct.tm** %24
%125 = call i32 @strftime(i8* %122, i32 24, i8* %123, %struct.tm* %124)
%126 = getelementptr inbounds [24 x i8], [24 x i8]* %21, i64 0, i64 0
store i8* %126, i8** %18
store i64 24, i64* %19
br label %127
127: ; preds = %46, %119, %117, %107, %97, %88, %61, %57, %55, %52
br label %130
128: ; preds = %41
%129 = load i8*, i8** %17
store i8* %129, i8** %18
store i64 1, i64* %19
br label %130
130: ; preds = %128, %127
%131 = load i64, i64* %19
%132 = icmp ugt i64 %131, 0
br i1 %132, label %133, label %164
133: ; preds = %130
%134 = load i64, i64* %14
%135 = load i64, i64* %16
%136 = sub i64 %134, %135
%137 = load i64, i64* %19
%138 = add i64 %137, 1
%139 = icmp ult i64 %136, %138
br i1 %139, label %140, label %156
140: ; preds = %133
%141 = load i64, i64* %19
%142 = add i64 %141, 1024
%143 = load i64, i64* %14
%144 = add i64 %143, %142
store i64 %144, i64* %14
%145 = load i8*, i8** %15
%146 = load i64, i64* %14
%147 = call i8* @realloc(i8* %145, i64 %146)
store i8* %147, i8** %25
%148 = load i8*, i8** %25
%149 = icmp eq i8* %148, null
br i1 %149, label %150, label %154
150: ; preds = %140
%151 = call i32 @log_err_printf(i8* getelementptr inbounds ([34 x i8], [34 x i8]* @.str.1, i64 0, i64 0))
%152 = load i8*, i8** %15
%153 = call i32 @free(i8* %152)
store i8* null, i8** %7
br label %178
154: ; preds = %140
%155 = load i8*, i8** %25
store i8* %155, i8** %15
br label %156
156: ; preds = %154, %133
%157 = load i8*, i8** %15
%158 = load i8*, i8** %18
%159 = load i64, i64* %19
%160 = call i32 @strncat(i8* %157, i8* %158, i64 %159)
%161 = load i64, i64* %19
%162 = load i64, i64* %16
%163 = add i64 %162, %161
store i64 %163, i64* %16
br label %164
164: ; preds = %156, %130
br label %165
165: ; preds = %164
%166 = load i8*, i8** %17
%167 = getelementptr inbounds i8, i8* %166, i32 1
store i8* %167, i8** %17
br label %36
168: ; preds = %36
%169 = load i64, i64* %14
%170 = load i64, i64* %16
%171 = icmp ugt i64 %169, %170
%172 = zext i1 %171 to i32
%173 = call i32 @assert(i32 %172)
%174 = load i8*, i8** %15
%175 = load i64, i64* %16
%176 = getelementptr inbounds i8, i8* %174, i64 %175
store i8 0, i8* %176
%177 = load i8*, i8** %15
store i8* %177, i8** %7
br label %178
178: ; preds = %168, %150, %30
%179 = load i8*, i8** %7
ret i8* %179
}

LLVM IR (-O2):
%struct.tm = type { i32 }
@.str = [32 x i8] c"failed to allocate path buffer\0A\00"
@__const.log_content_format_pathspec.iso8601 = [15 x i8] c"%Y%m%dT%H%M%SZ\00"
@.str.1 = [34 x i8] c"failed to reallocate path buffer\0A\00"
define i8* @log_content_format_pathspec(i8* %0, i8* %1, i8* %2, i8* %3, i8* %4, i8* %5) {
%7 = alloca [15 x i8]
%8 = alloca [24 x i8]
%9 = alloca i32
%10 = tail call dereferenceable_or_null(1024) i8* @malloc(i64 1024)
%11 = icmp eq i8* %10, null
br i1 %11, label %12, label %14
12: ; preds = %6
%13 = tail call i32 @log_err_printf(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str, i64 0, i64 0))
br label %104
14: ; preds = %6
store i8 0, i8* %10
%15 = load i8, i8* %0
%16 = icmp eq i8 %15, 0
br i1 %16, label %96, label %17
17: ; preds = %14
%18 = getelementptr inbounds [15 x i8], [15 x i8]* %7, i64 0, i64 0
%19 = getelementptr inbounds [24 x i8], [24 x i8]* %8, i64 0, i64 0
%20 = bitcast i32* %9 to i8*
%21 = icmp eq i8* %5, null
%22 = icmp eq i8* %4, null
%23 = icmp eq i8* %3, null
br label %24
24: ; preds = %17, %85
%25 = phi i64 [ 1024, %17 ], [ %89, %85 ]
%26 = phi i8* [ %0, %17 ], [ %90, %85 ]
%27 = phi i64 [ 0, %17 ], [ %88, %85 ]
%28 = phi i8* [ %10, %17 ], [ %87, %85 ]
%29 = load i8, i8* %26
%30 = icmp eq i8 %29, 37
br i1 %30, label %31, label %68
31: ; preds = %24
%32 = getelementptr inbounds i8, i8* %26, i64 1
%33 = load i8, i8* %32
%34 = sext i8 %33 to i32
switch i32 %34, label %85 [
i32 0, label %35
i32 37, label %68
i32 100, label %36
i32 115, label %38
i32 120, label %40
i32 88, label %51
i32 117, label %54
i32 103, label %57
i32 84, label %60
]
35: ; preds = %31
br label %85
36: ; preds = %31
%37 = call i64 @strlen(i8* dereferenceable(1) %2)
br label %64
38: ; preds = %31
%39 = call i64 @strlen(i8* dereferenceable(1) %1)
br label %64
40: ; preds = %31
br i1 %23, label %85, label %41
41: ; preds = %40, %41
%42 = phi i8* [ %46, %41 ], [ null, %40 ]
%43 = phi i8* [ %46, %41 ], [ %3, %40 ]
%44 = call i8* @strchr(i8* %43, i8 signext 47)
%45 = icmp eq i8* %44, null
%46 = getelementptr inbounds i8, i8* %44, i64 1
br i1 %45, label %47, label %41
47: ; preds = %41
%48 = icmp eq i8* %42, null
br i1 %48, label %85, label %49
49: ; preds = %47
%50 = call i64 @strlen(i8* %42)
br label %64
51: ; preds = %31
br i1 %23, label %85, label %52
52: ; preds = %51
%53 = call i64 @strlen(i8* %3)
br label %64
54: ; preds = %31
br i1 %22, label %85, label %55
55: ; preds = %54
%56 = call i64 @strlen(i8* %4)
br label %64
57: ; preds = %31
br i1 %21, label %85, label %58
58: ; preds = %57
%59 = call i64 @strlen(i8* %5)
br label %64
60: ; preds = %31
%61 = call i32 @time(i32* %9)
%62 = call %struct.tm* @gmtime(i32* %9)
%63 = call i32 @strftime(i8* %19, i32 24, i8* %18, %struct.tm* %62)
br label %68
64: ; preds = %58, %55, %52, %49, %36, %38
%65 = phi i8* [ %1, %38 ], [ %2, %36 ], [ %42, %49 ], [ %3, %52 ], [ %4, %55 ], [ %5, %58 ]
%66 = phi i64 [ %39, %38 ], [ %37, %36 ], [ %50, %49 ], [ %53, %52 ], [ %56, %55 ], [ %59, %58 ]
%67 = icmp eq i64 %66, 0
br i1 %67, label %85, label %68
68: ; preds = %31, %24, %60, %64
%69 = phi i64 [ %66, %64 ], [ 1, %24 ], [ 24, %60 ], [ 1, %31 ]
%70 = phi i8* [ %65, %64 ], [ %26, %24 ], [ %19, %60 ], [ %32, %31 ]
%71 = phi i8* [ %32, %64 ], [ %26, %24 ], [ %32, %60 ], [ %32, %31 ]
%72 = sub i64 %25, %27
%73 = add i64 %69, 1
%74 = icmp ult i64 %72, %73
br i1 %74, label %75, label %80
75: ; preds = %68
%76 = add i64 %25, 1024
%77 = add i64 %76, %69
%78 = call i8* @realloc(i8* %28, i64 %77)
%79 = icmp eq i8* %78, null
br i1 %79, label %93, label %80
80: ; preds = %75, %68
%81 = phi i8* [ %28, %68 ], [ %78, %75 ]
%82 = phi i64 [ %25, %68 ], [ %77, %75 ]
%83 = call i32 @strncat(i8* %81, i8* %70, i64 %69)
%84 = add i64 %69, %27
br label %85
85: ; preds = %57, %54, %51, %40, %47, %35, %31, %80, %64
%86 = phi i8* [ %32, %64 ], [ %71, %80 ], [ %32, %57 ], [ %32, %54 ], [ %32, %51 ], [ %32, %40 ], [ %32, %47 ], [ %26, %35 ], [ %32, %31 ]
%87 = phi i8* [ %28, %64 ], [ %81, %80 ], [ %28, %57 ], [ %28, %54 ], [ %28, %51 ], [ %28, %40 ], [ %28, %47 ], [ %28, %35 ], [ %28, %31 ]
%88 = phi i64 [ %27, %64 ], [ %84, %80 ], [ %27, %57 ], [ %27, %54 ], [ %27, %51 ], [ %27, %40 ], [ %27, %47 ], [ %27, %35 ], [ %27, %31 ]
%89 = phi i64 [ %25, %64 ], [ %82, %80 ], [ %25, %57 ], [ %25, %54 ], [ %25, %51 ], [ %25, %40 ], [ %25, %47 ], [ %25, %35 ], [ %25, %31 ]
%90 = getelementptr inbounds i8, i8* %86, i64 1
%91 = load i8, i8* %90
%92 = icmp eq i8 %91, 0
br i1 %92, label %96, label %24
93: ; preds = %75
%94 = call i32 @log_err_printf(i8* getelementptr inbounds ([34 x i8], [34 x i8]* @.str.1, i64 0, i64 0))
%95 = call i32 @free(i8* %28)
br label %104
96: ; preds = %85, %14
%97 = phi i8* [ %10, %14 ], [ %87, %85 ]
%98 = phi i64 [ 0, %14 ], [ %88, %85 ]
%99 = phi i64 [ 1024, %14 ], [ %89, %85 ]
%100 = icmp ugt i64 %99, %98
%101 = zext i1 %100 to i32
%102 = call i32 @assert(i32 %101)
%103 = getelementptr inbounds i8, i8* %97, i64 %98
store i8 0, i8* %103
br label %104
104: ; preds = %93, %96, %12
%105 = phi i8* [ null, %12 ], [ %97, %96 ], [ null, %93 ]
ret i8* %105
}