| 1 | ==15003== Memcheck, a memory error detector |
|---|
| 2 | ==15003== Copyright (C) 2002-2017, and GNU GPL'd, by Julian Seward et al. |
|---|
| 3 | ==15003== Using Valgrind-3.14.0 and LibVEX; rerun with -h for copyright info |
|---|
| 4 | ==15003== Command: ./divcc -v |
|---|
| 5 | ==15003== |
|---|
| 6 | clang version 7.0.0 (tags/RELEASE_700/final) |
|---|
| 7 | Target: x86_64-unknown-linux-gnu |
|---|
| 8 | Thread model: posix |
|---|
| 9 | InstalledDir: |
|---|
| 10 | Found candidate GCC installation: /../lib/gcc/x86_64-pc-linux-gnu/9.1.0 |
|---|
| 11 | Found candidate GCC installation: /../lib64/gcc/x86_64-pc-linux-gnu/9.1.0 |
|---|
| 12 | Found candidate GCC installation: /usr/lib/gcc/x86_64-pc-linux-gnu/9.1.0 |
|---|
| 13 | Found candidate GCC installation: /usr/lib64/gcc/x86_64-pc-linux-gnu/9.1.0 |
|---|
| 14 | Selected GCC installation: /../lib64/gcc/x86_64-pc-linux-gnu/9.1.0 |
|---|
| 15 | Candidate multilib: .;@m64 |
|---|
| 16 | Candidate multilib: 32;@m32 |
|---|
| 17 | Selected multilib: .;@m64 |
|---|
| 18 | warning: argument unused during compilation: '-D __divine__=4' |
|---|
| 19 | warning: argument unused during compilation: '-debug-info-kind=standalone' |
|---|
| 20 | warning: argument unused during compilation: '-U __x86_64' |
|---|
| 21 | warning: argument unused during compilation: '-U __x86_64__' |
|---|
| 22 | ==15003== Invalid read of size 1 |
|---|
| 23 | ==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) |
|---|
| 24 | ==15003== by 0x84C23D5: Command (driver.hpp:45) |
|---|
| 25 | ==15003== by 0x84C23D5: divine::cc::Native::link() (native.cpp:92) |
|---|
| 26 | ==15003== by 0x84C3D99: divine::cc::Native::run() (native.cpp:152) |
|---|
| 27 | ==15003== by 0x4058FE: main (divcc.cpp:72) |
|---|
| 28 | ==15003== Address 0xffffffffffffffe7 is not stack'd, malloc'd or (recently) free'd |
|---|
| 29 | ==15003== |
|---|
| 30 | ==15003== |
|---|
| 31 | ==15003== Process terminating with default action of signal 11 (SIGSEGV): dumping core |
|---|
| 32 | ==15003== Access not within mapped region at address 0xFFFFFFFFFFFFFFE7 |
|---|
| 33 | ==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) |
|---|
| 34 | ==15003== by 0x84C23D5: Command (driver.hpp:45) |
|---|
| 35 | ==15003== by 0x84C23D5: divine::cc::Native::link() (native.cpp:92) |
|---|
| 36 | ==15003== by 0x84C3D99: divine::cc::Native::run() (native.cpp:152) |
|---|
| 37 | ==15003== by 0x4058FE: main (divcc.cpp:72) |
|---|
| 38 | ==15003== If you believe this happened as a result of a stack |
|---|
| 39 | ==15003== overflow in your program's main thread (unlikely but |
|---|
| 40 | ==15003== possible), you can try to increase the size of the |
|---|
| 41 | ==15003== main thread stack using the --main-stacksize= flag. |
|---|
| 42 | ==15003== The main thread stack size used in this run was 8388608. |
|---|
| 43 | ==15003== |
|---|
| 44 | ==15003== HEAP SUMMARY: |
|---|
| 45 | ==15003== in use at exit: 192,521 bytes in 2,419 blocks |
|---|
| 46 | ==15003== total heap usage: 4,698 allocs, 2,279 frees, 934,188 bytes allocated |
|---|
| 47 | ==15003== |
|---|
| 48 | ==15003== LEAK SUMMARY: |
|---|
| 49 | ==15003== definitely lost: 0 bytes in 0 blocks |
|---|
| 50 | ==15003== indirectly lost: 0 bytes in 0 blocks |
|---|
| 51 | ==15003== possibly lost: 0 bytes in 0 blocks |
|---|
| 52 | ==15003== still reachable: 192,521 bytes in 2,419 blocks |
|---|
| 53 | ==15003== suppressed: 0 bytes in 0 blocks |
|---|
| 54 | ==15003== Rerun with --leak-check=full to see details of leaked memory |
|---|
| 55 | ==15003== |
|---|
| 56 | ==15003== For counts of detected and suppressed errors, rerun with: -v |
|---|
| 57 | ==15003== ERROR SUMMARY: 1 errors from 1 contexts (suppressed: 0 from 0) |
|---|
| 58 | Segmentation fault (core dumped) |
|---|