1c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant//===----------------------------------------------------------------------===//
2c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant//
3c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant//                     The LLVM Compiler Infrastructure
4c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant//
5b64f8b07c104c6cc986570ac8ee0ed16a9f23976Howard Hinnant// This file is dual licensed under the MIT and the University of Illinois Open
6b64f8b07c104c6cc986570ac8ee0ed16a9f23976Howard Hinnant// Source Licenses. See LICENSE.TXT for details.
7c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant//
8c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant//===----------------------------------------------------------------------===//
9c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant
10c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// <memory>
11c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant
12c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// template <class T>
13c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// struct pointer_traits<T*>
14c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// {
15c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant//     static pointer pointer_to(<details>);
16c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant//     ...
17c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// };
18c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant
19c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant#include <memory>
20c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant#include <cassert>
21c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant
22c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantint main()
23c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{
24c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    {
25c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        int i = 0;
26c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        int* a = std::pointer_traits<int*>::pointer_to(i);
27c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        assert(a = &i);
28c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    }
29c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    {
30c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        (std::pointer_traits<void*>::element_type)0;
31c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    }
32c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant}
33