From: Dan Carpenter <dan.carpenter@oracle.com>
To: seanjc@google.com
Cc: kvm@vger.kernel.org
Subject: [bug report] KVM: Dynamically allocate "new" memslots from the get-go
Date: Wed, 15 Dec 2021 14:24:40 +0300 [thread overview]
Message-ID: <20211215112440.GA13974@kili> (raw)
Hello Sean Christopherson,
This is a semi-automatic email about new static checker warnings.
The patch 244893fa2859: "KVM: Dynamically allocate "new" memslots
from the get-go" from Dec 6, 2021, leads to the following Smatch
complaint:
arch/x86/kvm/../../../virt/kvm/kvm_main.c:1526 kvm_prepare_memory_region()
warn: variable dereferenced before check 'new' (see line 1509)
arch/x86/kvm/../../../virt/kvm/kvm_main.c
1508 if (change != KVM_MR_DELETE) {
1509 if (!(new->flags & KVM_MEM_LOG_DIRTY_PAGES))
1510 new->dirty_bitmap = NULL;
1511 else if (old && old->dirty_bitmap)
1512 new->dirty_bitmap = old->dirty_bitmap;
1513 else if (!kvm->dirty_ring_size) {
1514 r = kvm_alloc_dirty_bitmap(new);
1515 if (r)
1516 return r;
1517
1518 if (kvm_dirty_log_manual_protect_and_init_set(kvm))
1519 bitmap_set(new->dirty_bitmap, 0, new->npages);
^^^^^
1520 }
1521 }
1522
1523 r = kvm_arch_prepare_memory_region(kvm, old, new, change);
^^^
Lots of unchecked dereferences
1524
1525 /* Free the bitmap on failure if it was allocated above. */
1526 if (r && new && new->dirty_bitmap && old && !old->dirty_bitmap)
^^^
New check for NULL. Can this be NULL?
1527 kvm_destroy_dirty_bitmap(new);
1528
regards,
dan carpenter
next reply other threads:[~2021-12-15 11:24 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-12-15 11:24 Dan Carpenter [this message]
2021-12-15 16:34 ` [bug report] KVM: Dynamically allocate "new" memslots from the get-go Sean Christopherson
2021-12-15 18:11 ` Dan Carpenter
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=20211215112440.GA13974@kili \
--to=dan.carpenter@oracle.com \
--cc=kvm@vger.kernel.org \
--cc=seanjc@google.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 an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.