// File: /workspace/github_cpp_makefile_star2_O1/LiuYinCarl[P]headerFileAnalysis/headerFileAnalysis.cpp
// Function: WalkMan::get_include_lines(std::filesystem::__cxx11::path const&)
std::vector<std::string> WalkMan::get_include_lines(const fs::path& path) {
  // regex expression from:
  // https://stackoverflow.com/questions/26492513/write-c-regular-expression-to-match-a-include-preprocessing-directive
  static std::regex re{"^\\s*#\\s*include\\s+[<\"][^>\"]*[>\"]\\s*"};
  //static std::regex re_filename{"\"(.*?)\"|(<.*?>)"};
  static std::regex re_filename{"[<\"](.*?)[>\"]"};
  std::vector<std::string> include_info{ path.filename() };

  std::ifstream is { path.c_str() };
  std::string s;
  while (std::getline(is, s)) {
    if (std::regex_search(begin(s), end(s), re)) {
      std::smatch matchRes;
      std::regex_search(s, matchRes, re_filename);
      std::string filename = matchRes[1].str();
      assert(filename.size() > 0);
      if (headers.count(filename) == 0) { // filter stdlib headers
	continue;
      }
      include_info.emplace_back(std::move(filename));
    }
  }
  assert(include_info.size() > 0);
  return include_info;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x288, %rsp            # imm = 0x288
movq %rdx, %r15
movq %rsi, %r12
movq %rdi, 0x8(%rsp)
movb 0x1da94(%rip), %al      # 0x23718
testb %al, %al
je 0x5fc6
movb 0x1daae(%rip), %al      # 0x23740
testb %al, %al
je 0x601d
movq 0x8(%r15), %rax
testq %rax, %rax
je 0x5cff
movq 0x20(%r15), %rcx
movl %ecx, %edx
notb %dl
movq %r15, %rsi
testb $0x3, %dl
je 0x5cf0
movl %ecx, %edx
andl $0x3, %edx
jne 0x5cff
movq (%r15), %rdx
cmpb $0x2f, -0x1(%rdx,%rax)
je 0x5cff
testb $0x3, %cl
je 0x5ccd
xorl %eax, %eax
jmp 0x5cd6
leaq 0x20(%r15), %rdi
callq 0x4210
leaq -0x30(%rax), %rsi
testb $0x3, 0x20(%r15)
cmovneq %rax, %rsi
cmovneq %r15, %rsi
movl 0x20(%rsi), %eax
notl %eax
testb $0x3, %al
jne 0x5cff
leaq 0x80(%rsp), %rdi
callq 0x6d52
jmp 0x5d0c
leaq 0x80(%rsp), %rdi
callq 0x656c
leaq 0x20(%rsp), %r14
movq %r14, -0x10(%r14)
movq 0x80(%rsp), %rsi
movq 0x88(%rsp), %rdx
addq %rsi, %rdx
leaq 0x10(%rsp), %rdi
callq 0x6da8
leaq 0x10(%rsp), %rsi
leaq 0x38(%rsp), %rcx
movl $0x1, %edx
movq 0x8(%rsp), %rdi
callq 0x6784
movq 0x10(%rsp), %rdi
cmpq %r14, %rdi
je 0x5d62
movq 0x20(%rsp), %rsi
incq %rsi
callq 0x4330
leaq 0x80(%rsp), %rdi
callq 0x6698
movq (%r15), %rsi
leaq 0x80(%rsp), %r15
movq %r15, %rdi
movl $0x8, %edx
callq 0x4520
leaq 0x48(%rsp), %rax
movq %rax, -0x10(%rax)
movq $0x0, -0x8(%rax)
movb $0x0, (%rax)
leaq 0x108(%r12), %rax
movq %rax, 0x78(%rsp)
addq $0x110, %r12            # imm = 0x110
leaq 0x38(%rsp), %r13
leaq 0x10(%rsp), %rbx
leaq 0x58(%rsp), %r14
movq 0x80(%rsp), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x42f0
movsbl %al, %edx
movq %r15, %rdi
movq %r13, %rsi
callq 0x4530
movq (%rax), %rcx
movq -0x18(%rcx), %rcx
testb $0x5, 0x20(%rax,%rcx)
jne 0x5f55
movq 0x38(%rsp), %rdi
movq 0x40(%rsp), %rsi
addq %rdi, %rsi
xorps %xmm0, %xmm0
movaps %xmm0, 0x20(%rsp)
movaps %xmm0, 0x10(%rsp)
movq %rbx, %rdx
leaq 0x1d8dd(%rip), %rcx     # 0x236f8
xorl %r8d, %r8d
callq 0x131e1
movl %eax, %ebp
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x5e3c
movq 0x20(%rsp), %rsi
subq %rdi, %rsi
callq 0x4330
testb %bpl, %bpl
je 0x5dbe
xorps %xmm0, %xmm0
movaps %xmm0, 0x20(%rsp)
movaps %xmm0, 0x10(%rsp)
movq 0x38(%rsp), %rdi
movq 0x40(%rsp), %rsi
addq %rdi, %rsi
movq %rbx, %rdx
leaq 0x1d8b7(%rip), %rcx     # 0x23720
xorl %r8d, %r8d
callq 0x15226
movq 0x10(%rsp), %rcx
movq 0x18(%rsp), %rax
cmpq %rax, %rcx
je 0x5ea5
movq %rax, %rdx
subq %rcx, %rdx
sarq $0x3, %rdx
movabsq $-0x5555555555555555, %rsi # imm = 0xAAAAAAAAAAAAAAAB
imulq %rsi, %rdx
addq $-0x5, %rdx
cmpq $-0x2, %rdx
setb %dl
jmp 0x5ea7
xorl %edx, %edx
addq $0x18, %rcx
addq $-0x48, %rax
testb %dl, %dl
cmovneq %rcx, %rax
cmpb $0x1, 0x10(%rax)
jne 0x5ed6
movq (%rax), %rsi
movq 0x8(%rax), %rdx
leaq 0x68(%rsp), %rax
movq %rax, 0x58(%rsp)
movq %r14, %rdi
callq 0x1726c
jmp 0x5eee
leaq 0x68(%rsp), %rax
movq %rax, 0x58(%rsp)
movq $0x0, 0x60(%rsp)
movb $0x0, 0x68(%rsp)
cmpq $0x0, 0x60(%rsp)
je 0x5fa7
movq 0x78(%rsp), %rdi
movq %r14, %rsi
callq 0x172e0
cmpq %r12, %rax
je 0x5f19
movq 0x8(%rsp), %rdi
movq %r14, %rsi
callq 0x67cc
movq 0x58(%rsp), %rdi
leaq 0x68(%rsp), %rax
cmpq %rax, %rdi
je 0x5f35
movq 0x68(%rsp), %rsi
incq %rsi
callq 0x4330
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x5dbe
movq 0x20(%rsp), %rsi
subq %rdi, %rsi
callq 0x4330
jmp 0x5dbe
movq 0x8(%rsp), %rcx
movq 0x8(%rcx), %rax
cmpq (%rcx), %rax
je 0x6074
movq 0x38(%rsp), %rdi
leaq 0x48(%rsp), %rax
cmpq %rax, %rdi
je 0x5f83
movq 0x48(%rsp), %rsi
incq %rsi
callq 0x4330
leaq 0x80(%rsp), %rdi
callq 0x4070
movq 0x8(%rsp), %rax
addq $0x288, %rsp            # imm = 0x288
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x124a3(%rip), %rdi     # 0x18451
leaq 0x121aa(%rip), %rsi     # 0x1815f
leaq 0x124a9(%rip), %rcx     # 0x18465
movl $0x123, %edx            # imm = 0x123
callq 0x4230
leaq 0x1d74b(%rip), %rdi     # 0x23718
callq 0x4500
testl %eax, %eax
je 0x5c8c
leaq 0x1d717(%rip), %rdi     # 0x236f8
leaq 0x12437(%rip), %rsi     # 0x1841f
movl $0x10, %edx
callq 0x66fc
leaq 0x76b(%rip), %rdi       # 0x6764
leaq 0x1d6f8(%rip), %rsi     # 0x236f8
leaq 0x1d2d1(%rip), %rdx     # 0x232d8
callq 0x42d0
leaq 0x1d705(%rip), %rdi     # 0x23718
callq 0x4220
jmp 0x5c8c
leaq 0x1d71c(%rip), %rdi     # 0x23740
callq 0x4500
testl %eax, %eax
je 0x5c9a
leaq 0x1d6e8(%rip), %rdi     # 0x23720
leaq 0x12404(%rip), %rsi     # 0x18443
movl $0x10, %edx
callq 0x66fc
leaq 0x714(%rip), %rdi       # 0x6764
leaq 0x1d6c9(%rip), %rsi     # 0x23720
leaq 0x1d27a(%rip), %rdx     # 0x232d8
callq 0x42d0
leaq 0x1d6d6(%rip), %rdi     # 0x23740
callq 0x4220
jmp 0x5c9a
leaq 0x12430(%rip), %rdi     # 0x184ab
leaq 0x120dd(%rip), %rsi     # 0x1815f
leaq 0x123dc(%rip), %rcx     # 0x18465
movl $0x12a, %edx            # imm = 0x12A
callq 0x4230
movq %rax, %rbx
leaq 0x1d6a3(%rip), %rdi     # 0x23740
jmp 0x60a9
movq %rax, %rbx
leaq 0x1d66f(%rip), %rdi     # 0x23718
callq 0x4200
jmp 0x6168
movq %rax, %rbx
jmp 0x6168
movq %rax, %rbx
jmp 0x615e
movq %rax, %rbx
movq 0x10(%rsp), %rdi
cmpq %r14, %rdi
je 0x60e2
movq 0x20(%rsp), %rsi
incq %rsi
callq 0x4330
jmp 0x60e2
movq %rax, %rbx
leaq 0x80(%rsp), %rdi
callq 0x6698
jmp 0x6168
jmp 0x6116
jmp 0x6116
movq %rax, %rbx
movq 0x58(%rsp), %rdi
leaq 0x68(%rsp), %rax
cmpq %rax, %rdi
je 0x6119
movq 0x68(%rsp), %rsi
incq %rsi
callq 0x4330
jmp 0x6119
movq %rax, %rbx
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x6135
movq 0x20(%rsp), %rsi
subq %rdi, %rsi
callq 0x4330
jmp 0x6135
movq %rax, %rbx
leaq 0x48(%rsp), %rax
movq 0x38(%rsp), %rdi
cmpq %rax, %rdi
je 0x6151
movq 0x48(%rsp), %rsi
incq %rsi
callq 0x4330
leaq 0x80(%rsp), %rdi
callq 0x4070
movq 0x8(%rsp), %rdi
callq 0x6832
movq %rbx, %rdi
callq 0x44e0