if (hcrx == NULL) return; 
BUG_ON(hcrx == NULL); 
static void ccid3_hc_rx_get_info(struct sock *sk, struct tcp_info *info){	const struct ccid3_hc_rx_sock *hcrx = ccid3_hc_rx_sk(sk);	if (hcrx == NULL)		return;	info->tcpi_ca_state	= hcrx->ccid3hcrx_state;	info->tcpi_options	|= TCPI_OPT_TIMESTAMPS;	info->tcpi_rcv_rtt	= hcrx->ccid3hcrx_rtt;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/59d203f9e989c81defc2cb1c559d678e16dbe684/ccid3.c/clean/net/dccp/ccids/ccid3.c