CodeQL library for Python
Search

Predicate function_can_never_return

Holds if it can be determined from the control flow graph alone that this function can never return

Import path

import python
predicate function_can_never_return(FunctionObject func)