From 932a0a0dc74e7f3f5486b27216f3698a74084673 Mon Sep 17 00:00:00 2001 From: Dmitry Vyukov Date: Mon, 15 Apr 2024 10:37:33 +0200 Subject: pkg/csource: remove akaros quirk --- pkg/csource/csource.go | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) (limited to 'pkg/csource') diff --git a/pkg/csource/csource.go b/pkg/csource/csource.go index b1cc2368b..53821a854 100644 --- a/pkg/csource/csource.go +++ b/pkg/csource/csource.go @@ -272,12 +272,10 @@ func (ctx *context) generateCalls(p prog.ExecProg, trace bool) ([]string, []uint ctx.emitCall(w, call, ci, resCopyout || argCopyout, trace) if call.Props.Rerun > 0 { - // TODO: remove this legacy C89-style definition once we figure out what to do with Akaros. - fmt.Fprintf(w, "\t{\n\tint i;\n") - fmt.Fprintf(w, "\tfor(i = 0; i < %v; i++) {\n", call.Props.Rerun) + fmt.Fprintf(w, "\tfor (int i = 0; i < %v; i++) {\n", call.Props.Rerun) // Rerun invocations should not affect the result value. ctx.emitCall(w, call, ci, false, false) - fmt.Fprintf(w, "\t\t}\n\t}\n") + fmt.Fprintf(w, "\t}\n") } // Copyout. if resCopyout || argCopyout { -- cgit mrf-deployment