blob: ff6f40d918fc1bd1f01598b7f7a9eab46fb7db7d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
// { dg-do compile }
// { dg-options "-std=gnu++11 -pedantic" }
template<typename T>
struct is_float
{
static constexpr bool value = false;
};
template<>
struct is_float<float>
{
static constexpr bool value = true;
};
template<typename T>
T
float_thing(T __x)
{
static_assert(is_float<T>::value, ""); // { dg-error "static assertion failed" }
static_assert(is_float<T>::value); // { dg-error "static assertion failed" }
}
int
main()
{
float_thing(1);
}
// { dg-warning "static_assert without a message only available with " "" { target *-*-* } 21 }
|