Have Iterate bounds checking call bcheckBlock
@@ -269,12 +269,10 @@ func (q *checker) bcheckStatement(n *a.Node) error {
v := o.AsVar()
q.facts = append(q.facts, makeSliceLengthEqEq(v.Name(), v.XType(), n.Length()))
}
- for _, o := range n.Body() {
- if err := q.bcheckStatement(o); err != nil {
+ if err := q.bcheckBlock(n.Body()); err != nil {
return err
}
}
- }
q.facts = q.facts[:0]
