From b25fc7b83119e8dca728a199fd92e24dd4c33fa4 Mon Sep 17 00:00:00 2001
From: Dmitry Vyukov <dvyukov@google.com>
Date: Thu, 26 Jul 2018 19:38:24 +0200
Subject: pkg/csource: add option to trace syscall results

This will be needed for testing of generated programs.
---
 pkg/csource/generated.go | 11 +++++++++++
 1 file changed, 11 insertions(+)

(limited to 'pkg/csource/generated.go')

diff --git a/pkg/csource/generated.go b/pkg/csource/generated.go
index 7cd6f8777..7be8ca329 100644
--- a/pkg/csource/generated.go
+++ b/pkg/csource/generated.go
@@ -15,6 +15,10 @@ var commonHeader = `
 #include <stdlib.h>
 #include <string.h>
 
+#if SYZ_TRACE
+#include <errno.h>
+#endif
+
 #if SYZ_EXECUTOR && !GOOS_linux
 #include <unistd.h>
 NORETURN void doexit(int status)
@@ -3612,6 +3616,9 @@ static void loop()
 #if SYZ_REPRO
 	if (write(1, "executing program\n", sizeof("executing program\n") - 1)) {
 	}
+#endif
+#if SYZ_TRACE
+	printf("### start\n");
 #endif
 	int call, thread;
 #if SYZ_COLLIDE
@@ -3684,7 +3691,11 @@ static void loop()
 		fail("pipe failed");
 #endif
 	int iter;
+#if SYZ_REPEAT_TIMES
+	for (iter = 0; iter < [[REPEAT_TIMES]]; iter++) {
+#else
 	for (iter = 0;; iter++) {
+#endif
 #if SYZ_EXECUTOR || SYZ_USE_TMP_DIR
 		char cwdbuf[32];
 		sprintf(cwdbuf, "./%d", iter);
-- 
cgit mrf-deployment