BUG_ON(!test_bit(nid, pol->v.nodes)); 
static unsigned offset_il_node(struct mempolicy *pol,		struct vm_area_struct *vma, unsigned long off){	unsigned nnodes = bitmap_weight(pol->v.nodes, MAX_NUMNODES);	unsigned target = (unsigned)off % nnodes;	int c;	int nid = -1;	c = 0;	do {		nid = find_next_bit(pol->v.nodes, MAX_NUMNODES, nid+1);		c++;	} while (c <= target);	BUG_ON(nid >= MAX_NUMNODES);	BUG_ON(!test_bit(nid, pol->v.nodes));	return nid;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/dfcd3c0dc426bb75770c34b40e14f2da8845ea62/mempolicy.c/buggy/mm/mempolicy.c