KVM: selftests: Compile code with warnings enabled
authorThomas Huth <thuth@redhat.com>
Fri, 17 May 2019 09:04:45 +0000 (11:04 +0200)
committerPaolo Bonzini <pbonzini@redhat.com>
Fri, 24 May 2019 19:27:05 +0000 (21:27 +0200)
So far the KVM selftests are compiled without any compiler warnings
enabled. That's quite bad, since we miss a lot of possible bugs this
way. Let's enable at least "-Wall" and some other useful warning flags
now, and fix at least the trivial problems in the code (like unused
variables).

Signed-off-by: Thomas Huth <thuth@redhat.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
12 files changed:
tools/testing/selftests/kvm/Makefile
tools/testing/selftests/kvm/dirty_log_test.c
tools/testing/selftests/kvm/lib/kvm_util.c
tools/testing/selftests/kvm/lib/x86_64/processor.c
tools/testing/selftests/kvm/x86_64/cr4_cpuid_sync_test.c
tools/testing/selftests/kvm/x86_64/evmcs_test.c
tools/testing/selftests/kvm/x86_64/hyperv_cpuid.c
tools/testing/selftests/kvm/x86_64/platform_info_test.c
tools/testing/selftests/kvm/x86_64/smm_test.c
tools/testing/selftests/kvm/x86_64/state_test.c
tools/testing/selftests/kvm/x86_64/vmx_close_while_nested_test.c
tools/testing/selftests/kvm/x86_64/vmx_tsc_adjust_test.c

index 79c524395ebec4989545a0eebc82b26d28325ac3..d113eaf2d570ae1228c80c0023d8fe5b2e19fa69 100644 (file)
@@ -34,7 +34,9 @@ LIBKVM += $(LIBKVM_$(UNAME_M))
 INSTALL_HDR_PATH = $(top_srcdir)/usr
 LINUX_HDR_PATH = $(INSTALL_HDR_PATH)/include/
 LINUX_TOOL_INCLUDE = $(top_srcdir)/tools/include
-CFLAGS += -O2 -g -std=gnu99 -fno-stack-protector -fno-PIE -I$(LINUX_TOOL_INCLUDE) -I$(LINUX_HDR_PATH) -Iinclude -I$(<D) -Iinclude/$(UNAME_M) -I..
+CFLAGS += -Wall -Wstrict-prototypes -Wuninitialized -O2 -g -std=gnu99 \
+       -fno-stack-protector -fno-PIE -I$(LINUX_TOOL_INCLUDE) \
+       -I$(LINUX_HDR_PATH) -Iinclude -I$(<D) -Iinclude/$(UNAME_M) -I..
 
 no-pie-option := $(call try-run, echo 'int main() { return 0; }' | \
         $(CC) -Werror $(KBUILD_CPPFLAGS) $(CC_OPTION_CFLAGS) -no-pie -x c - -o "$$TMP", -no-pie)
index f50a15c38f9b068205850c94f5805a1a2c4d7b74..4a2bdaf616fbff7acec3afb530704785a0282cda 100644 (file)
@@ -131,6 +131,7 @@ static void *vcpu_worker(void *data)
        while (!READ_ONCE(host_quit)) {
                /* Let the guest dirty the random pages */
                ret = _vcpu_run(vm, VCPU_ID);
+               TEST_ASSERT(ret == 0, "vcpu_run failed: %d\n", ret);
                if (get_ucall(vm, VCPU_ID, &uc) == UCALL_SYNC) {
                        pages_count += TEST_PAGES_PER_LOOP;
                        generate_random_array(guest_array, TEST_PAGES_PER_LOOP);
@@ -426,8 +427,11 @@ int main(int argc, char *argv[])
        unsigned long interval = TEST_HOST_LOOP_INTERVAL;
        bool mode_selected = false;
        uint64_t phys_offset = 0;
-       unsigned int mode, host_ipa_limit;
+       unsigned int mode;
        int opt, i;
+#ifdef __aarch64__
+       unsigned int host_ipa_limit;
+#endif
 
 #ifdef USE_CLEAR_DIRTY_LOG
        if (!kvm_check_cap(KVM_CAP_MANUAL_DIRTY_LOG_PROTECT2)) {
index e9113857f44e9498bcfdeeead148f1ad11862dd4..cf62de3773101c649ccfef82715d4f62a6a2264c 100644 (file)
@@ -135,7 +135,6 @@ struct kvm_vm *_vm_create(enum vm_guest_mode mode, uint64_t phy_pages,
                          int perm, unsigned long type)
 {
        struct kvm_vm *vm;
-       int kvm_fd;
 
        vm = calloc(1, sizeof(*vm));
        TEST_ASSERT(vm != NULL, "Insufficient Memory");
@@ -556,7 +555,6 @@ void vm_userspace_mem_region_add(struct kvm_vm *vm,
        uint32_t flags)
 {
        int ret;
-       unsigned long pmem_size = 0;
        struct userspace_mem_region *region;
        size_t huge_page_size = KVM_UTIL_PGS_PER_HUGEPG * vm->page_size;
 
@@ -1334,7 +1332,6 @@ void vcpu_sregs_set(struct kvm_vm *vm, uint32_t vcpuid, struct kvm_sregs *sregs)
 int _vcpu_sregs_set(struct kvm_vm *vm, uint32_t vcpuid, struct kvm_sregs *sregs)
 {
        struct vcpu *vcpu = vcpu_find(vm, vcpuid);
-       int ret;
 
        TEST_ASSERT(vcpu != NULL, "vcpu not found, vcpuid: %u", vcpuid);
 
index dc7fae9fa424cf2b45fb7acf10c4b58c272763a0..21f3040d90cb1f0fc3cdd4ea545d9355e29ba9eb 100644 (file)
@@ -229,8 +229,6 @@ void sregs_dump(FILE *stream, struct kvm_sregs *sregs,
 
 void virt_pgd_alloc(struct kvm_vm *vm, uint32_t pgd_memslot)
 {
-       int rc;
-
        TEST_ASSERT(vm->mode == VM_MODE_P52V48_4K, "Attempt to use "
                "unknown or unsupported guest mode, mode: 0x%x", vm->mode);
 
@@ -549,7 +547,6 @@ vm_paddr_t addr_gva2gpa(struct kvm_vm *vm, vm_vaddr_t gva)
        struct pageDirectoryPointerEntry *pdpe;
        struct pageDirectoryEntry *pde;
        struct pageTableEntry *pte;
-       void *hva;
 
        TEST_ASSERT(vm->mode == VM_MODE_P52V48_4K, "Attempt to use "
                "unknown or unsupported guest mode, mode: 0x%x", vm->mode);
@@ -582,6 +579,7 @@ vm_paddr_t addr_gva2gpa(struct kvm_vm *vm, vm_vaddr_t gva)
 unmapped_gva:
        TEST_ASSERT(false, "No mapping for vm virtual address, "
                    "gva: 0x%lx", gva);
+       exit(EXIT_FAILURE);
 }
 
 static void kvm_setup_gdt(struct kvm_vm *vm, struct kvm_dtable *dt, int gdt_memslot,
index 7c2c4d4055a80bf49bc56870a1ba828df8ee577d..63cc9c3f5ab67e8658d4bc8b50df83eeca0d3670 100644 (file)
@@ -87,6 +87,7 @@ int main(int argc, char *argv[])
        while (1) {
                rc = _vcpu_run(vm, VCPU_ID);
 
+               TEST_ASSERT(rc == 0, "vcpu_run failed: %d\n", rc);
                TEST_ASSERT(run->exit_reason == KVM_EXIT_IO,
                            "Unexpected exit reason: %u (%s),\n",
                            run->exit_reason,
index 36669684eca58a6c09140453f70a403cf0119348..b38260e297751e404847222d1018c5e2f073e034 100644 (file)
@@ -19,8 +19,6 @@
 
 #define VCPU_ID                5
 
-static bool have_nested_state;
-
 void l2_guest_code(void)
 {
        GUEST_SYNC(6);
@@ -73,7 +71,6 @@ void guest_code(struct vmx_pages *vmx_pages)
 
 int main(int argc, char *argv[])
 {
-       struct vmx_pages *vmx_pages = NULL;
        vm_vaddr_t vmx_pages_gva = 0;
 
        struct kvm_regs regs1, regs2;
@@ -88,8 +85,6 @@ int main(int argc, char *argv[])
                 .args[0] = (unsigned long)&evmcs_ver
        };
 
-       struct kvm_cpuid_entry2 *entry = kvm_get_supported_cpuid_entry(1);
-
        /* Create VM */
        vm = vm_create_default(VCPU_ID, 0, guest_code);
 
@@ -113,7 +108,7 @@ int main(int argc, char *argv[])
 
        vcpu_regs_get(vm, VCPU_ID, &regs1);
 
-       vmx_pages = vcpu_alloc_vmx(vm, &vmx_pages_gva);
+       vcpu_alloc_vmx(vm, &vmx_pages_gva);
        vcpu_args_set(vm, VCPU_ID, 1, vmx_pages_gva);
 
        for (stage = 1;; stage++) {
index 63b9fc3fdfbe1b456e20bc237ad36c09ab40f0f2..071fe32dc84b8c15c4b45fd07084bfdbecc51f8a 100644 (file)
@@ -89,7 +89,6 @@ struct kvm_cpuid2 *kvm_get_supported_hv_cpuid(struct kvm_vm *vm)
 {
        int nent = 20; /* should be enough */
        static struct kvm_cpuid2 *cpuid;
-       int ret;
 
        cpuid = malloc(sizeof(*cpuid) + nent * sizeof(struct kvm_cpuid_entry2));
 
index eb3e7a838cb447fa6f54c0cd277cb88327f6d512..40050e44ec0acd63cba5372f9a7737c2c428d62a 100644 (file)
@@ -81,7 +81,6 @@ static void test_msr_platform_info_disabled(struct kvm_vm *vm)
 int main(int argc, char *argv[])
 {
        struct kvm_vm *vm;
-       struct kvm_run *state;
        int rv;
        uint64_t msr_platform_info;
 
index fb8086964d83b80642250b1626f444ede7bb34f2..4daf520bada1d774568e32908c6b7d1f2a0c2311 100644 (file)
@@ -87,7 +87,6 @@ void guest_code(struct vmx_pages *vmx_pages)
 
 int main(int argc, char *argv[])
 {
-       struct vmx_pages *vmx_pages = NULL;
        vm_vaddr_t vmx_pages_gva = 0;
 
        struct kvm_regs regs;
@@ -115,7 +114,7 @@ int main(int argc, char *argv[])
        vcpu_set_msr(vm, VCPU_ID, MSR_IA32_SMBASE, SMRAM_GPA);
 
        if (kvm_check_cap(KVM_CAP_NESTED_STATE)) {
-               vmx_pages = vcpu_alloc_vmx(vm, &vmx_pages_gva);
+               vcpu_alloc_vmx(vm, &vmx_pages_gva);
                vcpu_args_set(vm, VCPU_ID, 1, vmx_pages_gva);
        } else {
                printf("will skip SMM test with VMX enabled\n");
index e0a3c0204b7cd11c5da7024bea68f0da71e41bab..2a4121f4de0111688c792a601615ca57f9727b3b 100644 (file)
@@ -22,8 +22,6 @@
 
 #define VCPU_ID                5
 
-static bool have_nested_state;
-
 void l2_guest_code(void)
 {
        GUEST_SYNC(6);
@@ -122,7 +120,6 @@ void guest_code(struct vmx_pages *vmx_pages)
 
 int main(int argc, char *argv[])
 {
-       struct vmx_pages *vmx_pages = NULL;
        vm_vaddr_t vmx_pages_gva = 0;
 
        struct kvm_regs regs1, regs2;
@@ -132,8 +129,6 @@ int main(int argc, char *argv[])
        struct ucall uc;
        int stage;
 
-       struct kvm_cpuid_entry2 *entry = kvm_get_supported_cpuid_entry(1);
-
        /* Create VM */
        vm = vm_create_default(VCPU_ID, 0, guest_code);
        vcpu_set_cpuid(vm, VCPU_ID, kvm_get_supported_cpuid());
@@ -142,7 +137,7 @@ int main(int argc, char *argv[])
        vcpu_regs_get(vm, VCPU_ID, &regs1);
 
        if (kvm_check_cap(KVM_CAP_NESTED_STATE)) {
-               vmx_pages = vcpu_alloc_vmx(vm, &vmx_pages_gva);
+               vcpu_alloc_vmx(vm, &vmx_pages_gva);
                vcpu_args_set(vm, VCPU_ID, 1, vmx_pages_gva);
        } else {
                printf("will skip nested state checks\n");
index 6edec6fd790b78c2f18158f611128ad732626473..97182b47b10c46b3005267cba256298b261ddff2 100644 (file)
@@ -39,8 +39,6 @@ static void l1_guest_code(struct vmx_pages *vmx_pages)
 {
 #define L2_GUEST_STACK_SIZE 64
        unsigned long l2_guest_stack[L2_GUEST_STACK_SIZE];
-       uint32_t control;
-       uintptr_t save_cr3;
 
        GUEST_ASSERT(prepare_for_vmx_operation(vmx_pages));
        GUEST_ASSERT(load_vmcs(vmx_pages));
@@ -55,7 +53,6 @@ static void l1_guest_code(struct vmx_pages *vmx_pages)
 
 int main(int argc, char *argv[])
 {
-       struct vmx_pages *vmx_pages;
        vm_vaddr_t vmx_pages_gva;
        struct kvm_cpuid_entry2 *entry = kvm_get_supported_cpuid_entry(1);
 
@@ -68,7 +65,7 @@ int main(int argc, char *argv[])
        vcpu_set_cpuid(vm, VCPU_ID, kvm_get_supported_cpuid());
 
        /* Allocate VMX pages and shared descriptors (vmx_pages). */
-       vmx_pages = vcpu_alloc_vmx(vm, &vmx_pages_gva);
+       vcpu_alloc_vmx(vm, &vmx_pages_gva);
        vcpu_args_set(vm, VCPU_ID, 1, vmx_pages_gva);
 
        for (;;) {
index 18fa64db0d7a5315a02e1f9c8a1c488180539ffc..6d37a317395640ad3b0e7e38758bfb636432ebec 100644 (file)
@@ -121,7 +121,7 @@ static void l1_guest_code(struct vmx_pages *vmx_pages)
        GUEST_DONE();
 }
 
-void report(int64_t val)
+static void report(int64_t val)
 {
        printf("IA32_TSC_ADJUST is %ld (%lld * TSC_ADJUST_VALUE + %lld).\n",
               val, val / TSC_ADJUST_VALUE, val % TSC_ADJUST_VALUE);
@@ -129,7 +129,6 @@ void report(int64_t val)
 
 int main(int argc, char *argv[])
 {
-       struct vmx_pages *vmx_pages;
        vm_vaddr_t vmx_pages_gva;
        struct kvm_cpuid_entry2 *entry = kvm_get_supported_cpuid_entry(1);
 
@@ -142,7 +141,7 @@ int main(int argc, char *argv[])
        vcpu_set_cpuid(vm, VCPU_ID, kvm_get_supported_cpuid());
 
        /* Allocate VMX pages and shared descriptors (vmx_pages). */
-       vmx_pages = vcpu_alloc_vmx(vm, &vmx_pages_gva);
+       vcpu_alloc_vmx(vm, &vmx_pages_gva);
        vcpu_args_set(vm, VCPU_ID, 1, vmx_pages_gva);
 
        for (;;) {