File: main.c

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 (129 lines) | stat: -rw-r--r-- 1,431 bytes parent folder | download
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
125
126
127
128
129
#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; };

typedef union __declspec(intrin_type) __declspec(align(8)) u {
  int x;
  int y;
} u2;

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