codeql/rust-all
0.1.11
For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
Holds if node is lacking a successor.
node
import codeql.controlflow.Cfg
predicate deadEnd(Node node)