[IA64] efi.c Add /* never reached */ annotation
authorAron Griffis <aron@hp.com>
Wed, 9 Jan 2008 03:29:38 +0000 (22:29 -0500)
committerTony Luck <tony.luck@intel.com>
Mon, 4 Feb 2008 23:35:06 +0000 (15:35 -0800)
commit410ab512e5c5716287a399145df0905c1dcddb04
tree7e56cec14488041fab537b118bb237fc2b59f7eb
parent965e7c8affeca27f7e5de75c97954e74d3b8052d
[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>
arch/ia64/kernel/efi.c