Code nach einem `return`, `throw`, `break` oder `continue`, der niemals ausgeführt werden kann.
Jedes Beispiel zeigt genau die Codeform, nach der die Regel sucht, und dann die kleinste Version, die die Absicht bewahrt, ohne Risiken zu verstecken oder Rauschen hinzuzufügen.
function getStatus(order: Order): string {
if (order.cancelled) {
return 'cancelled'
log.info('cancelled order seen') // never runs
}
return order.status
}Deterministische Kontrollflussanalyse: beanstandet Anweisungen, die im selben Block auf einen unbedingten Abschluss folgen.
function getStatus(order: Order): string {
if (order.cancelled) {
log.info('cancelled order seen', { id: order.id })
return 'cancelled'
}
return order.status
}Verschiebe die Arbeit vor die abschließende Anweisung oder lösche sie. Soll die Anweisung nur in einem Zweig laufen, strukturiere den Zweig so um, dass der Kontrollfluss dem entspricht, was der Code optisch verspricht.
Wenn Agenten den Kontrollfluss refaktorieren, bleiben manchmal Anweisungen hinter einem return zurück. Der Code sieht aus, als täte er etwas; er tut nichts.
ai-slop/unreachable-code
ai-slop
Deterministische Kontrollflussanalyse: beanstandet Anweisungen, die im selben Block auf einen unbedingten Abschluss folgen.
Code nach einem bedingten return und Anweisungen, die über irgendeinen Zweig erreichbar sind, werden nicht beanstandet.
Herkunft: wiederholt in öffentlichen Scans als Überbleibsel von Kontrollfluss-Refactorings aufgetreten.