diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2015-12-23 19:58:15 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2015-12-23 19:58:15 +0100 |
| commit | 58509c75a2a2d472855da0683c36d7ef2f1a6c97 (patch) | |
| tree | 01a5a400dc703bac7b8003aa2344ba36b24beb96 /csource | |
| parent | 078517990325cd52828f3ba2d74ced12fc412db8 (diff) | |
prog: remove padding checking
So far it has found only false positives.
Let's leave this to KMSAN.
Diffstat (limited to 'csource')
| -rw-r--r-- | csource/csource.go | 7 | ||||
| -rw-r--r-- | csource/csource_test.go | 2 |
2 files changed, 2 insertions, 7 deletions
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) |