]> git.ipfire.org Git - thirdparty/util-linux.git/commitdiff
wdct: mark usage() as noreturn [coverity scan]
authorKarel Zak <kzak@redhat.com>
Wed, 5 Oct 2016 09:25:04 +0000 (11:25 +0200)
committerKarel Zak <kzak@redhat.com>
Wed, 5 Oct 2016 09:25:17 +0000 (11:25 +0200)
sys-utils/wdctl.c

index 095d8ed430f13f188e90f7e78f98ab8cc581ac06..761142f2c664c3f9c7e414947dc6f906e89c8b6a 100644 (file)
@@ -165,7 +165,7 @@ static struct colinfo *get_column_info(unsigned num)
        return &infos[ get_column_id(num) ];
 }
 
-static void usage(FILE *out)
+static void __attribute__ ((__noreturn__)) usage(FILE *out)
 {
        size_t i;