ST_NONE
f->f_un.f_tls.tls_conn->state == ST_NONE)
assert(conn_info->state == ST_NONE);
ST_CHANGE(conn_info->state, ST_NONE);
ST_CHANGE(conn_info->state, ST_NONE);
assert(conn_info->state == ST_NONE);
assert(conn_info->state == ST_NONE);
|| conn_info->state == ST_NONE);
ST_CHANGE(conn_info->state, ST_NONE);
assert(conn_info->state == ST_NONE);
&& (conn_info->state != ST_NONE)
ST_CHANGE(conn_info->state, ST_NONE);
|| conn_info->state == ST_NONE);
ST_CHANGE(conn_info->state, ST_NONE);