pkg/prog: explain why syscalls are transitively disabled

2 files changed, 8 insertions, 13 deletions

diff --git a/tools/syz-mutate/mutate.go b/tools/syz-mutate/mutate.go
index 4cf3401bc..73957c246 100644
--- a/tools/syz-mutate/mutate.go
+++ b/tools/syz-mutate/mutate.go
@@ -45,12 +45,10 @@ func main() {
 		for id := range syscallsIDs {
 			syscalls[target.Syscalls[id]] = true
 		}
-		trans := target.TransitivelyEnabledCalls(syscalls)
-		for c := range syscalls {
-			if !trans[c] {
-				fmt.Fprintf(os.Stderr, "disabling %v\n", c.Name)
-				delete(syscalls, c)
-			}
+		var disabled map[*prog.Syscall]string
+		syscalls, disabled = target.TransitivelyEnabledCalls(syscalls)
+		for c, reason := range disabled {
+			fmt.Fprintf(os.Stderr, "disabling %v: %v\n", c.Name, reason)
 		}
 	}
 	seed := time.Now().UnixNano()
diff --git a/tools/syz-stress/stress.go b/tools/syz-stress/stress.go
index 73073c392..2736c2f6f 100644
--- a/tools/syz-stress/stress.go
+++ b/tools/syz-stress/stress.go
@@ -148,14 +148,11 @@ func buildCallList(target *prog.Target) map[*prog.Syscall]bool {
 		}
 	}
 	for c, reason := range disabled {
-		Logf(0, "disabling unsupported syscall: %v: %v", c.Name, reason)
+		Logf(0, "unsupported syscall: %v: %v", c.Name, reason)
 	}
-	trans := target.TransitivelyEnabledCalls(calls)
-	for c := range calls {
-		if !trans[c] {
-			Logf(0, "disabling transitively unsupported syscall: %v", c.Name)
-			delete(calls, c)
-		}
+	calls, disabled = target.TransitivelyEnabledCalls(calls)
+	for c, reason := range disabled {
+		Logf(0, "transitively unsupported: %v: %v", c.Name, reason)
 	}
 	return calls
 }