gcc/testsuite/g++.dg/cpp0x/static_assert13.C

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