Does this work.

vmcj · eldering · commit c4e2560f4230 · 2025-08-17T10:00:56.000Z
diff --git a/judge/runguard.cc b/judge/runguard.cc
@@ -234,7 +234,7 @@ void verbose(const char *format, ...)
 void verbose_from_signalhandler(const char* msg)
 {
 	if (!be_quiet && be_verbose) {
-		std::ignore = write(STDERR_FILENO, msg, strlen(msg));
+		static_cast<void>(write(STDERR_FILENO, msg, strlen(msg)));
 	}
 }
 

Original file line number	Diff line number	Diff line change
`@@ -234,7 +234,7 @@ void verbose(const char *format, ...)`
`234`	`234`	`void verbose_from_signalhandler(const char* msg)`
`235`	`235`	`{`
`236`	`236`	`if (!be_quiet && be_verbose) {`
`237`		`- std::ignore = write(STDERR_FILENO, msg, strlen(msg));`
	`237`	`+ static_cast<void>(write(STDERR_FILENO, msg, strlen(msg)));`
`238`	`238`	`}`
`239`	`239`	`}`
`240`	`240`