Reports an unused label.