dtor.pass.cpp revision 01afa5c6e407e985d9643707d7b7ab1384bd9317
101afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant//===----------------------------------------------------------------------===// 201afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant// 301afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant// The LLVM Compiler Infrastructure 401afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant// 501afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant// This file is dual licensed under the MIT and the University of Illinois Open 601afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant// Source Licenses. See LICENSE.TXT for details. 701afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant// 801afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant//===----------------------------------------------------------------------===// 901afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 1001afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant// <optional> 1101afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 1201afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant// ~optional(); 1301afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 1401afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant#include <optional> 1501afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant#include <type_traits> 1601afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant#include <cassert> 1701afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 1801afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant#if _LIBCPP_STD_VER > 11 1901afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 2001afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnantclass X 2101afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant{ 2201afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnantpublic: 2301afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant static bool dtor_called; 2401afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant X() = default; 2501afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant ~X() {dtor_called = true;} 2601afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant}; 2701afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 2801afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnantbool X::dtor_called = false; 2901afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 3001afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant#endif // _LIBCPP_STD_VER > 11 3101afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant 3201afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnantint main() 3301afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant{ 3401afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant#if _LIBCPP_STD_VER > 11 3501afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant { 3601afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant typedef int T; 3701afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant static_assert(std::is_trivially_destructible<T>::value, ""); 3801afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant static_assert(std::is_trivially_destructible<std::optional<T>>::value, ""); 3901afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant } 4001afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant { 4101afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant typedef double T; 4201afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant static_assert(std::is_trivially_destructible<T>::value, ""); 4301afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant static_assert(std::is_trivially_destructible<std::optional<T>>::value, ""); 4401afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant } 4501afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant { 4601afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant typedef X T; 4701afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant static_assert(!std::is_trivially_destructible<T>::value, ""); 4801afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant static_assert(!std::is_trivially_destructible<std::optional<T>>::value, ""); 4901afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant { 5001afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant X x; 5101afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant std::optional<X> opt{x}; 5201afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant assert(X::dtor_called == false); 5301afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant } 5401afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant assert(X::dtor_called == true); 5501afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant } 5601afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant#endif // _LIBCPP_STD_VER > 11 5701afa5c6e407e985d9643707d7b7ab1384bd9317Howard Hinnant} 58