From 3645389673af4c62a636cfe36f258ae770e8fb6b Mon Sep 17 00:00:00 2001 From: Dmitry Vyukov Date: Fri, 22 Dec 2017 11:47:04 +0100 Subject: pkg/csource: fix handling of proc types Generated program always uses pid=0 even when there are multiple processes. Make each process use own pid. Unfortunately required to do quite significant changes to prog, because the current format only supported fixed pid. Fixes #490 --- executor/common_linux.h | 1 + 1 file changed, 1 insertion(+) (limited to 'executor/common_linux.h') diff --git a/executor/common_linux.h b/executor/common_linux.h index 6c43907b2..90a873582 100644 --- a/executor/common_linux.h +++ b/executor/common_linux.h @@ -7,6 +7,7 @@ #define _GNU_SOURCE #endif +#include #include #include #if defined(SYZ_EXECUTOR) || defined(SYZ_THREADED) || defined(SYZ_COLLIDE) -- cgit mrf-deployment