File: main.cpp

package info (click to toggle)
cbmc 6.6.0-4
  • links: PTS
  • area: main
  • in suites: forky, sid, trixie
  • size: 153,852 kB
  • sloc: cpp: 386,459; ansic: 114,466; java: 28,405; python: 6,003; yacc: 4,552; makefile: 4,041; lex: 2,487; xml: 2,388; sh: 2,050; perl: 557; pascal: 184; javascript: 163; ada: 36
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()
{
}