BUG_ON(!cfqq->queued[sync]); cfqq->queued[sync]--; 
cfq_update_next_crq(crq); 
static inline void cfq_del_crq_rb(struct cfq_rq *crq){	struct cfq_queue *cfqq = crq->cfq_queue;	if (ON_RB(&crq->rb_node)) {		struct cfq_data *cfqd = cfqq->cfqd;		const int sync = cfq_crq_is_sync(crq);		BUG_ON(!cfqq->queued[sync]);		cfqq->queued[sync]--;		cfq_update_next_crq(crq);		rb_erase(&crq->rb_node, &cfqq->sort_list);		RB_CLEAR_COLOR(&crq->rb_node);		if (cfq_cfqq_on_rr(cfqq) && RB_EMPTY(&cfqq->sort_list))			cfq_del_cfqq_rr(cfqd, cfqq);	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/b4878f245ec8e168cdd1f170f823a750b7dd4af5/cfq-iosched.c/buggy/drivers/block/cfq-iosched.c