From bc4c07f4f107c987d261fa8ea41020dbea3f7d6a Mon Sep 17 00:00:00 2001 From: Ben Gras Date: Wed, 19 Sep 2012 17:18:02 +0200 Subject: [PATCH] coverity appeasement - redundant check --- servers/vm/alloc.c | 5 ----- 1 file changed, 5 deletions(-) diff --git a/servers/vm/alloc.c b/servers/vm/alloc.c index 5dbcbaa27..d63524744 100644 --- a/servers/vm/alloc.c +++ b/servers/vm/alloc.c @@ -377,11 +377,6 @@ struct memlist *alloc_mem_in_list(phys_bytes bytes, u32_t flags, phys_bytes know assert(!(flags & PAF_CONTIG)); if(known != MAP_NONE) { - if(known == NO_MEM) { - printf("VM: odd mem for alloc_mem_in_list: 0x%lx\n", - known); - return NULL; - } phys_count = known; }