hw/xen: Clarify (lack of) error handling in transaction_commit()
authorDavid Woodhouse <dwmw@amazon.co.uk>
Tue, 20 Jun 2023 17:58:55 +0000 (18:58 +0100)
committerAnthony PERARD <anthony.perard@citrix.com>
Tue, 1 Aug 2023 09:22:33 +0000 (10:22 +0100)
commitace33a0e5a5191f79899397adb766dda7208cb93
treec2d2f9963fb7ef5b607c535b72441f193cd5d945
parent802341823f1720511dd5cf53ae40285f7978c61b
hw/xen: Clarify (lack of) error handling in transaction_commit()

Coverity was unhappy (CID 1508359) because we didn't check the return of
init_walk_op() in transaction_commit(), despite doing so at every other
call site.

Strictly speaking, this is a false positive since it can never fail. It
only fails for invalid user input (transaction ID or path), and both of
those are hard-coded to known sane values in this invocation.

But Coverity doesn't know that, and neither does the casual reader of the
code.

Returning an error here would be weird, since the transaction *is*
committed by this point; all the walk_op is doing is firing watches on
the newly-committed changed nodes. So make it a g_assert(!ret), since
it really should never happen.

Signed-off-by: David Woodhouse <dwmw@amazon.co.uk>
Reviewed-by: Paul Durrant <paul@xen.org>
Message-Id: <20076888f6bdf06a65aafc5cf954260965d45b97.camel@infradead.org>
Signed-off-by: Anthony PERARD <anthony.perard@citrix.com>
hw/i386/kvm/xenstore_impl.c