diff options
Diffstat (limited to 'boost/boost.4127.warnings.patch')
| -rw-r--r-- | boost/boost.4127.warnings.patch | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/boost/boost.4127.warnings.patch b/boost/boost.4127.warnings.patch new file mode 100644 index 000000000000..11a955fd301a --- /dev/null +++ b/boost/boost.4127.warnings.patch @@ -0,0 +1,19 @@ +--- misc/boost_1_44_0/boost/smart_ptr/make_shared.hpp (revision 69250)
++++ misc/build/boost_1_44_0/boost/smart_ptr/make_shared.hpp (revision 69251)
+@@ -50,5 +50,16 @@
+ if( initialized_ )
+ {
++#if defined( __GNUC__ )
++
++ // fixes incorrect aliasing warning
++ T * p = reinterpret_cast< T* >( storage_.data_ );
++ p->~T();
++
++#else
++
+ reinterpret_cast< T* >( storage_.data_ )->~T();
++
++#endif
++
+ initialized_ = false;
+ }
|