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/csource.go | |
| 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/csource.go')
| -rw-r--r-- | csource/csource.go | 7 |
1 files changed, 0 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() |