[mini-os master] Mini-OS: use BUG() instead of dereferencing NULL

[patchbot@xxxxxxx]

commit 23247d6586110ec3d73cae8a693c0db879a58184
Author:     Juergen Gross <jgross@xxxxxxxx>
AuthorDate: Wed Dec 13 10:49:06 2023 +0100
Commit:     Jan Beulich <jbeulich@xxxxxxxx>
CommitDate: Wed Dec 13 10:49:06 2023 +0100

    Mini-OS: use BUG() instead of dereferencing NULL
    
    There are some places using a dereference of NULL to cause a crash.
    
    Use BUG() instead.
    
    Reported-by: Jan Beulich <jbeulich@xxxxxxxx>
    Signed-off-by: Juergen Gross <jgross@xxxxxxxx>
    Acked-by: Andrew Cooper <andrew.cooper3@xxxxxxxxxx>
---
 lib/xmalloc.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lib/xmalloc.c b/lib/xmalloc.c
index cc5db11..2aa0713 100644
--- a/lib/xmalloc.c
+++ b/lib/xmalloc.c
@@ -219,7 +219,7 @@ void xfree(const void *p)
     if(((long)p & PAGE_MASK) != ((long)hdr & PAGE_MASK))
     {
         printk("Header should be on the same page\n");
-        *(int*)0=0;
+        BUG();
     }
 
     /* Merge with other free block, or put in list. */
@@ -255,7 +255,7 @@ void xfree(const void *p)
         if((((unsigned long)hdr) & (PAGE_SIZE-1)) != 0)
         {
             printk("Bug\n");
-            *(int*)0=0;
+            BUG();
         }
         free_page(hdr);
     }
--
generated by git-patchbot for /home/xen/git/mini-os.git#master