diff options
author | pfg <pfg@FreeBSD.org> | 2016-05-16 20:00:09 +0000 |
---|---|---|
committer | pfg <pfg@FreeBSD.org> | 2016-05-16 20:00:09 +0000 |
commit | ae544e712038a6710fecffe78e17fad016cdce70 (patch) | |
tree | 9f99b96d6e4d1d9545de4eb9492e1fa5238df209 /sys/boot/efi | |
parent | c577669dd3e1748ee72c7fe0c4dc4c961e049e74 (diff) | |
download | FreeBSD-src-ae544e712038a6710fecffe78e17fad016cdce70.zip FreeBSD-src-ae544e712038a6710fecffe78e17fad016cdce70.tar.gz |
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
Diffstat (limited to 'sys/boot/efi')
-rw-r--r-- | sys/boot/efi/libefi/efi_console.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/sys/boot/efi/libefi/efi_console.c b/sys/boot/efi/libefi/efi_console.c index daf1338..08ea652 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) |