The exact versions of g++ and valgrind:
g++-5 (Ubuntu 5.2.1-23ubuntu1~12.04) 5.2.1 20151031
valgrind-3.7.0
I didn't dive into which flag exactly does this (finline-small-functions/findirect-inlining/finline-functions/finline-functions-called-once/fearly-inlining) because I am testing this remotely on travis and I am already annoyed from waiting so I just used -fno-inline (I don't have a working linux on my machine).
Actually I had no idea that this was due to inlining and wanted valgrind to report the real function that caused the error so disabled inlining... and voila!
Note that this happens only with g++5 - I've tested g++ 4.4/4.5/4.7/4.8/4.9 (4.6 not tested) and also clang++ 3.4/3.5/3.6/3.7/3.8 (and also all these compilers under OSX too)
Here is the error:
==3063== 1 errors in context 1 of 1:
==3063== Invalid read of size 4
==3063== at 0x40092E: regTest(char const*, char const*) (a.cpp:17)
This is my code:
// required includes
#include <cstdio> // printf and friends
#include <cstdlib> // malloc, free, qsort
#include <cstring> // strlen, strcpy, strtok
#include <new> // placement new
struct String
{
char* m_str;
void copy(const String& other) {
if(m_str)
free(m_str);
m_str = 0;
if(other.m_str) {
m_str = static_cast<char*>(malloc(strlen(other.m_str) + 1));
strcpy(m_str, other.m_str);
}
}
String(const char* in = 0)
: m_str(0) {
if(in == 0)
return;
m_str = static_cast<char*>(malloc(strlen(in) + 1));
strcpy(m_str, in);
}
String(const String& other)
: m_str(0) {
copy(other);
}
~String() {
if(m_str)
free(m_str);
}
String& operator=(const String& other) {
if(this != &other)
copy(other);
return *this;
}
};
template <class T>
class Vector
{
unsigned m_size;
unsigned m_capacity;
T* m_buffer;
public:
Vector()
: m_size(0)
, m_capacity(0)
, m_buffer(0) {}
Vector(const Vector& other)
: m_size(other.m_size)
, m_capacity(other.m_capacity)
, m_buffer(static_cast<T*>(malloc(sizeof(T) * m_capacity))) {
for(unsigned i = 0; i < m_size; ++i)
new(m_buffer + i) T(other.m_buffer[i]);
}
~Vector() {
for(unsigned i = 0; i < m_size; ++i)
(*(m_buffer + i)).~T();
free(m_buffer);
}
Vector& operator=(const Vector& other) {
if(this != &other) {
for(size_t i = 0; i < m_size; ++i)
(*(m_buffer + i)).~T();
free(m_buffer);
m_size = other.m_size;
m_capacity = other.m_capacity;
m_buffer = static_cast<T*>(malloc(sizeof(T) * m_capacity));
for(unsigned i = 0; i < m_size; ++i)
new(m_buffer + i) T(other.m_buffer[i]);
}
return *this;
}
unsigned size() const { return m_size; }
void push_back(const T& item) {
if(m_size < m_capacity) {
new(m_buffer + m_size++) T(item);
} else {
if(m_capacity == 0)
m_capacity = 5; // initial capacity
else
m_capacity *= 2; // capacity growth factor
T* temp = static_cast<T*>(malloc(sizeof(T) * m_capacity));
for(unsigned i = 0; i < m_size; ++i) {
new(temp + i) T(m_buffer[i]);
(*(m_buffer + i)).~T();
}
new(temp + m_size++) T(item);
free(m_buffer);
m_buffer = temp;
}
}
};
struct FunctionData
{
String m_suite;
String m_name;
const char* m_file;
FunctionData(const char* suite, const char* name, const char* file)
: m_suite(suite)
, m_name(name)
, m_file(file) {}
FunctionData(const FunctionData& other)
: m_suite(other.m_suite)
, m_name(other.m_name)
, m_file(other.m_file) {}
};
const char*& getCurrentTestSuite() {
static const char* data = 0;
return data;
}
int setTestSuiteName(const char* name) {
getCurrentTestSuite() = name;
return 0;
}
int regTest(const char* file, const char* name) {
Vector<FunctionData> temp;
temp.push_back(FunctionData(getCurrentTestSuite(), name, file));
// main() is empty and we dont want this optimized away
printf("hello! %d\n", temp.size());
return 0;
}
__attribute__((unused)) static int a1 = setTestSuiteName("current testsuite");
__attribute__((unused)) static int a2 = regTest("a.cpp", "zzz");
int main(int, char**) { return 0; }
This is how I run it:
g++-5 a.cpp -Wall -Wextra -pedantic -std=c++98 -g -O3 -fno-inline
valgrind --leak-check=full --track-origins=yes -v ./a.out
g++-5 a.cpp -Wall -Wextra -pedantic -std=c++98 -g -O3
valgrind --leak-check=full --track-origins=yes -v ./a.out
The second run leads to the valgrind error.
Removing any of the members of FunctionData stops reproducing the problem. Cutting Vector out of the picture also leads to no errors.
here is the repository and here is the travis log.
I've wasted more than a few hours on minimizing this so I'm done with minifying the reproduction code.
So who is wrong - g++5 or valgrind? or me? what should I do next? why might this be happening?
EDIT:
lol! just noticed that (a.cpp:17) on the error so the problematic line is m_str = static_cast<char*>(malloc(strlen(other.m_str) + 1)); - but WHY?!?!?! Even if everything gets inlined in regTest() - I don't think there is a real error in this simple code
EDIT 2:
Just tried with Ubuntu 14.04 locally with g++ (Ubuntu 5.3.0-3ubuntu1~14.04) 5.3.0 20151204 and valgrind-3.10.1 and the case is the same - when compiling with inlining the bug occurs.
Also tried locally with g++-4.8 (Ubuntu 4.8.5-2ubuntu1~14.04.1) 4.8.5 and OMG! also buggy like g++-5! maybe a patch went into g++ 4.8.5 that wasn't in 4.8.x and 4.9.x which were used in travis
EDIT 3:
adding __attribute__((noinline)) to the constructor (any - normal and copy - works with both) of the String class resolved the issue. So is this a bug? what to do next?
EDIT 4:
I played a bit more and changed the code to this (removed the Vector class) and managed to trigger an error from valgrind when compiliing with
g++ a.cpp -O3 -fno-elide-constructors
and no error when compiling with just
g++ a.cpp -O3
(both cases with inlining ON)
Something is wrong here with these optimizations. Sorry for the many edits and long post - I will shut up now.
EDIT 5:
a friend told me to add -ggdb when compiling and now the error from valgrind for the original code is this:
==2150== Invalid read of size 4
==2150== at 0x40095E: copy (a.cpp:17)
==2150== by 0x40095E: String (a.cpp:33)
==2150== by 0x40095E: FunctionData (a.cpp:128)
==2150== by 0x40095E: push_back (a.cpp:106)
==2150== by 0x40095E: regTest(char const*, char const*) (a.cpp:144)
==2150== by 0x400B2C: __libc_csu_init (in /home/onqtam/a.out)
==2150== by 0x537CE54: (below main) (libc-start.c:246)
==2150== Address 0x5a37c90 is 16 bytes inside a block of size 18 alloc'd
==2150== at 0x4C2AB80: malloc (in /usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==2150== by 0x4008DF: String (a.cpp:27)
==2150== by 0x4008DF: FunctionData (a.cpp:123)
==2150== by 0x4008DF: regTest(char const*, char const*) (a.cpp:144)
==2150== by 0x400B2C: __libc_csu_init (in /home/onqtam/a.out)
==2150== by 0x537CE54: (below main) (libc-start.c:246)
