BUILD: pool: Fix GCC error about potential null pointer dereference

In pool_gc(), GCC 13.2.1 reports an error about a potential null potential
dereference:

src/pool.c: In function ‘pool_gc’:
src/pool.c:807:64: error: potential null pointer dereference [-Werror=null-dereference]
  807 |                         entry->buckets[bucket].free_list = temp->next;
      |                                                            ~~~~^~~~~~

There is no issue here because "bucket" variable cannot be greater than
CONFIG_HAP_POOL_BUCKETS. But to make GCC happy, we now break the loop if it
is greater or equal to CONFIG_HAP_POOL_BUCKETS.
This commit is contained in:
Christopher Faulet 2023-10-02 18:54:29 +02:00
parent 90873dc678
commit b62d5689d2
1 changed files with 1 additions and 1 deletions

View File

@ -800,7 +800,7 @@ void pool_gc(struct pool_head *pool_ctx)
while (!entry->buckets[bucket].free_list && bucket < CONFIG_HAP_POOL_BUCKETS)
bucket++;
if (bucket == CONFIG_HAP_POOL_BUCKETS)
if (bucket >= CONFIG_HAP_POOL_BUCKETS)
break;
temp = entry->buckets[bucket].free_list;