File: main.c

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 (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()
{
}