commit 4a496571225ccf96447d9271a97bdf2071a70b09
author Andrew Scull <ascull@google.com> Thu Oct 11 18:44:08 2018 +0100
committer Andrew Scull <ascull@google.com> Fri Oct 12 16:45:34 2018 +0100
tree e3b13ade52a0515e3ecbf23a5a90b4e62ef959ea
parent 18834877ee12417f76ffd84ac38ff2f49015b4c1

Catch static analysis errors.

The errors were squashed by `find -exec`.

Change-Id: I32bb7284f2ab70eee10ca6641e13f1cafa3bb27f

src/api.c

diff --git a/src/api.c b/src/api.c
index 11df107..1d44691 100644
--- a/src/api.c
+++ b/src/api.c
@@ -300,6 +300,14 @@
 		primary_ret =
 			HF_VCPU_RUN_RESPONSE(HF_VCPU_RUN_MESSAGE, 0, size);
 		ret = 0;
+		/*
+		 * clang-tidy isn't able to prove that
+		 * `from->id != HF_PRIMARY_VM_ID` so cover that specific case
+		 * explicitly so as not to hide other possible bugs.
+		 */
+		if (from->id == HF_PRIMARY_VM_ID) {
+			vcpu = 0;
+		}
 		goto out;
 	}
 
@@ -386,7 +394,6 @@
 	/* Return pending messages without blocking. */
 	if (vm->mailbox.state == mailbox_state_received) {
 		vm->mailbox.state = mailbox_state_read;
-		block = false;
 		ret = HF_MAILBOX_RECEIVE_RESPONSE(vm->mailbox.recv_from_id,
 						  vm->mailbox.recv_bytes);
 		goto out;