1// { dg-options "-std=gnu++11" } 2// { dg-do compile } 3 4// Copyright (C) 2011-2015 Free Software Foundation, Inc. 5// 6// This file is part of the GNU ISO C++ Library. This library is free 7// software; you can redistribute it and/or modify it under the 8// terms of the GNU General Public License as published by the 9// Free Software Foundation; either version 3, or (at your option) 10// any later version. 11// 12// This library is distributed in the hope that it will be useful, 13// but WITHOUT ANY WARRANTY; without even the implied warranty of 14// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 15// GNU General Public License for more details. 16// 17// You should have received a copy of the GNU General Public License along 18// with this library; see the file COPYING3. If not see 19// <http://www.gnu.org/licenses/>. 20 21#include <type_traits> 22#include <testsuite_tr1.h> 23 24void test01() 25{ 26 using std::is_member_object_pointer; 27 using namespace __gnu_test; 28 29 // Positive tests. 30 static_assert(test_category<is_member_object_pointer, 31 int (ClassType::*)>(true), ""); 32 static_assert(test_category<is_member_object_pointer, 33 const int (ClassType::*)>(true), ""); 34 static_assert(test_category<is_member_object_pointer, 35 ClassType (ClassType::*)>(true), ""); 36 37 // Negative tests. 38 static_assert(test_category<is_member_object_pointer, 39 int (ClassType::*) (int)>(false), ""); 40 static_assert(test_category<is_member_object_pointer, 41 int (ClassType::*) (int) const>(false), ""); 42 static_assert(test_category<is_member_object_pointer, 43 int (ClassType::*) (float, ...)>(false), ""); 44 static_assert(test_category<is_member_object_pointer, 45 ClassType (ClassType::*) (ClassType)>(false), ""); 46 static_assert(test_category<is_member_object_pointer, 47 float (ClassType::*) (int, float, int[], int&)>(false), ""); 48 49 // Sanity check. 50 static_assert(test_category<is_member_object_pointer, ClassType>(false), ""); 51} 52 53int main() 54{ 55 test01(); 56 return 0; 57} 58