BUG_ON(index > SG_MEMPOOL_NR); 
BUG_ON(index >= SG_MEMPOOL_NR); 
static void scsi_free_sgtable(struct scatterlist *sgl, int index){	struct scsi_host_sg_pool *sgp;	BUG_ON(index > SG_MEMPOOL_NR);	sgp = scsi_sg_pools + index;	mempool_free(sgl, sgp->pool);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/a77e3362a224212d9d3b9e6fdec44df2eef6cf92/scsi_lib.c/buggy/drivers/scsi/scsi_lib.c