table_rule_width(struct table *t)
{
    if (t->border_mode == BORDER_NONE)
	return 1;
    return RULE_WIDTH;
}

The product contains an iteration or loop with an exit condition that cannot be reached, i.e., an infinite loop.