protected override void VisitBlockSyntax(BlockSyntax pNode) { //Validate that deferred statements do not contain "return" statements //Report any unused variables if (pNode.Deferred && SyntaxHelper.LastStatementIsReturn(pNode)) { CompilerErrors.InvalidDefer(pNode.Span); } //Report any unused variables _locals.AddScope(); base.VisitBlockSyntax(pNode); foreach (var ld in _locals.GetVariablesInScope()) { if (!ld.IsReferenced) { CompilerErrors.VariableNeverUsed(ld.Name, ld.Span); } } _locals.RemoveScope(); }