From: Arnd Bergmann <arnd@arndb.de>
To: Andrew Morton <akpm@linux-foundation.org>
Cc: Arnd Bergmann <arnd@arndb.de>,
Dan Williams <dan.j.williams@intel.com>,
Yasuaki Ishimatsu <yasu.isimatu@gmail.com>,
Fabian Frederick <fabf@skynet.be>,
linux-mm@kvack.org, linux-kernel@vger.kernel.org
Subject: [PATCH] mm: fix maybe-uninitialized warning in section_deactivate()
Date: Mon, 23 Jan 2017 17:51:17 +0100 [thread overview]
Message-ID: <20170123165156.854464-1-arnd@arndb.de> (raw)
gcc cannot track the combined state of the 'mask' variable across the
barrier in pgdat_resize_unlock() at compile time, so it warns that we
can run into undefined behavior:
mm/sparse.c: In function 'section_deactivate':
mm/sparse.c:802:7: error: 'early_section' may be used uninitialized in this function [-Werror=maybe-uninitialized]
We know that this can't happen because the spin_unlock() doesn't
affect the mask variable, so this is a false-postive warning, but
rearranging the code to bail out earlier here makes it obvious
to the compiler as well.
Fixes: mmotm ("mm: support section-unaligned ZONE_DEVICE memory ranges")
Signed-off-by: Arnd Bergmann <arnd@arndb.de>
---
mm/sparse.c | 33 +++++++++++++++++----------------
1 file changed, 17 insertions(+), 16 deletions(-)
diff --git a/mm/sparse.c b/mm/sparse.c
index 4267d09b656b..dd0c2dd08ee2 100644
--- a/mm/sparse.c
+++ b/mm/sparse.c
@@ -807,23 +807,24 @@ static void section_deactivate(struct pglist_data *pgdat, unsigned long pfn,
unsigned long mask = section_active_mask(pfn, nr_pages), flags;
pgdat_resize_lock(pgdat, &flags);
- if (!ms->usage) {
- mask = 0;
- } else if ((ms->usage->map_active & mask) != mask) {
- WARN(1, "section already deactivated active: %#lx mask: %#lx\n",
- ms->usage->map_active, mask);
- mask = 0;
- } else {
- early_section = is_early_section(ms);
- ms->usage->map_active ^= mask;
- if (ms->usage->map_active == 0) {
- usage = ms->usage;
- ms->usage = NULL;
- memmap = sparse_decode_mem_map(ms->section_mem_map,
- section_nr);
- ms->section_mem_map = 0;
- }
+ if (!ms->usage ||
+ WARN((ms->usage->map_active & mask) != mask,
+ "section already deactivated active: %#lx mask: %#lx\n",
+ ms->usage->map_active, mask)) {
+ pgdat_resize_unlock(pgdat, &flags);
+ return;
}
+
+ early_section = is_early_section(ms);
+ ms->usage->map_active ^= mask;
+ if (ms->usage->map_active == 0) {
+ usage = ms->usage;
+ ms->usage = NULL;
+ memmap = sparse_decode_mem_map(ms->section_mem_map,
+ section_nr);
+ ms->section_mem_map = 0;
+ }
+
pgdat_resize_unlock(pgdat, &flags);
/*
--
2.9.0
--
To unsubscribe, send a message with 'unsubscribe linux-mm' in
the body to majordomo@kvack.org. For more info on Linux MM,
see: http://www.linux-mm.org/ .
Don't email: <a href=mailto:"dont@kvack.org"> email@kvack.org </a>
next reply other threads:[~2017-01-23 16:57 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-01-23 16:51 Arnd Bergmann [this message]
2017-01-23 22:38 ` Andrew Morton
2017-01-24 1:24 ` Dan Williams
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=20170123165156.854464-1-arnd@arndb.de \
--to=arnd@arndb.de \
--cc=akpm@linux-foundation.org \
--cc=dan.j.williams@intel.com \
--cc=fabf@skynet.be \
--cc=linux-kernel@vger.kernel.org \
--cc=linux-mm@kvack.org \
--cc=yasu.isimatu@gmail.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