Warning cleanup.
Drop unused computed/assigned values. mdb_page_alloc(): Make "mop_len>0 implies mop!=NULL" provable.
Please register or sign in to comment
Drop unused computed/assigned values. mdb_page_alloc(): Make "mop_len>0 implies mop!=NULL" provable.