Mercurial > hg > CbC > CbC_gcc
annotate gcc/testsuite/g++.dg/warn/pr94038-3.C @ 158:494b0b89df80 default tip
...
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 25 May 2020 18:13:55 +0900 |
parents | 2b5abeee2509 |
children |
rev | line source |
---|---|
152 | 1 // PR c++/94038 |
2 // { dg-do compile { target c++20 } } | |
3 // { dg-additional-options "-Wall" } | |
4 | |
5 template<typename T> | |
6 constexpr int foo() { | |
7 return T::x; | |
8 } | |
9 | |
10 constexpr bool bar(bool a) { return a; } | |
11 | |
12 template<typename T> | |
13 concept C = foo<T>() == 0; | |
14 | |
15 static_assert(decltype(bar(C<int>)){} == false); |