From ae544e712038a6710fecffe78e17fad016cdce70 Mon Sep 17 00:00:00 2001 From: pfg Date: Mon, 16 May 2016 20:00:09 +0000 Subject: [PATCH] libefi: Tag an unreachable switch default. Coverity reports an uninitialized "len" in case the switch defaults without hitting any case. Respect the original intent and quell the false positive with the relatively new __unreachable() builtin. CID: 1347796 --- sys/boot/efi/libefi/efi_console.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/sys/boot/efi/libefi/efi_console.c b/sys/boot/efi/libefi/efi_console.c index daf1338881e1..08ea652f4e1f 100644 --- a/sys/boot/efi/libefi/efi_console.c +++ b/sys/boot/efi/libefi/efi_console.c @@ -266,6 +266,8 @@ CL(int direction) case 2: /* entire line */ len = x; break; + default: /* NOTREACHED */ + __unreachable(); } if (cury == y - 1)