[jgardou] 55771: if A ASSERT B => ASSERT(B or not A)

Author: jgardou
Date: Tue Feb 21 00:46:18 2012
New Revision: 55771

URL: http://svn.reactos.org/svn/reactos?rev=55771&view=rev
Log:
if A ASSERT B => ASSERT(B or not A)

Modified:
    trunk/reactos/ntoskrnl/mm/ARM3/pfnlist.c

Modified: trunk/reactos/ntoskrnl/mm/ARM3/pfnlist.c
URL: http://svn.reactos.org/svn/reactos/trunk/reactos/ntoskrnl/mm/ARM3/pfnlist.c?...
==============================================================================
--- trunk/reactos/ntoskrnl/mm/ARM3/pfnlist.c [iso-8859-1] (original)
+++ trunk/reactos/ntoskrnl/mm/ARM3/pfnlist.c [iso-8859-1] Tue Feb 21 00:46:18 2012
@@ -931,11 +931,8 @@
         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;