From 58509c75a2a2d472855da0683c36d7ef2f1a6c97 Mon Sep 17 00:00:00 2001 From: Dmitry Vyukov Date: Wed, 23 Dec 2015 19:58:15 +0100 Subject: prog: remove padding checking So far it has found only false positives. Let's leave this to KMSAN. --- csource/csource.go | 7 ------- csource/csource_test.go | 2 ++ 2 files changed, 2 insertions(+), 7 deletions(-) (limited to 'csource') diff --git a/csource/csource.go b/csource/csource.go index 5caa74af5..01d2152d5 100644 --- a/csource/csource.go +++ b/csource/csource.go @@ -161,13 +161,6 @@ loop: size := read() fmt.Fprintf(w, "\tif (r[%v] != -1)\n", lastCall) fmt.Fprintf(w, "\t\tr[%v] = *(uint%v_t*)0x%x;\n", n, size*8, addr) - case prog.ExecInstrSetPad: - newCall() - read() // addr - read() // size - case prog.ExecInstrCheckPad: - read() // addr - read() // size default: // Normal syscall. newCall() diff --git a/csource/csource_test.go b/csource/csource_test.go index 388ab0e1a..c3e535cf5 100644 --- a/csource/csource_test.go +++ b/csource/csource_test.go @@ -43,11 +43,13 @@ func testOne(t *testing.T, p *prog.Prog, opts Options) { src := Write(p, opts) srcf, err := fileutil.WriteTempFile(src) if err != nil { + t.Logf("program:\n%s\n", p.Serialize()) t.Fatalf("%v", err) } defer os.Remove(srcf) bin, err := Build(srcf) if err != nil { + t.Logf("program:\n%s\n", p.Serialize()) t.Fatalf("%v", err) } defer os.Remove(bin) -- cgit mrf-deployment