From: Guru Das Srinagesh <quic_gurus@quicinc.com>
To: Nick Desaulniers <ndesaulniers@google.com>
Cc: Tom Rix <trix@redhat.com>, Nathan Chancellor <nathan@kernel.org>,
"Elliot Berman" <quic_eberman@quicinc.com>,
<llvm@lists.linux.dev>, <linux-kernel@vger.kernel.org>,
<matt@codeconstruct.com.au>, David Howells <dhowells@redhat.com>,
Lukas Bulwahn <lukas.bulwahn@gmail.com>,
<jackm@dev.mellanox.co.il>
Subject: Re: [PATCH 2/2] scripts/clang-tools: Remove core.uninitialized.Assign check
Date: Mon, 10 Oct 2022 10:29:32 -0700 [thread overview]
Message-ID: <20221010172932.GA16534@quicinc.com> (raw)
In-Reply-To: <CAKwvOdm9fOEEQ9cYud7U16Zgd+uahM6Gnv+evoQPjfOc13gZEA@mail.gmail.com>
On Oct 10 2022 10:22, Nick Desaulniers wrote:
> On Wed, Oct 5, 2022 at 8:24 PM Guru Das Srinagesh
> <quic_gurus@quicinc.com> wrote:
> >
> > Remove this check as it leads to false positives in some cases (not all):
> >
> > warning: Assigned value is garbage or undefined
> > [clang-analyzer-core.uninitialized.Assign]
> > list_for_each_entry_safe(page, tmp_page, &pages, lru)
> > ^
>
> I don't think we want to disable this. Tom and others have fixed bugs
> from this report. See also:
> commit d1bd5fa07667 ("lib: remove back_str initialization")
> commit 33b5bc9e7033 ("octeontx2-af: initialize action variable")
> commit 8d783197f06d ("mctp: Fix warnings reported by clang-analyzer")
> commit eed1a5c74216 ("drm/amdgpu: check return status before using
> stable_pstate")
> commit 3da4b7403db8 ("ALSA: usb-audio: initialize variables that could
> ignore errors")
> commit 38ac2f038666 ("iio: chemical: sunrise_co2: set val parameter
> only on success")
> commit afe6949862f7 ("afs: check function return")
> commit d108370c644b ("apparmor: fix error check")
> commit d52e419ac8b5 ("rxrpc: Fix handling of an unsupported token type
> in rxrpc_read()")
> commit 6a6516c024bb ("USB: storage: avoid use of uninitialized values
> in error path")
> commit f71e41e23e12 ("iio:imu:st_lsm6dsx: check
> st_lsm6dsx_shub_read_output return")
> commit 3a61cdf43e67 ("hwrng: intel - cleanup initialization")
> commit 094dd0d73062 ("rndis_wlan: tighten check of rndis_query_oid return")
> commit e3914ed6cf44 ("ieee802154/adf7242: check status of adf7242_read_reg")
> commit c2a3d4b4cac1 ("net/mlx4_en: Cleanups suggested by clang static checker")
Thanks for the list of these commits. Will review the relevant portion of my
code to address this report.
Thank you.
Guru Das.
next prev parent reply other threads:[~2022-10-10 17:29 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2022-10-06 3:23 [PATCH 1/2] scripts/clang-tools: Create array of checks to exclude Guru Das Srinagesh
2022-10-06 3:24 ` [PATCH 2/2] scripts/clang-tools: Remove core.uninitialized.Assign check Guru Das Srinagesh
2022-10-10 17:22 ` Nick Desaulniers
2022-10-10 17:29 ` Guru Das Srinagesh [this message]
2022-10-10 17:16 ` [PATCH 1/2] scripts/clang-tools: Create array of checks to exclude Nick Desaulniers
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=20221010172932.GA16534@quicinc.com \
--to=quic_gurus@quicinc.com \
--cc=dhowells@redhat.com \
--cc=jackm@dev.mellanox.co.il \
--cc=linux-kernel@vger.kernel.org \
--cc=llvm@lists.linux.dev \
--cc=lukas.bulwahn@gmail.com \
--cc=matt@codeconstruct.com.au \
--cc=nathan@kernel.org \
--cc=ndesaulniers@google.com \
--cc=quic_eberman@quicinc.com \
--cc=trix@redhat.com \
/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