diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-07-30 11:17:44 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-07-30 11:17:44 +0200 |
| commit | b8bd991ee2f77d225913d41c57b9a420b4559900 (patch) | |
| tree | c22f43364ce37ca765773db94f24716bbe4a8078 /pkg/csource/generated.go | |
| parent | 1a381291a38fbca36a7fd1ca142e4cee7794e3b1 (diff) | |
executor: make current_time_ms/sleep_ms
Fix conditions for when current_time_ms/sleep_ms are used
and make them static.
Diffstat (limited to 'pkg/csource/generated.go')
| -rw-r--r-- | pkg/csource/generated.go | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/pkg/csource/generated.go b/pkg/csource/generated.go index d5b0807ed..753da4690 100644 --- a/pkg/csource/generated.go +++ b/pkg/csource/generated.go @@ -102,17 +102,17 @@ static void install_segv_handler() #endif #if !GOOS_windows -#if SYZ_EXECUTOR || SYZ_THREADED || SYZ_REPEAT +#if SYZ_EXECUTOR || SYZ_THREADED || SYZ_REPEAT && SYZ_EXECUTOR_USES_FORK_SERVER static void sleep_ms(uint64 ms) { usleep(ms * 1000); } #endif -#if SYZ_EXECUTOR || SYZ_THREADED || SYZ_REPEAT +#if SYZ_EXECUTOR || SYZ_THREADED || SYZ_REPEAT && SYZ_EXECUTOR_USES_FORK_SERVER #include <time.h> -uint64 current_time_ms() +static uint64 current_time_ms() { struct timespec ts; if (clock_gettime(CLOCK_MONOTONIC, &ts)) @@ -3433,14 +3433,14 @@ static void install_segv_handler() } #endif -#if SYZ_EXECUTOR || SYZ_REPEAT -uint64 current_time_ms() +#if SYZ_EXECUTOR || SYZ_THREADED || SYZ_REPEAT && SYZ_EXECUTOR_USES_FORK_SERVER +static uint64 current_time_ms() { return GetTickCount64(); } #endif -#if SYZ_EXECUTOR || SYZ_THREADED || SYZ_REPEAT +#if SYZ_EXECUTOR || SYZ_THREADED || SYZ_REPEAT && SYZ_EXECUTOR_USES_FORK_SERVER static void sleep_ms(uint64 ms) { Sleep(ms); @@ -3772,7 +3772,6 @@ static void loop() #else static void loop() { - (void)sleep_ms; execute_one(); } #endif |