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) |
---|