diff options
Diffstat (limited to 'debian/patches/fix-warnings0002-vm-enable-extra-assertions.patch')
| -rw-r--r-- | debian/patches/fix-warnings0002-vm-enable-extra-assertions.patch | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/debian/patches/fix-warnings0002-vm-enable-extra-assertions.patch b/debian/patches/fix-warnings0002-vm-enable-extra-assertions.patch new file mode 100644 index 0000000..7d84ef1 --- /dev/null +++ b/debian/patches/fix-warnings0002-vm-enable-extra-assertions.patch @@ -0,0 +1,30 @@ +From 08de06feb3245859744a11e8dd9dde198ca33257 Mon Sep 17 00:00:00 2001 +From: Justus Winter <4winter@informatik.uni-hamburg.de> +Date: Sat, 15 Aug 2015 11:19:01 +0200 +Subject: [PATCH gnumach 2/3] vm: enable extra assertions + +* vm/vm_fault.c (vm_fault_page): Enable extra assertions. +--- + vm/vm_fault.c | 2 -- + 1 file changed, 2 deletions(-) + +diff --git a/vm/vm_fault.c b/vm/vm_fault.c +index 0fa4d6a..46779f6 100644 +--- a/vm/vm_fault.c ++++ b/vm/vm_fault.c +@@ -768,12 +768,10 @@ vm_fault_return_t vm_fault_page( + * objects. + */ + +-#if EXTRA_ASSERTIONS + assert(m->busy && !m->absent); + assert((first_m == VM_PAGE_NULL) || + (first_m->busy && !first_m->absent && + !first_m->active && !first_m->inactive)); +-#endif /* EXTRA_ASSERTIONS */ + + /* + * If the page is being written, but isn't +-- +2.1.4 + |