1// Copyright (C) 2011-2015 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 compile } 19// { dg-options "-std=gnu++11" } 20 21#include <tr1/functional> 22 23struct X 24{ 25 int operator()() const { return 0; } 26 int operator()() volatile { return 1; } 27 int operator()() const volatile { return 2; } 28 void operator()() { }; 29}; 30 31void test01() 32{ 33 static_assert( std::tr1::is_placeholder<__typeof(std::tr1::placeholders::_1)>::value, 34 "decltype(_1) is a placeholder type" ); 35 36 const auto b0 = std::tr1::bind(X()); 37 static_assert( std::tr1::is_bind_expression<__typeof(b0)>::value, 38 "const-qualified wrapper is a bind expression" ); 39 40 volatile auto b1 = std::tr1::bind(X()); 41 static_assert( std::tr1::is_bind_expression<__typeof(b1)>::value, 42 "volatile-qualified wrapper is a bind expression" ); 43 44 const volatile auto b2 = std::tr1::bind(X()); 45 static_assert( std::tr1::is_bind_expression<__typeof(b2)>::value, 46 "const-volatile-qualified wrapper is a bind expression" ); 47} 48 49int main() 50{ 51 test01(); 52 return 0; 53} 54