==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, std::__2::allocator >::basic_string(std::__2::basic_string, std::__2::allocator > 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, std::__2::allocator >::basic_string(std::__2::basic_string, std::__2::allocator > 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)