Steps to reproduce

1. Open and configure project coreutils
2. Choose target libcoreutils.a
3. Generate tests for file gl/lib/randperm.c
4. See comment in tests

// Function 'sparse_new' was skipped, as return type 'struct hash_table *' is not fully supported: Base type of array or pointer

Source code

static sparse_map *
sparse_new (size_t size_hint)
{
  return hash_initialize (size_hint, NULL, sparse_hash_, sparse_cmp_, free);
}

Note

However, it is still possible to check the return pointer for null (not for its value)