From 0bad3f039d9734b99f43b36215e1dae482eae9a9 Mon Sep 17 00:00:00 2001
From: eschnett <eschnett@17b73243-c579-4c4c-a9d2-2d5706c11dac>
Date: Wed, 15 May 2013 22:43:34 +0000
Subject: Disable Piraha debugging code

git-svn-id: http://svn.cactuscode.org/flesh/trunk@5010 17b73243-c579-4c4c-a9d2-2d5706c11dac
---
 src/piraha/smart_ptr.hpp | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

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;
-- 
cgit v1.2.3