Reports unreachable labels.