File: main.c

package info (click to toggle)
cbmc 5.12-5
  • links: PTS
  • area: main
  • in suites: bullseye
  • size: 92,512 kB
  • sloc: cpp: 301,761; ansic: 51,699; java: 27,534; python: 5,113; yacc: 4,756; makefile: 3,184; lex: 2,749; sh: 1,347; perl: 555; xml: 404; pascal: 203; ada: 36
file content (124 lines) | stat: -rw-r--r-- 1,343 bytes parent folder | download | duplicates (2)
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
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
#ifdef _MSC_VER

// Visual Studio has __builtin_alignof, but gcc doesn't!
int int_align=__builtin_alignof(int);

int int_align2=__alignof(int);

void f1() { __asm { mov ax, ax } }

void f2() { __assume(1); }

int *pBased;
typedef int __based(pBased) * pBasedPtr;

// __box

void __cdecl f3();

__declspec(thread) int thread_local;

struct __declspec(dllimport) some_struct_tag { int x; };

//__delegate int GetDayOfWeek();

// __event

void f4()
{
  __try { } __except(1) { }
}

void __fastcall f5();

void f6()
{
  __try { } __finally { }
}

void __forceinline f7();

// __gc

// __hook

//void __identifier(void);

__if_exists(asd) { };

__if_not_exists(asd) { };

__inline void f8();

__int16 i16;

__int32 i32;

_int64 i64_with_just_one_underscore;

__int64 i64;

__int8 i8;

// __interface

void f9()
{
  __try { __leave; } __finally { }
}

//__m128 var_m128;

//__m128d var_m128d;

//__m128i var_m128i;

//__m64 var_m64;

// __multiple_inheritance

// __nogc

// __noop

// __pin

// __property

// __raise

// __sealed

// __single_inheritance

void __stdcall f10();

// __super

// __thiscall

// __try/__except, __try/__finally

// __try_cast

int __unaligned *unaligned_int_ptr;

// __unhook

// __uuidof

// __value

// __virtual_inheritance

// __w64

// __wchar_t some_wchar;

// wchar_t some_other_wchar;

#endif

int main()
{
}