Ticket #4991: uuid.patch

boost\uuid\seed_rng.hpp

@@ -21 +21 @@
 #ifndef BOOST_UUID_SEED_RNG_HPP
 #define BOOST_UUID_SEED_RNG_HPP
 
 #include <boost/config.hpp>
 #include <cstring> // for memcpy
 #include <limits>
+#ifndef __ghs__
 #include <memory.h>
+#endif
 #include <ctime> // for time_t, time, clock_t, clock
 #include <cstdlib> // for rand
 #include <cstdio> // for FILE, fopen, fread, fclose
 #include <boost/uuid/sha1.hpp>
 //#include <boost/nondet_random.hpp> //forward declare boost::random_device
 

boost\uuid\string_generator.hpp

@@ -38 +38 @@
 struct string_generator {
     typedef uuid result_type;
     
     template <typename ch, typename char_traits, typename alloc>
     uuid operator()(std::basic_string<ch, char_traits, alloc> const& s) const {
         return operator()(s.begin(), s.end());
-    };
+    }
 
     uuid operator()(char const*const s) const {
         return operator()(s, s+std::strlen(s));
     }
 
     uuid operator()(wchar_t const*const s) const {