diff options
| author | Andrey Konovalov <andreyknvl@google.com> | 2019-09-23 19:52:26 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2019-09-24 10:45:51 +0200 |
| commit | 5ff4e14cb180c466760b0d57241479a300d0d8e5 (patch) | |
| tree | 9bb93a977a8fa2381b2b22e799674f40c4b81f80 /pkg | |
| parent | aac00cc3dbd739bd53b8b2e64b36ac171e03c028 (diff) | |
pkg/runtest: allow empty signal
Diffstat (limited to 'pkg')
| -rw-r--r-- | pkg/runtest/run.go | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/pkg/runtest/run.go b/pkg/runtest/run.go index e380ad490..0248b0b31 100644 --- a/pkg/runtest/run.go +++ b/pkg/runtest/run.go @@ -475,8 +475,10 @@ func checkResult(req *RunRequest) error { if req.Cfg.Flags&ipc.FlagSignal != 0 { // Signal is always deduplicated, so we may not get any signal // on a second invocation of the same syscall. + // For calls that are not meant to collect synchronous coverage we + // allow the signal to be empty as long as the extra signal is not. callName := req.P.Calls[i].Meta.CallName - if len(inf.Signal) < 2 && !calls[callName] { + if len(inf.Signal) < 2 && !calls[callName] && len(info.Extra.Signal) == 0 { return fmt.Errorf("run %v: call %v: no signal", run, i) } if len(inf.Cover) == 0 { |