From 0994192f6cab853f4a49ac73aa63f6820c886ec2 Mon Sep 17 00:00:00 2001
From: dzwdz
Date: Sat, 11 Sep 2021 17:13:49 +0200
Subject: fix the `sparse` warnings

---
 src/kernel/arch/i386/multiboot.h | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/kernel/arch/i386/multiboot.h')

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;
-- 
cgit v1.2.3