==15003== Memcheck, a memory error detector
==15003== Copyright (C) 2002-2017, and GNU GPL'd, by Julian Seward et al.
==15003== Using Valgrind-3.14.0 and LibVEX; rerun with -h for copyright info
==15003== Command: ./divcc -v
==15003== 
clang version 7.0.0 (tags/RELEASE_700/final)
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: 
Found candidate GCC installation: /../lib/gcc/x86_64-pc-linux-gnu/9.1.0
Found candidate GCC installation: /../lib64/gcc/x86_64-pc-linux-gnu/9.1.0
Found candidate GCC installation: /usr/lib/gcc/x86_64-pc-linux-gnu/9.1.0
Found candidate GCC installation: /usr/lib64/gcc/x86_64-pc-linux-gnu/9.1.0
Selected GCC installation: /../lib64/gcc/x86_64-pc-linux-gnu/9.1.0
Candidate multilib: .;@m64
Candidate multilib: 32;@m32
Selected multilib: .;@m64
warning: argument unused during compilation: '-D __divine__=4'
warning: argument unused during compilation: '-debug-info-kind=standalone'
warning: argument unused during compilation: '-U __x86_64'
warning: argument unused during compilation: '-U __x86_64__'
==15003== Invalid read of size 1
==15003==    at 0xCB1EC9C: std::__2::basic_string<char, std::__2::char_traits<char>, std::__2::allocator<char> >::basic_string(std::__2::basic_string<char, std::__2::char_traits<char>, std::__2::allocator<char> > const&) (in /home/lukas/divine/divine-4.3.4/_build.toolchain/lib/libc++.so.2.0)
==15003==    by 0x84C23D5: Command (driver.hpp:45)
==15003==    by 0x84C23D5: divine::cc::Native::link() (native.cpp:92)
==15003==    by 0x84C3D99: divine::cc::Native::run() (native.cpp:152)
==15003==    by 0x4058FE: main (divcc.cpp:72)
==15003==  Address 0xffffffffffffffe7 is not stack'd, malloc'd or (recently) free'd
==15003== 
==15003== 
==15003== Process terminating with default action of signal 11 (SIGSEGV): dumping core
==15003==  Access not within mapped region at address 0xFFFFFFFFFFFFFFE7
==15003==    at 0xCB1EC9C: std::__2::basic_string<char, std::__2::char_traits<char>, std::__2::allocator<char> >::basic_string(std::__2::basic_string<char, std::__2::char_traits<char>, std::__2::allocator<char> > const&) (in /home/lukas/divine/divine-4.3.4/_build.toolchain/lib/libc++.so.2.0)
==15003==    by 0x84C23D5: Command (driver.hpp:45)
==15003==    by 0x84C23D5: divine::cc::Native::link() (native.cpp:92)
==15003==    by 0x84C3D99: divine::cc::Native::run() (native.cpp:152)
==15003==    by 0x4058FE: main (divcc.cpp:72)
==15003==  If you believe this happened as a result of a stack
==15003==  overflow in your program's main thread (unlikely but
==15003==  possible), you can try to increase the size of the
==15003==  main thread stack using the --main-stacksize= flag.
==15003==  The main thread stack size used in this run was 8388608.
==15003== 
==15003== HEAP SUMMARY:
==15003==     in use at exit: 192,521 bytes in 2,419 blocks
==15003==   total heap usage: 4,698 allocs, 2,279 frees, 934,188 bytes allocated
==15003== 
==15003== LEAK SUMMARY:
==15003==    definitely lost: 0 bytes in 0 blocks
==15003==    indirectly lost: 0 bytes in 0 blocks
==15003==      possibly lost: 0 bytes in 0 blocks
==15003==    still reachable: 192,521 bytes in 2,419 blocks
==15003==         suppressed: 0 bytes in 0 blocks
==15003== Rerun with --leak-check=full to see details of leaked memory
==15003== 
==15003== For counts of detected and suppressed errors, rerun with: -v
==15003== ERROR SUMMARY: 1 errors from 1 contexts (suppressed: 0 from 0)
Segmentation fault (core dumped)
