mirror of
https://github.com/github/codeql.git
synced 2025-12-17 09:13:20 +01:00
15 lines
541 B
C++
15 lines
541 B
C++
__declspec(noreturn) extern void fatal();
|
|
__declspec(dllimport) int imported();
|
|
__declspec(dllexport) int exported() { return 4; }
|
|
__declspec(deprecated("Use fatal() instead")) extern void exit();
|
|
__declspec(naked) int no_clothes() {}
|
|
__declspec(restrict) float* ma(int size);
|
|
__declspec(noalias) void multiply(float* a, float* b, float* c);
|
|
class X {
|
|
__declspec(noinline) int mbrfunc() {
|
|
return 0;
|
|
} // will not inline
|
|
};
|
|
static __declspec(nothrow, safebuffers) int noCheckBuffers();
|
|
// semmle-extractor-options: --microsoft
|