infer_clone/infer/documentation/issues/EXECUTION_TIME_UNREACHABLE_AT_EXIT.md

This issue type indicates that the program's execution doesn't reach the exit node. Hence, we cannot compute a static bound for the procedure.

Examples:

void exit_unreachable() {
  exit(0); // modeled as unreachable
}


void infeasible_path_unreachable() {
    Preconditions.checkState(false); // like assert false, state pruned to bottom
}