Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/g++.dg/cpp1y/constexpr-type-def1.C @ 131:84e7813d76e9
gcc-8.2
author | mir3636 |
---|---|
date | Thu, 25 Oct 2018 07:37:49 +0900 |
parents | 04ced10e8804 |
children |
line wrap: on
line source
// PR c++/55250 // { dg-do compile { target c++14 } } #define SA(X) static_assert((X),#X) constexpr int Test1(int x) { enum E { y = 1 }; return x + y; } constexpr int Test2(int x) { struct T { constexpr operator int() { return 1; } }; return x + T(); } constexpr int Test3(int x) { typedef enum E { y = 1 } EE; return x + EE::y; } constexpr int Test4(int x) { typedef struct T { constexpr operator int() { return 1; } } TT; return x + TT(); } constexpr int Test5(int x) { using EE = enum E { y = 1 }; return x + EE::y; } constexpr int Test6(int x) { using TT = struct T { constexpr operator int() { return 1; } }; return x + TT(); } SA(Test1(2) == 3); SA(Test2(2) == 3); SA(Test3(2) == 3); SA(Test4(2) == 3); SA(Test5(2) == 3); SA(Test6(2) == 3); struct S1 { constexpr S1() { enum E { y = 1 }; SA(y == 1); } }; struct S2 { constexpr S2() { struct T { constexpr operator int() { return 1; } }; SA(T() == 1); } }; struct S3 { constexpr S3() { typedef enum E { y = 1} EE; SA(EE::y == 1); } }; struct S4 { constexpr S4() { typedef struct T { constexpr operator int() { return 1; } } TT; SA(TT() == 1); } }; struct S5 { constexpr S5() { using EE = enum E { y = 1}; SA(EE::y == 1); } }; struct S6 { constexpr S6() { using TT = struct T { constexpr operator int() { return 1; } }; SA(TT() == 1); } }; S1 s1; S2 s2; S3 s3; S4 s4; S5 s5; S6 s6;