windows.c

Go to the documentation of this file.

/* FUNCTION: QueryPerformanceFrequency */
 
#ifdef _WIN32
#include <windows.h>
 
BOOL QueryPerformanceFrequency(LARGE_INTEGER *lpFrequency)
{
  __CPROVER_HIDE:;
  __int64 result;
  lpFrequency->QuadPart=result;
  __CPROVER_bool error;
  if(error) return 0;
  __CPROVER_assume(result!=0);
  return 1;
}
#endif
 
/* FUNCTION: ExitThread */
 
#ifdef _WIN32
#include <windows.h>
 
VOID ExitThread(DWORD dwExitCode)
{
  // never returns
  __CPROVER_assume(0);
}
#endif
 
/* FUNCTION: CreateThread */
 
#ifdef _WIN32
#include <windows.h>
 
HANDLE CreateThread(
  LPSECURITY_ATTRIBUTES lpThreadAttributes,
  SIZE_T dwStackSize,
  LPTHREAD_START_ROUTINE lpStartAddress,
  LPVOID lpParameter,
  DWORD dwCreationFlags,
  LPDWORD lpThreadId)
{
  __CPROVER_HIDE:;
  DWORD thread_id;
 
  if(lpThreadId) *lpThreadId=thread_id;
  __CPROVER_ASYNC_1: lpStartAddress(lpParameter);
 
  HANDLE handle;
  return handle;
}
#endif