CODEWITHSUNDEEP
c++clangmemory-sanitizer
Pac
Pac

Reputation: 167

Why does the memory-sanitizer report use of an uninitialized value for std::map?

I'm using manjaro linux on x86-64. Memory-sanitizer in clang version 10.0.1 reported a use of uninitialized value error in std::map, which quite surprised me. Did I do something wrong?

$ cat test.cpp 
#include <map>
int main() {
    std::map<int, int> test;
    test.insert({1,2});
}
$ clang++ -fsanitize=memory test.cpp && ./a.out
==51936==WARNING: MemorySanitizer: use-of-uninitialized-value
    #0 0x562889eaad9a  (/tmp/build/a.out+0x9fd9a)
    #1 0x562889eaae28  (/tmp/build/a.out+0x9fe28)
    #2 0x562889eaaba1  (/tmp/build/a.out+0x9fba1)
    #3 0x562889eaa51e  (/tmp/build/a.out+0x9f51e)
    #4 0x562889eaa087  (/tmp/build/a.out+0x9f087)
    #5 0x7f418e02b151  (/usr/lib/libc.so.6+0x28151)
    #6 0x562889e2b1dd  (/tmp/build/a.out+0x201dd)

SUMMARY: MemorySanitizer: use-of-uninitialized-value (/tmp/build/a.out+0x9fd9a) 
Exiting

Upvotes: 3

Views: 1405

Answers (2)

Szabolcs
Szabolcs

Reputation: 25703

When using MemorySanitizer, all libraries you use must be compiled with MemorySanitizer. Otherwise, there is a risk of false positives. This includes the C++ standard library itself.

You will find instructions for compiling libc++ with MemorySanitizer in the official sanitizers wiki:

https://github.com/google/sanitizers/wiki/MemorySanitizerLibcxxHowTo

Upvotes: 0

VZ.
VZ.

Reputation: 22678

FWIW it looks like libc++ is more MSAN-friendly than stdlibc++ because compiling a similar

#include <map>
#include <string>

int main(int argc, char** argv) {
    std::map<int, std::string> m;
    m[argc] = argv[argc - 1];
    return 0;
}

code with the latter and running

% clang++ -fsanitize=memory -fno-omit-frame-pointer -g -O2 umr.cpp

results in a similar error, but doing

% clang++ -fsanitize=memory -fno-omit-frame-pointer -stdlib=libc++ -g -O2 umr.cpp && ./a.out

works fine (clang 13, Debian Sid).

Upvotes: 0

Related Questions