From 5429a4441eed6defd1a3cbad246584f7fc9cc18b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=A9r=C3=B4me=20Gardou?= Date: Tue, 21 Feb 2012 00:46:18 +0000 Subject: [PATCH] if A ASSERT B => ASSERT(B or not A) svn path=/trunk/; revision=55771 --- reactos/ntoskrnl/mm/ARM3/pfnlist.c | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) diff --git a/reactos/ntoskrnl/mm/ARM3/pfnlist.c b/reactos/ntoskrnl/mm/ARM3/pfnlist.c index 8a292c3a107..0143b6f7027 100644 --- a/reactos/ntoskrnl/mm/ARM3/pfnlist.c +++ b/reactos/ntoskrnl/mm/ARM3/pfnlist.c @@ -931,11 +931,8 @@ MiDecrementShareCount(IN PMMPFN Pfn1, ASSERT(Pfn1->u3.e2.ReferenceCount != 0); if (Pfn1->u3.e2.ReferenceCount == 1) { - if(Pfn1->u3.e1.PrototypePte == 0) - { - /* In ReactOS, this path should always be hit with a deleted PFN */ - ASSERT(MI_IS_PFN_DELETED(Pfn1) == TRUE); - } + /* In ReactOS, this path should always be hit with a deleted PFN */ + ASSERT((MI_IS_PFN_DELETED(Pfn1) == TRUE) || (Pfn1->u3.e1.PrototypePte == 1)); /* Clear the last reference */ Pfn1->u3.e2.ReferenceCount = 0;