#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 scalar_t__ str2;

/* Variables and functions */
int /*<<< orphan*/ __assert_fail(char *, char *, unsigned int, char *);
int /*<<< orphan*/ r_strncpy(char *, char const *, int);
int parse_expression_list(char *str) {
  int start;
  int i;
  int j;
  int apost;
  char str2[2];
  char *__cil_tmp7;
  char __cil_tmp8;
  char *__cil_tmp9;
  char __cil_tmp10;
  int __cil_tmp11;
  char *__cil_tmp12;
  char __cil_tmp13;
  int __cil_tmp14;
  char *__cil_tmp15;
  char __cil_tmp16;
  int __cil_tmp17;
  char *__cil_tmp18;
  char __cil_tmp19;
  int __cil_tmp20;
  char *__cil_tmp21;
  char __cil_tmp22;
  int __cil_tmp23;
  char *__cil_tmp24;
  char __cil_tmp25;
  int __cil_tmp26;
  int __cil_tmp27;
  int __cil_tmp28;
  int __cil_tmp29;
  int __cil_tmp30;
  unsigned long __cil_tmp31;
  unsigned long __cil_tmp32;
  char *__cil_tmp33;
  char *__cil_tmp34;
  char const *__cil_tmp35;
  int __cil_tmp36;
  int __cil_tmp37;
  int __cil_tmp38;
  int __cil_tmp39;
  unsigned long __cil_tmp40;
  unsigned long __cil_tmp41;
  char *__cil_tmp42;
  char __cil_tmp43;
  int __cil_tmp44;
  {
    start = 0;
    i = -1;
    j = -1;
    apost = 0;
    if (!str) {
      return (-1);
    } else {
    }
    {
      while (1) {
      while_0_continue:;
        i = i + 1;
        {
          __cil_tmp7 = str + i;
          __cil_tmp8 = *__cil_tmp7;
          if ((int)__cil_tmp8 == 34) {
            goto switch_1_34;
          } else {
            if ((int)__cil_tmp8 == 44) {
              goto switch_1_44;
            } else {
              if ((int)__cil_tmp8 == 0) {
                goto switch_1_0;
              } else {
                if (0) {
                switch_1_34:
                  apost = !apost;
                  goto switch_1_break;
                switch_1_44:
                  if (apost) {
                    goto switch_1_break;
                  } else {
                  }
                switch_1_0 : {
                  while (1) {
                  while_2_continue:;
                    {
                      __cil_tmp9 = str + start;
                      __cil_tmp10 = *__cil_tmp9;
                      __cil_tmp11 = (int)__cil_tmp10;
                      if (__cil_tmp11 == 32) {
                      } else {
                        {
                          __cil_tmp12 = str + start;
                          __cil_tmp13 = *__cil_tmp12;
                          __cil_tmp14 = (int)__cil_tmp13;
                          if (__cil_tmp14 == 9) {
                          } else {
                            goto while_2_break;
                          }
                        }
                      }
                    }
                    start = start + 1;
                  }
                while_2_break:;
                }
                  {
                    __cil_tmp15 = str + start;
                    __cil_tmp16 = *__cil_tmp15;
                    __cil_tmp17 = (int)__cil_tmp16;
                    if (__cil_tmp17 == 34) {
                      start = start + 1;
                    } else {
                    }
                  }
                  j = i - 1;
                  {
                    while (1) {
                    while_3_continue:;
                      if (0 < j) {
                        {
                          __cil_tmp18 = str + j;
                          __cil_tmp19 = *__cil_tmp18;
                          __cil_tmp20 = (int)__cil_tmp19;
                          if (__cil_tmp20 == 32) {
                          } else {
                            {
                              __cil_tmp21 = str + j;
                              __cil_tmp22 = *__cil_tmp21;
                              __cil_tmp23 = (int)__cil_tmp22;
                              if (__cil_tmp23 == 9) {
                              } else {
                                goto while_3_break;
                              }
                            }
                          }
                        }
                      } else {
                        goto while_3_break;
                      }
                      j = j - 1;
                    }
                  while_3_break:;
                  }
                  if (0 < j) {
                    {
                      __cil_tmp24 = str + j;
                      __cil_tmp25 = *__cil_tmp24;
                      __cil_tmp26 = (int)__cil_tmp25;
                      if (__cil_tmp26 == 34) {
                        j = j - 1;
                      } else {
                      }
                    }
                  } else {
                  }
                  if (start <= j) {
                    {
                      __cil_tmp27 = j - start;
                      __cil_tmp28 = __cil_tmp27 + 1;
                      if (__cil_tmp28 >= 2) {
                        return (-1);
                      } else {
                      }
                    }
                    {
                      __cil_tmp29 = j - start;
                      __cil_tmp30 = __cil_tmp29 + 1;
                      if (__cil_tmp30 < 2) {
                      } else {
                        {
                          __assert_fail(
                              "j-start+1 < 2",
                              "../versisec/OpenSer/progs/"
                              "OpenSERCVE-200606749complete_parse_config_ok.c",
                              44U, "parse_expression_list");
                        }
                      }
                    }
                    {
                      __cil_tmp31 = 0 * 1UL;
                      __cil_tmp32 = (unsigned long)(str2) + __cil_tmp31;
                      __cil_tmp33 = (char *)__cil_tmp32;
                      __cil_tmp34 = str + start;
                      __cil_tmp35 = (char const *)__cil_tmp34;
                      __cil_tmp36 = j - start;
                      __cil_tmp37 = __cil_tmp36 + 1;
                      r_strncpy(__cil_tmp33, __cil_tmp35, __cil_tmp37);
                      __cil_tmp38 = j - start;
                      __cil_tmp39 = __cil_tmp38 + 1;
                      __cil_tmp40 = __cil_tmp39 * 1UL;
                      __cil_tmp41 = (unsigned long)(str2) + __cil_tmp40;
                      *((char *)__cil_tmp41) = (char)0;
                    }
                  } else {
                    return (-1);
                  }
                  start = i + 1;
                } else {
                switch_1_break:;
                }
              }
            }
          }
        }
        {
          __cil_tmp42 = str + i;
          __cil_tmp43 = *__cil_tmp42;
          __cil_tmp44 = (int)__cil_tmp43;
          if (__cil_tmp44 != 0) {
          } else {
            goto while_0_break;
          }
        }
      }
    while_0_break:;
    }
    return (0);
  }
}


x86 assembly (clang, -O0):
<parse_expression_list>:
push   %rbp
mov    %rsp,%rbp
sub    $0x100,%rsp
mov    %rdi,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
movl   $0xffffffff,-0x18(%rbp)
movl   $0xffffffff,-0x1c(%rbp)
movl   $0x0,-0x20(%rbp)
cmpq   $0x0,-0x10(%rbp)
jne    1162 <parse_expression_list+0x42>
movl   $0xffffffff,-0x4(%rbp)
jmp    15ad <parse_expression_list+0x48d>
jmp    1167 <parse_expression_list+0x47>
jmp    116c <parse_expression_list+0x4c>
jmp    1171 <parse_expression_list+0x51>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rax
mov    (%rax),%al
mov    %al,-0x31(%rbp)
movsbl -0x31(%rbp),%eax
cmp    $0x22,%eax
jne    11a4 <parse_expression_list+0x84>
jmp    11dc <parse_expression_list+0xbc>
movsbl -0x31(%rbp),%eax
cmp    $0x2c,%eax
jne    11b6 <parse_expression_list+0x96>
jmp    11f2 <parse_expression_list+0xd2>
movsbl -0x31(%rbp),%eax
cmp    $0x0,%eax
jne    11c8 <parse_expression_list+0xa8>
jmp    120b <parse_expression_list+0xeb>
xor    %eax,%eax
test   $0x1,%al
jne    11d7 <parse_expression_list+0xb7>
jmp    1543 <parse_expression_list+0x423>
jmp    11dc <parse_expression_list+0xbc>
cmpl   $0x0,-0x20(%rbp)
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x20(%rbp)
jmp    1548 <parse_expression_list+0x428>
cmpl   $0x0,-0x20(%rbp)
je     1201 <parse_expression_list+0xe1>
jmp    1548 <parse_expression_list+0x428>
jmp    1206 <parse_expression_list+0xe6>
jmp    120b <parse_expression_list+0xeb>
jmp    1210 <parse_expression_list+0xf0>
jmp    1215 <parse_expression_list+0xf5>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rax
mov    (%rax),%al
mov    %al,-0x41(%rbp)
movsbl -0x41(%rbp),%eax
mov    %eax,-0x48(%rbp)
cmpl   $0x20,-0x48(%rbp)
jne    1243 <parse_expression_list+0x123>
jmp    127b <parse_expression_list+0x15b>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x50(%rbp)
mov    -0x50(%rbp),%rax
mov    (%rax),%al
mov    %al,-0x51(%rbp)
movsbl -0x51(%rbp),%eax
mov    %eax,-0x58(%rbp)
cmpl   $0x9,-0x58(%rbp)
jne    1271 <parse_expression_list+0x151>
jmp    1276 <parse_expression_list+0x156>
jmp    1289 <parse_expression_list+0x169>
jmp    127b <parse_expression_list+0x15b>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1210 <parse_expression_list+0xf0>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x60(%rbp)
mov    -0x60(%rbp),%rax
mov    (%rax),%al
mov    %al,-0x61(%rbp)
movsbl -0x61(%rbp),%eax
mov    %eax,-0x68(%rbp)
cmpl   $0x22,-0x68(%rbp)
jne    12c0 <parse_expression_list+0x1a0>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    12c5 <parse_expression_list+0x1a5>
jmp    12c5 <parse_expression_list+0x1a5>
mov    -0x18(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    12d3 <parse_expression_list+0x1b3>
xor    %eax,%eax
cmp    -0x1c(%rbp),%eax
jge    1355 <parse_expression_list+0x235>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x70(%rbp)
mov    -0x70(%rbp),%rax
mov    (%rax),%al
mov    %al,-0x71(%rbp)
movsbl -0x71(%rbp),%eax
mov    %eax,-0x78(%rbp)
cmpl   $0x20,-0x78(%rbp)
jne    130c <parse_expression_list+0x1ec>
jmp    1350 <parse_expression_list+0x230>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x80(%rbp)
mov    -0x80(%rbp),%rax
mov    (%rax),%al
mov    %al,-0x81(%rbp)
movsbl -0x81(%rbp),%eax
mov    %eax,-0x88(%rbp)
cmpl   $0x9,-0x88(%rbp)
jne    1346 <parse_expression_list+0x226>
jmp    134b <parse_expression_list+0x22b>
jmp    1368 <parse_expression_list+0x248>
jmp    1350 <parse_expression_list+0x230>
jmp    135a <parse_expression_list+0x23a>
jmp    1368 <parse_expression_list+0x248>
mov    -0x1c(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    12ce <parse_expression_list+0x1ae>
xor    %eax,%eax
cmp    -0x1c(%rbp),%eax
jge    13c6 <parse_expression_list+0x2a6>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x90(%rbp)
mov    -0x90(%rbp),%rax
mov    (%rax),%al
mov    %al,-0x91(%rbp)
movsbl -0x91(%rbp),%eax
mov    %eax,-0x98(%rbp)
cmpl   $0x22,-0x98(%rbp)
jne    13bc <parse_expression_list+0x29c>
mov    -0x1c(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    13c1 <parse_expression_list+0x2a1>
jmp    13c1 <parse_expression_list+0x2a1>
jmp    13cb <parse_expression_list+0x2ab>
jmp    13cb <parse_expression_list+0x2ab>
mov    -0x14(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jg     1529 <parse_expression_list+0x409>
mov    -0x1c(%rbp),%eax
sub    -0x14(%rbp),%eax
mov    %eax,-0x9c(%rbp)
mov    -0x9c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xa0(%rbp)
cmpl   $0x2,-0xa0(%rbp)
jl     140b <parse_expression_list+0x2eb>
movl   $0xffffffff,-0x4(%rbp)
jmp    15ad <parse_expression_list+0x48d>
jmp    1410 <parse_expression_list+0x2f0>
mov    -0x1c(%rbp),%eax
sub    -0x14(%rbp),%eax
mov    %eax,-0xa4(%rbp)
mov    -0xa4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xa8(%rbp)
cmpl   $0x2,-0xa8(%rbp)
jge    143d <parse_expression_list+0x31d>
jmp    145c <parse_expression_list+0x33c>
lea    0xbbc(%rip),%rdi
lea    0xbc3(%rip),%rsi
mov    $0x2c,%edx
lea    0xc00(%rip),%rcx
call   1030 <__assert_fail@plt>
movq   $0x0,-0xb0(%rbp)
lea    -0x22(%rbp),%rax
add    -0xb0(%rbp),%rax
mov    %rax,-0xb8(%rbp)
mov    -0xb8(%rbp),%rax
mov    %rax,-0xc0(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0xc8(%rbp)
mov    -0xc8(%rbp),%rax
mov    %rax,-0xd0(%rbp)
mov    -0x1c(%rbp),%eax
sub    -0x14(%rbp),%eax
mov    %eax,-0xd4(%rbp)
mov    -0xd4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xd8(%rbp)
mov    -0xc0(%rbp),%rdi
mov    -0xd0(%rbp),%rsi
mov    -0xd8(%rbp),%edx
call   1040 <r_strncpy@plt>
mov    -0x1c(%rbp),%eax
sub    -0x14(%rbp),%eax
mov    %eax,-0xdc(%rbp)
mov    -0xdc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xe0(%rbp)
movslq -0xe0(%rbp),%rax
shl    $0x0,%rax
mov    %rax,-0xe8(%rbp)
lea    -0x22(%rbp),%rax
add    -0xe8(%rbp),%rax
mov    %rax,-0xf0(%rbp)
mov    -0xf0(%rbp),%rax
movb   $0x0,(%rax)
jmp    1535 <parse_expression_list+0x415>
movl   $0xffffffff,-0x4(%rbp)
jmp    15ad <parse_expression_list+0x48d>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    154d <parse_expression_list+0x42d>
jmp    1548 <parse_expression_list+0x428>
jmp    154d <parse_expression_list+0x42d>
jmp    1552 <parse_expression_list+0x432>
jmp    1557 <parse_expression_list+0x437>
jmp    155c <parse_expression_list+0x43c>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0xf8(%rbp)
mov    -0xf8(%rbp),%rax
mov    (%rax),%al
mov    %al,-0xf9(%rbp)
movsbl -0xf9(%rbp),%eax
mov    %eax,-0x100(%rbp)
cmpl   $0x0,-0x100(%rbp)
je     159c <parse_expression_list+0x47c>
jmp    15a1 <parse_expression_list+0x481>
jmp    15a6 <parse_expression_list+0x486>
jmp    116c <parse_expression_list+0x4c>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x100,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<parse_expression_list>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    $0xffffffff,%eax
test   %rdi,%rdi
je     123b <parse_expression_list+0x12b>
mov    %rdi,%r12
mov    $0xffffffffffffffff,%r15
xor    %r13d,%r13d
xor    %r14d,%r14d
xor    %eax,%eax
jmp    1160 <parse_expression_list+0x50>
nopl   (%rax)
test   %r14d,%r14d
je     1190 <parse_expression_list+0x80>
mov    $0x1,%r14d
mov    $0x2c,%cl
nopl   (%rax)
add    $0x1,%r15
add    $0x1,%r13d
test   %cl,%cl
je     1232 <parse_expression_list+0x122>
mov    0x1(%r12,%r15,1),%cl
test   %cl,%cl
je     1190 <parse_expression_list+0x80>
cmp    $0x2c,%cl
je     1140 <parse_expression_list+0x30>
cmp    $0x22,%cl
jne    1150 <parse_expression_list+0x40>
xor    %edx,%edx
test   %r14d,%r14d
sete   %dl
mov    $0x2c,%cl
mov    %edx,%r14d
jmp    1150 <parse_expression_list+0x40>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    %r15d,%edx
mov    %r15d,%ecx
movslq %eax,%rsi
add    %r12,%rsi
jmp    11a7 <parse_expression_list+0x97>
xchg   %ax,%ax
add    $0x1,%eax
add    $0x1,%rsi
movzbl (%rsi),%ebx
cmp    $0x9,%bl
je     11a0 <parse_expression_list+0x90>
cmp    $0x20,%bl
je     11a0 <parse_expression_list+0x90>
cmp    $0x22,%bl
jne    11bc <parse_expression_list+0xac>
add    $0x1,%eax
test   %r15,%r15
jle    11fb <parse_expression_list+0xeb>
mov    %r13d,%edx
jmp    11dc <parse_expression_list+0xcc>
cs nopw 0x0(%rax,%rax,1)
add    $0xffffffffffffffff,%rcx
add    $0xffffffff,%edx
cmp    $0x1,%edx
jle    11f9 <parse_expression_list+0xe9>
movzbl (%r12,%rcx,1),%ebx
cmp    $0x20,%bl
je     11d0 <parse_expression_list+0xc0>
cmp    $0x9,%bl
je     11d0 <parse_expression_list+0xc0>
xor    %edx,%edx
cmp    $0x22,%bl
sete   %dl
sub    %edx,%ecx
mov    %ecx,%edx
jmp    11fb <parse_expression_list+0xeb>
xor    %edx,%edx
sub    %eax,%edx
jl     1236 <parse_expression_list+0x126>
test   %edx,%edx
jg     1236 <parse_expression_list+0x126>
movslq %edx,%rbp
add    $0x1,%rbp
movslq %eax,%rsi
add    %r12,%rsi
lea    0x6(%rsp),%rbx
mov    %rbx,%rdi
mov    %ebp,%edx
call   1030 <r_strncpy@plt>
movb   $0x0,0x0(%rbp,%rbx,1)
mov    0x1(%r12,%r15,1),%cl
lea    0x2(%r15),%eax
jmp    1150 <parse_expression_list+0x40>
xor    %eax,%eax
jmp    123b <parse_expression_list+0x12b>
mov    $0xffffffff,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [14 x i8] c"j-start+1 < 2\00"
@.str.1 = [73 x i8] c"../versisec/OpenSer/progs/OpenSERCVE-200606749complete_parse_config_ok.c\00"
@.str.2 = [22 x i8] c"parse_expression_list\00"
define i32 @parse_expression_list(i8* %0) {
%2 = alloca i32
%3 = alloca i8*
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca [2 x i8]
%9 = alloca i8*
%10 = alloca i8
%11 = alloca i8*
%12 = alloca i8
%13 = alloca i32
%14 = alloca i8*
%15 = alloca i8
%16 = alloca i32
%17 = alloca i8*
%18 = alloca i8
%19 = alloca i32
%20 = alloca i8*
%21 = alloca i8
%22 = alloca i32
%23 = alloca i8*
%24 = alloca i8
%25 = alloca i32
%26 = alloca i8*
%27 = alloca i8
%28 = alloca i32
%29 = alloca i32
%30 = alloca i32
%31 = alloca i32
%32 = alloca i32
%33 = alloca i64
%34 = alloca i64
%35 = alloca i8*
%36 = alloca i8*
%37 = alloca i8*
%38 = alloca i32
%39 = alloca i32
%40 = alloca i32
%41 = alloca i32
%42 = alloca i64
%43 = alloca i64
%44 = alloca i8*
%45 = alloca i8
%46 = alloca i32
store i8* %0, i8** %3
store i32 0, i32* %4
store i32 -1, i32* %5
store i32 -1, i32* %6
store i32 0, i32* %7
%47 = load i8*, i8** %3
%48 = icmp ne i8* %47, null
br i1 %48, label %50, label %49
49: ; preds = %1
store i32 -1, i32* %2
br label %277
50: ; preds = %1
br label %51
51: ; preds = %50
br label %52
52: ; preds = %51, %275
br label %53
53: ; preds = %52
%54 = load i32, i32* %5
%55 = add nsw i32 %54, 1
store i32 %55, i32* %5
%56 = load i8*, i8** %3
%57 = load i32, i32* %5
%58 = sext i32 %57 to i64
%59 = getelementptr inbounds i8, i8* %56, i64 %58
store i8* %59, i8** %9
%60 = load i8*, i8** %9
%61 = load i8, i8* %60
store i8 %61, i8* %10
%62 = load i8, i8* %10
%63 = sext i8 %62 to i32
%64 = icmp eq i32 %63, 34
br i1 %64, label %65, label %66
65: ; preds = %53
br label %78
66: ; preds = %53
%67 = load i8, i8* %10
%68 = sext i8 %67 to i32
%69 = icmp eq i32 %68, 44
br i1 %69, label %70, label %71
70: ; preds = %66
br label %83
71: ; preds = %66
%72 = load i8, i8* %10
%73 = sext i8 %72 to i32
%74 = icmp eq i32 %73, 0
br i1 %74, label %75, label %76
75: ; preds = %71
br label %89
76: ; preds = %71
br i1 false, label %77, label %257
77: ; preds = %76
br label %78
78: ; preds = %77, %65
%79 = load i32, i32* %7
%80 = icmp ne i32 %79, 0
%81 = xor i1 %80, true
%82 = zext i1 %81 to i32
store i32 %82, i32* %7
br label %258
83: ; preds = %70
%84 = load i32, i32* %7
%85 = icmp ne i32 %84, 0
br i1 %85, label %86, label %87
86: ; preds = %83
br label %258
87: ; preds = %83
br label %88
88: ; preds = %87
br label %89
89: ; preds = %88, %75
br label %90
90: ; preds = %89, %117
br label %91
91: ; preds = %90
%92 = load i8*, i8** %3
%93 = load i32, i32* %4
%94 = sext i32 %93 to i64
%95 = getelementptr inbounds i8, i8* %92, i64 %94
store i8* %95, i8** %11
%96 = load i8*, i8** %11
%97 = load i8, i8* %96
store i8 %97, i8* %12
%98 = load i8, i8* %12
%99 = sext i8 %98 to i32
store i32 %99, i32* %13
%100 = load i32, i32* %13
%101 = icmp eq i32 %100, 32
br i1 %101, label %102, label %103
102: ; preds = %91
br label %117
103: ; preds = %91
%104 = load i8*, i8** %3
%105 = load i32, i32* %4
%106 = sext i32 %105 to i64
%107 = getelementptr inbounds i8, i8* %104, i64 %106
store i8* %107, i8** %14
%108 = load i8*, i8** %14
%109 = load i8, i8* %108
store i8 %109, i8* %15
%110 = load i8, i8* %15
%111 = sext i8 %110 to i32
store i32 %111, i32* %16
%112 = load i32, i32* %16
%113 = icmp eq i32 %112, 9
br i1 %113, label %114, label %115
114: ; preds = %103
br label %116
115: ; preds = %103
br label %120
116: ; preds = %114
br label %117
117: ; preds = %116, %102
%118 = load i32, i32* %4
%119 = add nsw i32 %118, 1
store i32 %119, i32* %4
br label %90
120: ; preds = %115
%121 = load i8*, i8** %3
%122 = load i32, i32* %4
%123 = sext i32 %122 to i64
%124 = getelementptr inbounds i8, i8* %121, i64 %123
store i8* %124, i8** %17
%125 = load i8*, i8** %17
%126 = load i8, i8* %125
store i8 %126, i8* %18
%127 = load i8, i8* %18
%128 = sext i8 %127 to i32
store i32 %128, i32* %19
%129 = load i32, i32* %19
%130 = icmp eq i32 %129, 34
br i1 %130, label %131, label %134
131: ; preds = %120
%132 = load i32, i32* %4
%133 = add nsw i32 %132, 1
store i32 %133, i32* %4
br label %135
134: ; preds = %120
br label %135
135: ; preds = %134, %131
%136 = load i32, i32* %5
%137 = sub nsw i32 %136, 1
store i32 %137, i32* %6
br label %138
138: ; preds = %135, %170
br label %139
139: ; preds = %138
%140 = load i32, i32* %6
%141 = icmp slt i32 0, %140
br i1 %141, label %142, label %169
142: ; preds = %139
%143 = load i8*, i8** %3
%144 = load i32, i32* %6
%145 = sext i32 %144 to i64
%146 = getelementptr inbounds i8, i8* %143, i64 %145
store i8* %146, i8** %20
%147 = load i8*, i8** %20
%148 = load i8, i8* %147
store i8 %148, i8* %21
%149 = load i8, i8* %21
%150 = sext i8 %149 to i32
store i32 %150, i32* %22
%151 = load i32, i32* %22
%152 = icmp eq i32 %151, 32
br i1 %152, label %153, label %154
153: ; preds = %142
br label %168
154: ; preds = %142
%155 = load i8*, i8** %3
%156 = load i32, i32* %6
%157 = sext i32 %156 to i64
%158 = getelementptr inbounds i8, i8* %155, i64 %157
store i8* %158, i8** %23
%159 = load i8*, i8** %23
%160 = load i8, i8* %159
store i8 %160, i8* %24
%161 = load i8, i8* %24
%162 = sext i8 %161 to i32
store i32 %162, i32* %25
%163 = load i32, i32* %25
%164 = icmp eq i32 %163, 9
br i1 %164, label %165, label %166
165: ; preds = %154
br label %167
166: ; preds = %154
br label %173
167: ; preds = %165
br label %168
168: ; preds = %167, %153
br label %170
169: ; preds = %139
br label %173
170: ; preds = %168
%171 = load i32, i32* %6
%172 = sub nsw i32 %171, 1
store i32 %172, i32* %6
br label %138
173: ; preds = %169, %166
%174 = load i32, i32* %6
%175 = icmp slt i32 0, %174
br i1 %175, label %176, label %192
176: ; preds = %173
%177 = load i8*, i8** %3
%178 = load i32, i32* %6
%179 = sext i32 %178 to i64
%180 = getelementptr inbounds i8, i8* %177, i64 %179
store i8* %180, i8** %26
%181 = load i8*, i8** %26
%182 = load i8, i8* %181
store i8 %182, i8* %27
%183 = load i8, i8* %27
%184 = sext i8 %183 to i32
store i32 %184, i32* %28
%185 = load i32, i32* %28
%186 = icmp eq i32 %185, 34
br i1 %186, label %187, label %190
187: ; preds = %176
%188 = load i32, i32* %6
%189 = sub nsw i32 %188, 1
store i32 %189, i32* %6
br label %191
190: ; preds = %176
br label %191
191: ; preds = %190, %187
br label %193
192: ; preds = %173
br label %193
193: ; preds = %192, %191
%194 = load i32, i32* %4
%195 = load i32, i32* %6
%196 = icmp sle i32 %194, %195
br i1 %196, label %197, label %253
197: ; preds = %193
%198 = load i32, i32* %6
%199 = load i32, i32* %4
%200 = sub nsw i32 %198, %199
store i32 %200, i32* %29
%201 = load i32, i32* %29
%202 = add nsw i32 %201, 1
store i32 %202, i32* %30
%203 = load i32, i32* %30
%204 = icmp sge i32 %203, 2
br i1 %204, label %205, label %206
205: ; preds = %197
store i32 -1, i32* %2
br label %277
206: ; preds = %197
br label %207
207: ; preds = %206
%208 = load i32, i32* %6
%209 = load i32, i32* %4
%210 = sub nsw i32 %208, %209
store i32 %210, i32* %31
%211 = load i32, i32* %31
%212 = add nsw i32 %211, 1
store i32 %212, i32* %32
%213 = load i32, i32* %32
%214 = icmp slt i32 %213, 2
br i1 %214, label %215, label %216
215: ; preds = %207
br label %218
216: ; preds = %207
%217 = call i32 @__assert_fail(i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([73 x i8], [73 x i8]* @.str.1, i64 0, i64 0), i32 44, i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.2, i64 0, i64 0))
br label %218
218: ; preds = %216, %215
store i64 0, i64* %33
%219 = getelementptr inbounds [2 x i8], [2 x i8]* %8, i64 0, i64 0
%220 = ptrtoint i8* %219 to i64
%221 = load i64, i64* %33
%222 = add i64 %220, %221
store i64 %222, i64* %34
%223 = load i64, i64* %34
%224 = inttoptr i64 %223 to i8*
store i8* %224, i8** %35
%225 = load i8*, i8** %3
%226 = load i32, i32* %4
%227 = sext i32 %226 to i64
%228 = getelementptr inbounds i8, i8* %225, i64 %227
store i8* %228, i8** %36
%229 = load i8*, i8** %36
store i8* %229, i8** %37
%230 = load i32, i32* %6
%231 = load i32, i32* %4
%232 = sub nsw i32 %230, %231
store i32 %232, i32* %38
%233 = load i32, i32* %38
%234 = add nsw i32 %233, 1
store i32 %234, i32* %39
%235 = load i8*, i8** %35
%236 = load i8*, i8** %37
%237 = load i32, i32* %39
%238 = call i32 @r_strncpy(i8* %235, i8* %236, i32 %237)
%239 = load i32, i32* %6
%240 = load i32, i32* %4
%241 = sub nsw i32 %239, %240
store i32 %241, i32* %40
%242 = load i32, i32* %40
%243 = add nsw i32 %242, 1
store i32 %243, i32* %41
%244 = load i32, i32* %41
%245 = sext i32 %244 to i64
%246 = mul i64 %245, 1
store i64 %246, i64* %42
%247 = getelementptr inbounds [2 x i8], [2 x i8]* %8, i64 0, i64 0
%248 = ptrtoint i8* %247 to i64
%249 = load i64, i64* %42
%250 = add i64 %248, %249
store i64 %250, i64* %43
%251 = load i64, i64* %43
%252 = inttoptr i64 %251 to i8*
store i8 0, i8* %252
br label %254
253: ; preds = %193
store i32 -1, i32* %2
br label %277
254: ; preds = %218
%255 = load i32, i32* %5
%256 = add nsw i32 %255, 1
store i32 %256, i32* %4
br label %259
257: ; preds = %76
br label %258
258: ; preds = %257, %86, %78
br label %259
259: ; preds = %258, %254
br label %260
260: ; preds = %259
br label %261
261: ; preds = %260
br label %262
262: ; preds = %261
%263 = load i8*, i8** %3
%264 = load i32, i32* %5
%265 = sext i32 %264 to i64
%266 = getelementptr inbounds i8, i8* %263, i64 %265
store i8* %266, i8** %44
%267 = load i8*, i8** %44
%268 = load i8, i8* %267
store i8 %268, i8* %45
%269 = load i8, i8* %45
%270 = sext i8 %269 to i32
store i32 %270, i32* %46
%271 = load i32, i32* %46
%272 = icmp ne i32 %271, 0
br i1 %272, label %273, label %274
273: ; preds = %262
br label %275
274: ; preds = %262
br label %276
275: ; preds = %273
br label %52
276: ; preds = %274
store i32 0, i32* %2
br label %277
277: ; preds = %276, %253, %205, %49
%278 = load i32, i32* %2
ret i32 %278
}

LLVM IR (-O2):
define i32 @parse_expression_list(i8* %0) {
%2 = alloca [2 x i8]
%3 = getelementptr inbounds [2 x i8], [2 x i8]* %2, i64 0, i64 0
%4 = icmp eq i8* %0, null
br i1 %4, label %72, label %5
5: ; preds = %1
%6 = ptrtoint [2 x i8]* %2 to i64
br label %7
7: ; preds = %5, %67
%8 = phi i64 [ -1, %5 ], [ %13, %67 ]
%9 = phi i32 [ 0, %5 ], [ %69, %67 ]
%10 = phi i32 [ 0, %5 ], [ %70, %67 ]
%11 = trunc i64 %8 to i32
%12 = and i64 %8, 4294967295
%13 = add nsw i64 %8, 1
%14 = getelementptr inbounds i8, i8* %0, i64 %13
%15 = load i8, i8* %14
switch i8 %15, label %67 [
i8 34, label %16
i8 44, label %19
i8 0, label %21
]
16: ; preds = %7
%17 = icmp eq i32 %9, 0
%18 = zext i1 %17 to i32
br label %67
19: ; preds = %7
%20 = icmp eq i32 %9, 0
br i1 %20, label %21, label %67
21: ; preds = %7, %19
%22 = sext i32 %10 to i64
br label %23
23: ; preds = %27, %21
%24 = phi i64 [ %28, %27 ], [ %22, %21 ]
%25 = getelementptr inbounds i8, i8* %0, i64 %24
%26 = load i8, i8* %25
switch i8 %26, label %32 [
i8 32, label %27
i8 9, label %27
i8 34, label %29
]
27: ; preds = %23, %23
%28 = add i64 %24, 1
br label %23
29: ; preds = %23
%30 = trunc i64 %24 to i32
%31 = add nsw i32 %30, 1
br label %34
32: ; preds = %23
%33 = trunc i64 %24 to i32
br label %34
34: ; preds = %32, %29
%35 = phi i32 [ %31, %29 ], [ %33, %32 ]
%36 = icmp sgt i64 %8, 0
br i1 %36, label %37, label %50
37: ; preds = %34, %41
%38 = phi i64 [ %42, %41 ], [ %12, %34 ]
%39 = getelementptr inbounds i8, i8* %0, i64 %38
%40 = load i8, i8* %39
switch i8 %40, label %45 [
i8 32, label %41
i8 9, label %41
]
41: ; preds = %37, %37
%42 = add nsw i64 %38, -1
%43 = trunc i64 %38 to i32
%44 = icmp sgt i32 %43, 1
br i1 %44, label %37, label %50
45: ; preds = %37
%46 = trunc i64 %38 to i32
%47 = icmp eq i8 %40, 34
%48 = sext i1 %47 to i32
%49 = add nsw i32 %46, %48
br label %50
50: ; preds = %41, %34, %45
%51 = phi i32 [ %49, %45 ], [ %11, %34 ], [ 0, %41 ]
%52 = icmp slt i32 %51, %35
br i1 %52, label %72, label %53
53: ; preds = %50
%54 = sub nsw i32 %51, %35
%55 = add nsw i32 %54, 1
%56 = icmp sgt i32 %54, 0
br i1 %56, label %72, label %57
57: ; preds = %53
%58 = sext i32 %35 to i64
%59 = getelementptr inbounds i8, i8* %0, i64 %58
%60 = call i32 @r_strncpy(i8* %3, i8* %59, i32 %55)
%61 = sext i32 %55 to i64
%62 = add i64 %61, %6
%63 = inttoptr i64 %62 to i8*
store i8 0, i8* %63
%64 = load i8, i8* %14
%65 = trunc i64 %8 to i32
%66 = add i32 %65, 2
br label %67
67: ; preds = %7, %57, %19, %16
%68 = phi i8 [ %15, %7 ], [ %64, %57 ], [ 44, %19 ], [ 44, %16 ]
%69 = phi i32 [ %9, %7 ], [ %9, %57 ], [ 1, %19 ], [ %18, %16 ]
%70 = phi i32 [ %10, %7 ], [ %66, %57 ], [ %10, %19 ], [ %10, %16 ]
%71 = icmp eq i8 %68, 0
br i1 %71, label %72, label %7
72: ; preds = %67, %50, %53, %1
%73 = phi i32 [ -1, %1 ], [ 0, %67 ], [ -1, %50 ], [ -1, %53 ]
ret i32 %73
}