An analysis to identify functions that never return to their caller. This only counts calls to exit, abort, or similar. Notably, exceptions are not considered since the caller can catch those.

The dataflow fact is Function does not return. It starts at False (top) and calls to termination functions (or the unreachable instruction) move it to True.

Meet is &&. Functions are able to return as long as at least one path can return.