diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-04-16 17:38:36 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-04-19 10:26:57 +0200 |
| commit | 90d17ab8980674c6a59f47a062adccb37f99b88a (patch) | |
| tree | 63c96e2abc46f63d9092f07b16c8e70458b11444 /prog/rand.go | |
| parent | 0781895e0f8359843b9215ac6ad16925a46b2703 (diff) | |
prog: introduce call attributes
Add common infrastructure for syscall attributes.
Add few attributes we want, but they are not implemented for now
(don't affect behavior, this will follow).
Diffstat (limited to 'prog/rand.go')
| -rw-r--r-- | prog/rand.go | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/prog/rand.go b/prog/rand.go index c761d0b40..b350e31c0 100644 --- a/prog/rand.go +++ b/prog/rand.go @@ -555,6 +555,9 @@ func (r *randGen) generateCall(s *state, p *Prog, insertionPoint int) []*Call { } func (r *randGen) generateParticularCall(s *state, meta *Syscall) (calls []*Call) { + if meta.Attrs.Disabled { + panic(fmt.Sprintf("generating disabled call %v", meta.Name)) + } c := &Call{ Meta: meta, Ret: MakeReturnArg(meta.Ret), |