Index: boost/exception_ptr.hpp =================================================================== --- boost/exception_ptr.hpp (revision 57432) +++ boost/exception_ptr.hpp (working copy) @@ -19,6 +19,11 @@ #include #include +#ifdef __GNUC__ +// kill non-virtual destructor warning +#pragma GCC system_header +#endif + namespace boost { Index: boost/exception/detail/exception_ptr_base.hpp =================================================================== --- boost/exception/detail/exception_ptr_base.hpp (revision 57432) +++ boost/exception/detail/exception_ptr_base.hpp (working copy) @@ -6,6 +6,11 @@ #ifndef UUID_DC4208C6417811DEBF11E1EC55D89593 #define UUID_DC4208C6417811DEBF11E1EC55D89593 +#ifdef __GNUC__ +// kill non-virtual destructor warning +#pragma GCC system_header +#endif + namespace boost {