Need to use a static function for pools instead of a static object to avoid problems with initialisation order

git-svn-id: svn+ssh://svn.gecode.org/srv/gecode/svn/gecode/trunk@16768 64335634-5103-0410-b293-fc3d331e086d

Author: guidotack

gecode/kernel/memory/region.cpp

@@ -80,7 +80,10 @@ namespace Gecode {
     m.release();
   }
 
-  Region::Pool Region::pool;
+  Region::Pool& Region::pool(void) {
+    static Region::Pool _p;
+    return _p;
+  }
 
   void*
   Region::heap_alloc(size_t s) {

gecode/kernel/memory/region.hpp

@@ -92,7 +92,7 @@ namespace Gecode {
       ~Pool(void);
     };
     /// Just use a single static pool for heap chunks
-    GECODE_KERNEL_EXPORT static Pool pool;
+    GECODE_KERNEL_EXPORT Pool& pool();
     /// Heap information data structure
     class HeapInfo {
     public:
@@ -348,7 +348,7 @@ namespace Gecode {
 
   forceinline
   Region::Region(void)
-    : chunk(pool.chunk()), hi(0) {}
+    : chunk(pool().chunk()), hi(0) {}
 
   forceinline void
   Region::free(void) {
@@ -369,7 +369,7 @@ namespace Gecode {
 
   forceinline
   Region::~Region(void) {
-    pool.chunk(chunk);
+    pool().chunk(chunk);
     if (hi != NULL)
       heap_free();
   }