From e747ec987b53b3b5ff8886c871f2c33a2a8e5631 Mon Sep 17 00:00:00 2001 From: Dmitry Vyukov Date: Wed, 26 Dec 2018 22:06:07 +0100 Subject: pkg/csource: fix PRINTF removal PRINTF now accepts arguments. --- pkg/csource/csource.go | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'pkg/csource/csource.go') diff --git a/pkg/csource/csource.go b/pkg/csource/csource.go index decb0813c..6b86d98d7 100644 --- a/pkg/csource/csource.go +++ b/pkg/csource/csource.go @@ -405,8 +405,8 @@ func (ctx *context) postProcess(result []byte) []byte { result = regexp.MustCompile(`\t*NONFAILING\((.*)\);\n`).ReplaceAll(result, []byte("$1;\n")) } result = bytes.Replace(result, []byte("NORETURN"), nil, -1) - result = bytes.Replace(result, []byte("PRINTF"), nil, -1) result = bytes.Replace(result, []byte("doexit("), []byte("exit("), -1) + result = regexp.MustCompile(`PRINTF\(.*?\)`).ReplaceAll(result, nil) result = regexp.MustCompile(`\t*debug\((.*\n)*?.*\);\n`).ReplaceAll(result, nil) result = regexp.MustCompile(`\t*debug_dump_data\((.*\n)*?.*\);\n`).ReplaceAll(result, nil) result = regexp.MustCompile(`\t*exitf\((.*\n)*?.*\);\n`).ReplaceAll(result, []byte("\texit(1);\n")) -- cgit mrf-deployment