Structsยง
- Lint
AndRemove ๐Uninhabited - Lint unreachable code due to uninhabited values from function calls, and remove return edges from those calls.
Functionsยง
- find_
unreachable_ ๐code_ from - Starting at a target unreachable block, find some user code to lint as unreachable