Missing category in normal page display

Following up.

After upgrading to the latest WooCommerce (2.1.6 from 2.1.5) there is no longer a difference between the product categories widget and regular page display. Both of them were omitting the category. Or maybe I imagined the discrepancy. Hard to be sure.

I was already filtering “get_terms” for the product categories taxonomy because of another problem, so I inserted some logging code there and discovered that the problem category was showing a count of zero. There are actually four products in it. I’ve no idea why the count is wrong, but that’s the root cause of this problem.

I simply added code to assign 4 to the count, and the category now appears just as it should.

I also discovered another problem with the count. The original reason I added that filter was to hide a category that contains only hidden products. I had thought that would be automatic, but it isn’t. In other words, the calculated count for the category that has only hidden products is non-zero.

There’s something wrong with the count calculation! My immediate problem is solved, but either I have some setting very wrong, or there’s a bug in there somewhere.

Just to be totally clear about how this bug shows up:

In admin on the Product Categories page, the problem category shows a count of 4 in the Products column. This is correct.

When I add a filter on “get_terms” and do something like this:

public static function get_subcategory_terms( $terms, $taxonomies, $args ) {
if ( in_array( 'product_cat', $taxonomies ) && ! is_admin() ) {
foreach ( $terms as $key => $term ) {
	if ( $term->slug == 'problem-category-slug' ) {
		echo $term->count;
	}
}
}

I see that the count for that category is zero.

Something doesn’t add up!