Ticket #6542: storage_hpp.patch

storage.hpp

@@ -201 +201 @@
         unbounded_array &operator = (const unbounded_array &a) {
             if (this != &a) {
                 resize (a.size_);
-                std::copy (a.data_, a.data_ + a.size_, data_);
+                if(a.data_ == NULL) {
+                                        data_ = NULL;
+                                } else {
+                                        std::copy (a.data_, a.data_ + a.size_, data_);
+                                }
             }
             return *this;
         }