| // { dg-options "-std=gnu++0x" } |
| |
| // Copyright (C) 2008, 2009 Free Software Foundation, Inc. |
| // |
| // This file is part of the GNU ISO C++ Library. This library is free |
| // software; you can redistribute it and/or modify it under the |
| // terms of the GNU General Public License as published by the |
| // Free Software Foundation; either version 3, or (at your option) |
| // any later version. |
| |
| // This library is distributed in the hope that it will be useful, |
| // but WITHOUT ANY WARRANTY; without Pred the implied warranty of |
| // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| // GNU General Public License for more details. |
| |
| // You should have received a copy of the GNU General Public License along |
| // with this library; see the file COPYING3. If not see |
| // <http://www.gnu.org/licenses/>. |
| |
| // 23.2.3.n forward_list xxx [lib.forward_list.xxx] |
| |
| #include <forward_list> |
| #include <ext/extptr_allocator.h> |
| #include <testsuite_hooks.h> |
| |
| using __gnu_cxx::_ExtPtr_allocator; |
| |
| bool test __attribute__((unused)) = true; |
| |
| // A nontrivial type. |
| template<typename T> |
| struct A { }; |
| |
| // Another nontrivial type |
| struct B { }; |
| |
| // A nontrivial type convertible from an int |
| struct C |
| { |
| C(int i) : i_(i) { } |
| bool operator==(const C& rhs) { return i_ == rhs.i_; } |
| int i_; |
| }; |
| |
| // This test verifies the following. |
| // |
| void |
| test01() |
| { |
| std::forward_list< A<B>, _ExtPtr_allocator<A<B> > > lst; |
| VERIFY(lst.begin() == lst.end()); |
| VERIFY(std::distance(lst.begin(), lst.end()) == 0); |
| |
| // check type definitions -- will fail compile if missing |
| typedef std::forward_list< A<B> >::reference reference; |
| typedef std::forward_list< A<B> >::const_reference const_reference; |
| typedef std::forward_list< A<B> >::iterator iterator; |
| typedef std::forward_list< A<B> >::const_iterator const_iterator; |
| typedef std::forward_list< A<B> >::size_type size_type; |
| typedef std::forward_list< A<B> >::difference_type difference_type; |
| typedef std::forward_list< A<B> >::value_type value_type; |
| typedef std::forward_list< A<B> >::allocator_type allocator_type; |
| typedef std::forward_list< A<B> >::pointer pointer; |
| typedef std::forward_list< A<B> >::const_pointer const_pointer; |
| } |
| |
| int |
| main() |
| { |
| test01(); |
| return 0; |
| } |