fix the `sparse` warnings

2 files changed, 4 insertions, 1 deletions

diff --git a/src/kernel/arch/i386/multiboot.h b/src/kernel/arch/i386/multiboot.h
index b780f91..1d6718f 100644
--- a/src/kernel/arch/i386/multiboot.h
+++ b/src/kernel/arch/i386/multiboot.h
@@ -1,8 +1,10 @@
 #pragma once
 #include <stdint.h>
 
+#ifndef __CHECKER__
 _Static_assert(sizeof(void*) == 4,
 		"this code assumes that pointers have 4 bytes");
+#endif
 
 struct multiboot_mod {
 	void *start;
diff --git a/src/kernel/vfs/backend.c b/src/kernel/vfs/backend.c
index 4b22104..b9bc9af 100644
--- a/src/kernel/vfs/backend.c
+++ b/src/kernel/vfs/backend.c
@@ -7,6 +7,7 @@
 // dispatches a VFS operation to the correct process
 _Noreturn void vfs_backend_dispatch(struct vfs_backend *backend, struct vfs_op op) {
 	struct vfs_op_request *req = kmalloc(sizeof *req); // freed in vfs_backend_finish
+	int ret;
 	*req = (struct vfs_op_request) {
 		.op = op,
 		.caller = process_current,
@@ -15,7 +16,7 @@ _Noreturn void vfs_backend_dispatch(struct vfs_backend *backend, struct vfs_op o
 
 	switch (backend->type) {
 		case VFS_BACK_ROOT:
-			int ret = vfs_root_handler(req);
+			ret = vfs_root_handler(req);
 			vfs_backend_finish(req, ret);
 		case VFS_BACK_USER:
 			process_current->state = PS_WAITS4FS;