File: main.cpp

package info (click to toggle)
cbmc 5.10-5
  • links: PTS
  • area: main
  • in suites: buster
  • size: 73,416 kB
  • sloc: cpp: 264,330; ansic: 38,268; java: 19,025; python: 4,539; yacc: 4,275; makefile: 2,547; lex: 2,394; sh: 932; perl: 525; xml: 289; pascal: 169
file content (31 lines) | stat: -rw-r--r-- 1,414 bytes parent folder | download | duplicates (5)
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
31
#include <type_traits>

static_assert(!std::is_array<char>::value, "is_array<char>");
static_assert(std::is_array<char[]>::value, "is_array<char[]>");
static_assert(!std::is_array<char *>::value, "is_array<char *>");

static_assert(!std::is_class<char>::value, "is_class<char>");
static_assert(std::is_class<class some_class>::value, "is_class<class>");

enum some_enum { E1 };
static_assert(!std::is_enum<char>::value, "is_enum<char>");
static_assert(std::is_enum<some_enum>::value, "is_enum<some_enum>");
static_assert(!std::is_enum<int>::value, "is_enum<int>");

static_assert(std::is_floating_point<float>::value, "is_floating_point<float>");
static_assert(std::is_floating_point<double>::value, "is_floating_point<double>");
static_assert(!std::is_floating_point<some_enum>::value, "is_floating_point<some_enum>");

static_assert(!std::is_function<float>::value, "is_function<float>");
static_assert(std::is_function<void(void)>::value, "is_function<void(void)>");
static_assert(!std::is_function<void(*)(void)>::value, "is_function<void(*)(void)>");

static_assert(std::is_integral<char>::value, "is_integral<char>");
static_assert(std::is_integral<int>::value, "is_integral<int>");
static_assert(std::is_integral<bool>::value, "is_integral<bool>");
static_assert(!std::is_integral<float>::value, "is_integral<float>");
static_assert(!std::is_integral<double>::value, "is_integral<double>");

int main()
{
}