Broken static_assert failed to catch my bug :(
authorAndrew Waterman <waterman@s141.Millennium.Berkeley.EDU>
Wed, 1 Jun 2011 08:20:18 +0000 (01:20 -0700)
committerKevin Klues <klueska@cs.berkeley.edu>
Thu, 3 Nov 2011 00:36:03 +0000 (17:36 -0700)
kern/src/pmap.c

index 8aa72a4..3f7c6f0 100644 (file)
@@ -61,8 +61,8 @@ void page_init(void)
         */
        page_alloc_init();
 
-       static_assert(PROCINFO_NUM_PAGES <= PTSIZE);
-       static_assert(PROCDATA_NUM_PAGES <= PTSIZE);
+       static_assert(PROCINFO_NUM_PAGES*PGSIZE <= PTSIZE);
+       static_assert(PROCDATA_NUM_PAGES*PGSIZE <= PTSIZE);
 }
 
 /**