From 91db3ed8ce2dc73444bcd649f8003cbe96fcb227 Mon Sep 17 00:00:00 2001
From: Dmitry Vyukov <dvyukov@google.com>
Date: Sat, 18 Apr 2020 17:09:59 +0200
Subject: prog: add ignore_return and breaks_returns call attribtues

We had these hard-coded for fuchsia and linux accordingly.
Replace with call attributes.
---
 executor/executor.cc | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'executor/executor.cc')

diff --git a/executor/executor.cc b/executor/executor.cc
index 64d84c394..4e6a37055 100644
--- a/executor/executor.cc
+++ b/executor/executor.cc
@@ -1078,6 +1078,10 @@ void execute_call(thread_t* th)
 	th->reserrno = errno;
 	if (th->res == -1 && th->reserrno == 0)
 		th->reserrno = EINVAL; // our syz syscalls may misbehave
+	if (call->attrs.ignore_return) {
+		th->res = 0;
+		th->reserrno = 0;
+	}
 	if (flag_coverage) {
 		cover_collect(&th->cov);
 		if (th->cov.size >= kCoverSize)
-- 
cgit mrf-deployment