[IA64] efi.c Add /* never reached */ annotation

As written, this loop could be for (;;) instead of do while (md).  The tests
inside the loop always result in a return so the loop never terminates normally.

Signed-off-by: Aron Griffis <aron@hp.com>
Signed-off-by: Tony Luck <tony.luck@intel.com>
This commit is contained in:
Aron Griffis 2008-01-08 22:29:38 -05:00 committed by Tony Luck
parent 965e7c8aff
commit 410ab512e5

View File

@ -762,7 +762,7 @@ efi_mem_attribute (unsigned long phys_addr, unsigned long size)
if (!md || (md->attribute & ~EFI_MEMORY_RUNTIME) != attr) if (!md || (md->attribute & ~EFI_MEMORY_RUNTIME) != attr)
return 0; return 0;
} while (md); } while (md);
return 0; return 0; /* never reached */
} }
u64 u64
@ -798,7 +798,7 @@ kern_mem_attribute (unsigned long phys_addr, unsigned long size)
if (!md || md->attribute != attr) if (!md || md->attribute != attr)
return 0; return 0;
} while (md); } while (md);
return 0; return 0; /* never reached */
} }
EXPORT_SYMBOL(kern_mem_attribute); EXPORT_SYMBOL(kern_mem_attribute);