(node *ast.Node)
| 2151 | } |
| 2152 | |
| 2153 | func (b *Binder) bindLabeledStatement(node *ast.Node) { |
| 2154 | stmt := node.AsLabeledStatement() |
| 2155 | postStatementLabel := b.createBranchLabel() |
| 2156 | b.activeLabelList = &ActiveLabel{ |
| 2157 | next: b.activeLabelList, |
| 2158 | name: stmt.Label.Text(), |
| 2159 | breakTarget: postStatementLabel, |
| 2160 | continueTarget: nil, |
| 2161 | referenced: false, |
| 2162 | } |
| 2163 | b.bind(stmt.Label) |
| 2164 | b.bind(stmt.Statement) |
| 2165 | if !b.activeLabelList.referenced { |
| 2166 | // Mark the label as unused; the checker will decide whether to report it |
| 2167 | stmt.Label.Flags |= ast.NodeFlagsUnreachable |
| 2168 | } |
| 2169 | b.activeLabelList = b.activeLabelList.next |
| 2170 | b.addAntecedent(postStatementLabel, b.currentFlow) |
| 2171 | b.currentFlow = b.finishFlowLabel(postStatementLabel) |
| 2172 | } |
| 2173 | |
| 2174 | func (b *Binder) bindPrefixUnaryExpressionFlow(node *ast.Node) { |
| 2175 | expr := node.AsPrefixUnaryExpression() |
no test coverage detected