1 // Copyright (C) 2015-2018 Free Software Foundation, Inc.
2 //
3 // This file is part of the GNU ISO C++ Library.  This library is free
4 // software; you can redistribute it and/or modify it under the
5 // terms of the GNU General Public License as published by the
6 // Free Software Foundation; either version 3, or (at your option)
7 // any later version.
8 
9 // This library is distributed in the hope that it will be useful,
10 // but WITHOUT ANY WARRANTY; without even the implied warranty of
11 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
12 // GNU General Public License for more details.
13 
14 // You should have received a copy of the GNU General Public License along
15 // with this library; see the file COPYING3.  If not see
16 // <http://www.gnu.org/licenses/>.
17 
18 // { dg-do run { target c++14 } }
19 
20 #include <experimental/any>
21 #include <cstdint>
22 #include <testsuite_hooks.h>
23 
24 // Alignment requiremnts of this type prevent it being stored in 'any'
25 struct alignas(2 * alignof(void*)) X { };
26 
27 bool
stored_internally(void * obj,const std::experimental::any & a)28 stored_internally(void* obj, const std::experimental::any& a)
29 {
30   std::uintptr_t a_addr = reinterpret_cast<std::uintptr_t>(&a);
31   std::uintptr_t a_end = a_addr + sizeof(a);
32   std::uintptr_t obj_addr = reinterpret_cast<std::uintptr_t>(obj);
33   return (a_addr <= obj_addr) && (obj_addr < a_end);
34 }
35 
36 void
test01()37 test01()
38 {
39   std::experimental::any a = X{};
40   X& x = std::experimental::any_cast<X&>(a);
41   VERIFY( !stored_internally(&x, a) );
42 
43   a = 'X';
44   char& c = std::experimental::any_cast<char&>(a);
45   VERIFY( stored_internally(&c, a) );
46 }
47 
48 int
main()49 main()
50 {
51   test01();
52 }
53