diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-12-13 11:51:33 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-12-17 11:39:14 +0100 |
| commit | 0da2fed84fb002e744806a36bddaf6787094e4a5 (patch) | |
| tree | 3f1ef4014bb290726bd955658d4f108254065575 | |
| parent | 2b4927e6ce74a5a6f71c647af9ef765f81ba2bff (diff) | |
prog: simplify MakeResultArg
Fixes #445
| -rw-r--r-- | prog/prog.go | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/prog/prog.go b/prog/prog.go index 913c62a7d..0fcf6b66e 100644 --- a/prog/prog.go +++ b/prog/prog.go @@ -232,15 +232,11 @@ func MakeResultArg(t Type, r Arg, v uint64) Arg { if r == nil { return arg } - if used, ok := r.(ArgUsed); ok { - if *used.Used() == nil { - *used.Used() = make(map[Arg]bool) - } - if (*used.Used())[arg] { - panic("already used") - } - (*used.Used())[arg] = true + used := r.(ArgUsed) + if *used.Used() == nil { + *used.Used() = make(map[Arg]bool) } + (*used.Used())[arg] = true return arg } |
