netdev - Re: [PATCH] nft_set_pipapo: remove unused pointer lt

lists.openwall.net		lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC
Open Source and information security mailing list archives

Hash Suite: Windows password security audit tool. GUI, reports in PDF.

[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]

Message-ID: <20200407013951.77a6409f@redhat.com>
Date:   Tue, 7 Apr 2020 01:39:51 +0200
From:   Stefano Brivio <sbrivio@...hat.com>
To:     Colin King <colin.king@...onical.com>
Cc:     Pablo Neira Ayuso <pablo@...filter.org>,
        Jozsef Kadlecsik <kadlec@...filter.org>,
        Florian Westphal <fw@...len.de>,
        "David S . Miller" <davem@...emloft.net>,
        Jakub Kicinski <kuba@...nel.org>,
        netfilter-devel@...r.kernel.org, coreteam@...filter.org,
        netdev@...r.kernel.org, kernel-janitors@...r.kernel.org,
        linux-kernel@...r.kernel.org
Subject: Re: [PATCH] nft_set_pipapo: remove unused pointer lt

Hi Colin,

On Tue,  7 Apr 2020 00:20:31 +0100
Colin King <colin.king@...onical.com> wrote:

> From: Colin Ian King <colin.king@...onical.com>
> 
> Pointer lt being assigned with a value that is never read and
> the pointer is redundant and can be removed.
> 
> Addresses-Coverity: ("Unused value")
> Signed-off-by: Colin Ian King <colin.king@...onical.com>
> ---
>  net/netfilter/nft_set_pipapo_avx2.c | 4 +---
>  1 file changed, 1 insertion(+), 3 deletions(-)
> 
> diff --git a/net/netfilter/nft_set_pipapo_avx2.c b/net/netfilter/nft_set_pipapo_avx2.c
> index d65ae0e23028..9458c6b6ea04 100644
> --- a/net/netfilter/nft_set_pipapo_avx2.c
> +++ b/net/netfilter/nft_set_pipapo_avx2.c
> @@ -1049,11 +1049,9 @@ static int nft_pipapo_avx2_lookup_slow(unsigned long *map, unsigned long *fill,
>  					struct nft_pipapo_field *f, int offset,
>  					const u8 *pkt, bool first, bool last)
>  {
> -	unsigned long *lt = f->lt, bsize = f->bsize;
> +	unsigned long bsize = f->bsize;
>  	int i, ret = -1, b;
>  
> -	lt += offset * NFT_PIPAPO_LONGS_PER_M256;
> -
>  	if (first)
>  		memset(map, 0xff, bsize * sizeof(*map));
>  
        for (i = offset; i < bsize; i++) {
                if (f->bb == 8)
                        pipapo_and_field_buckets_8bit(f, map, pkt);
                else
                        pipapo_and_field_buckets_4bit(f, map, pkt);

Now, this function should never be called, it's provided as a safety net
in case this algorithm is ever run with some strange packet field size,
still, your clean-up shows another "issue" here: as
pipapo_and_field_buckets_*() functions use the full buckets in lookup
tables, not just starting from an offset, there's no need to repeat
those operations starting from offset up to bsize.

It's fine to ignore the offset (which is just a "hint" here for faster
lookups) -- this function isn't supposed to be optimised in any way.

That is, this for loop should go away altogether, and the 'offset'
argument should be dropped as well. Let me know if you're comfortable
taking care of that as well, or if you prefer that I send a patch.

-- 
Stefano