mirror of
https://github.com/github/codeql.git
synced 2026-05-14 19:29:28 +02:00
3f0cdcc405
This looks for nodes annotated with `t[never]` in the test that are reachable in the CFG. This should not happen (it messes with various queries, e.g. the "mixed returns" query), but the test shows that in a few particular cases (involving the `match` statement where all cases contain `return`s), we _do_ have reachable nodes that shouldn't be.