From 90d17ab8980674c6a59f47a062adccb37f99b88a Mon Sep 17 00:00:00 2001
From: Dmitry Vyukov <dvyukov@google.com>
Date: Thu, 16 Apr 2020 17:38:36 +0200
Subject: 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).
---
 prog/rand.go | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'prog/rand.go')

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),
-- 
cgit mrf-deployment