From: Dmitry Ilvokhin <d@ilvokhin.com>
To: Bart Van Assche <bvanassche@acm.org>
Cc: linux-sparse@vger.kernel.org
Subject: Re: [PATCH 04/20] storage: Free hash table entries when freeing storage
Date: Wed, 21 Oct 2026 13:50:44 +0000 [thread overview]
Message-ID: <atjDNHM_tTvU8CE7@shell.ilvokhin.com> (raw)
In-Reply-To: <20261019175633.415493-5-bvanassche@acm.org>
On Mon, Oct 19, 2026 at 10:56:17AM -0700, Bart Van Assche wrote:
> Free allocated hash table entries when freeing storage structures in
> storage.c to prevent memory leaks during storage teardown.
>
> Signed-off-by: Bart Van Assche <bvanassche@acm.org>
> ---
> storage.c | 10 ++++++++--
> 1 file changed, 8 insertions(+), 2 deletions(-)
>
> diff --git a/storage.c b/storage.c
> index 6fc6e3d7085f..160d424ee1f6 100644
> --- a/storage.c
> +++ b/storage.c
> @@ -159,12 +159,18 @@ static void vrfy_storage(struct storage_hash_list **listp)
>
> void free_storage(void)
> {
> + struct storage_hash_list *all = NULL;
> int i;
>
> for (i = 0; i < MAX_STORAGE_HASH; i++) {
> - vrfy_storage(storage_hash_table + i);
> + struct storage_hash *entry;
> + FOR_EACH_PTR(storage_hash_table[i], entry) {
> + add_ptr_list(&all, entry);
> + } END_FOR_EACH_PTR(entry);
> free_ptr_list(storage_hash_table + i);
> }
> + vrfy_storage(&all);
> + free_ptr_list(&all);
> }
This seems like a behaviour change (a correct one, as far as I can
tell), that is not mentioned in the changelog. Before verification was
done for each bucket independently and could miss conflicts, while now
verification is done globally.
Does it worth to split this hunk it is own commit with the proper
description?
next prev parent reply other threads:[~2026-10-21 13:50 UTC|newest]
Thread overview: 26+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-10-19 17:56 [PATCH 00/20] Sanitizer fixes, LLVM updates, and CI workflow Bart Van Assche
2026-10-19 17:56 ` [PATCH 01/20] doc: Update maintainer and mirror information Bart Van Assche
2026-10-19 17:56 ` [PATCH 02/20] ptrlist: Guard against null list in ptrlist operations Bart Van Assche
2026-10-21 13:02 ` Dmitry Ilvokhin
2026-10-19 17:56 ` [PATCH 03/20] bits: Guard against out-of-bounds bit shifts in bitmask helpers Bart Van Assche
2026-10-21 13:22 ` Dmitry Ilvokhin
2026-10-19 17:56 ` [PATCH 04/20] storage: Free hash table entries when freeing storage Bart Van Assche
2026-10-21 13:50 ` Dmitry Ilvokhin [this message]
2026-10-21 16:21 ` Bart Van Assche
2026-10-19 17:56 ` [PATCH 05/20] builtin: Bound argument array iteration in declare_builtin() Bart Van Assche
2026-10-21 13:54 ` Dmitry Ilvokhin
2026-10-19 17:56 ` [PATCH 06/20] c2xml: Use an unsigned shift in examine_modifiers() Bart Van Assche
2026-10-19 17:56 ` [PATCH 07/20] parse: Avoid incrementing rank on invalid long real specifiers Bart Van Assche
2026-10-19 17:56 ` [PATCH 08/20] pre-process: Avoid zero-length VLAs for parameterless macros Bart Van Assche
2026-10-19 17:56 ` [PATCH 09/20] pre-process: Avoid reading token->string on non-string tokens Bart Van Assche
2026-10-19 17:56 ` [PATCH 10/20] target: Avoid signed overflow in bit and byte conversion helpers Bart Van Assche
2026-10-19 17:56 ` [PATCH 11/20] evaluate: Use bitmask helpers in evaluate_ptr_add() Bart Van Assche
2026-10-19 17:56 ` [PATCH 12/20] linearize: Use bits_mask() in linearize_bitfield_insert() Bart Van Assche
2026-10-19 17:56 ` [PATCH 13/20] expand: Avoid undefined shifts and signed overflow in constant folding Bart Van Assche
2026-10-19 17:56 ` [PATCH 14/20] simplify: Avoid undefined shifts and signed overflow in simplification Bart Van Assche
2026-10-19 17:56 ` [PATCH 15/20] sparsec: Emit object files directly with llc -filetype=obj Bart Van Assche
2026-10-19 17:56 ` [PATCH 16/20] llvm: Stop calling LLVMConstGEP2() for string literals Bart Van Assche
2026-10-19 17:56 ` [PATCH 17/20] llvm: Free leaked allocations and LLVM objects Bart Van Assche
2026-10-19 17:56 ` [PATCH 18/20] parse: Accept an empty attribute argument list Bart Van Assche
2026-10-19 17:56 ` [PATCH 19/20] llvm: Use explicit LLVMContextRef instead of global context Bart Van Assche
2026-10-19 17:56 ` [PATCH 20/20] ci: Add a GitHub Actions workflow and CI scripts Bart Van Assche
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=atjDNHM_tTvU8CE7@shell.ilvokhin.com \
--to=d@ilvokhin.com \
--cc=bvanassche@acm.org \
--cc=linux-sparse@vger.kernel.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox