From 4efc9c8e3ebd5b503a15c6bc30b5a8865ccd53b0 Mon Sep 17 00:00:00 2001 From: Gleb Koval Date: Wed, 4 Dec 2024 22:04:27 +0000 Subject: [PATCH] feat: add sanity checks to update branch of page_insert --- src/vm/page.c | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/vm/page.c b/src/vm/page.c index 1e205f0..ecfcea5 100644 --- a/src/vm/page.c +++ b/src/vm/page.c @@ -63,9 +63,9 @@ page_insert (struct file *file, off_t ofs, void *upage, uint32_t read_bytes, struct page_entry *existing = page_get (upage); if (existing != NULL) { - existing->read_bytes = read_bytes; - existing->zero_bytes = zero_bytes; - existing->writable = writable; + ASSERT (existing->read_bytes == read_bytes); + ASSERT (existing->zero_bytes == zero_bytes); + existing->writable = existing->writable || writable; return existing; }