Viewing file:  static_assert3.C (1.48 KB) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
// PR c++/97518
// { dg-do compile { target c++17 } }
// { dg-options "-fdiagnostics-show-caret" }
template <typename T, typename U> struct is_same { static constexpr bool value = false; };
template <typename T> struct is_same<T, T> { static constexpr bool value = true; };
template <typename T, typename U>
void f(T, U)
{
static_assert(is_same<T, T>::value && is_same<T, U>::value); // { dg-error "56:static assertion failed" }
/* { dg-begin-multiline-output "" }
static_assert(is_same<T, T>::value && is_same<T, U>::value);
^~~~~
{ dg-end-multiline-output "" } */
// { dg-message ".is_same<int, double>::value. evaluates to false" "" { target *-*-* } .-5 }
static_assert(is_same<U, T>::value && is_same<U, U>::value); // { dg-error "32:static assertion failed" }
/* { dg-begin-multiline-output "" }
static_assert(is_same<U, T>::value && is_same<U, U>::value);
^~~~~
{ dg-end-multiline-output "" } */
// { dg-message ".is_same<double, int>::value. evaluates to false" "" { target *-*-* } .-5 }
static_assert(is_same<U, U>::value
&& is_same<U, T>::value // { dg-error "35:static assertion failed" }
&& is_same<T, T>::value);
/* { dg-begin-multiline-output "" }
&& is_same<U, T>::value
^~~~~
{ dg-end-multiline-output "" } */
// { dg-message ".is_same<double, int>::value. evaluates to false" "" { target *-*-* } .-6 }
}
void g()
{
f(0, 1.3);
}
|
