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 ------- 1 file changed, 7 deletions(-) (limited to 'csource/csource.go') 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() -- cgit mrf-deployment