diff options
-rw-r--r-- | src/piraha/smart_ptr.hpp | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/piraha/smart_ptr.hpp b/src/piraha/smart_ptr.hpp index 8b685b39..58555562 100644 --- a/src/piraha/smart_ptr.hpp +++ b/src/piraha/smart_ptr.hpp @@ -10,7 +10,12 @@ extern std::set<void*> *ptrs; -#ifdef NDEBUG +// TODO: This code is disabled because it leads to segfaults during +// startup. Most likely, this code is used during initialisation of +// global variables, but also implicitly assumes that all global +// variables have already been initialised. +#if 0 +//#ifndef NDEBUG inline void add(std::set<void*>& v,void *t) { if(t == NULL) return; |