e3/5ec7e9f106310e5fa1ba0006125411f3c38e09

   1 Return-Path: <teythoon@jade-hamburg.de>\r
   2 X-Original-To: notmuch@notmuchmail.org\r
   3 Delivered-To: notmuch@notmuchmail.org\r
   4 Received: from localhost (localhost [127.0.0.1])\r
   5         by olra.theworths.org (Postfix) with ESMTP id ECF91431FBD\r
   6         for <notmuch@notmuchmail.org>; Mon, 24 Sep 2012 03:32:25 -0700 (PDT)\r
   7 X-Virus-Scanned: Debian amavisd-new at olra.theworths.org\r
   8 X-Spam-Flag: NO\r
   9 X-Spam-Score: 0.001\r
  10 X-Spam-Level: \r
  11 X-Spam-Status: No, score=0.001 tagged_above=-999 required=5\r
  12         tests=[UNPARSEABLE_RELAY=0.001] autolearn=disabled\r
  13 Received: from olra.theworths.org ([127.0.0.1])\r
  14         by localhost (olra.theworths.org [127.0.0.1]) (amavisd-new, port 10024)\r
  15         with ESMTP id C502J7KjonSk for <notmuch@notmuchmail.org>;\r
  16         Mon, 24 Sep 2012 03:32:24 -0700 (PDT)\r
  17 Received: from mail.cryptobitch.de (cryptobitch.de [88.198.7.68])\r
  18         (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits))\r
  19         (No client certificate requested)\r
  20         by olra.theworths.org (Postfix) with ESMTPS id D4B84431FC3\r
  21         for <notmuch@notmuchmail.org>; Mon, 24 Sep 2012 03:32:19 -0700 (PDT)\r
  22 Received: from mail.jade-hamburg.de (mail.jade-hamburg.de [85.183.11.228])\r
  23         (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits))\r
  24         (No client certificate requested)\r
  25         by mail.cryptobitch.de (Postfix) with ESMTPSA id 9D1B85AA9C2\r
  26         for <notmuch@notmuchmail.org>; Mon, 24 Sep 2012 12:32:18 +0200 (CEST)\r
  27 Received: by mail.jade-hamburg.de (Postfix, from userid 401)\r
  28         id 10C03DF2A7; Mon, 24 Sep 2012 12:32:18 +0200 (CEST)\r
  29 Received: from thinkbox.jade-hamburg.de (unknown\r
  30         [IPv6:fe80::216:d3ff:fe3e:5058%br0])\r
  31         (using TLSv1 with cipher DHE-RSA-AES128-SHA (128/128 bits))\r
  32         (No client certificate requested) (Authenticated sender: teythoon)\r
  33         by mail.jade-hamburg.de (Postfix) with ESMTPSA id 252BCDF2A2;\r
  34         Mon, 24 Sep 2012 12:32:11 +0200 (CEST)\r
  35 Received: from teythoon by thinkbox.jade-hamburg.de with local (Exim 4.80)\r
  36         (envelope-from <teythoon@thinkbox.jade-hamburg.de>)\r
  37         id 1TG5xR-0002iD-T3; Mon, 24 Sep 2012 12:32:09 +0200\r
  38 From: Justus Winter <4winter@informatik.uni-hamburg.de>\r
  39 To: notmuch@notmuchmail.org\r
  40 Subject: [PATCH 4/5] Annotate internal_error with the attribute noreturn\r
  41 Date: Mon, 24 Sep 2012 12:31:56 +0200\r
  42 Message-Id:\r
  43  <1348482717-10340-5-git-send-email-4winter@informatik.uni-hamburg.de>\r
  44 X-Mailer: git-send-email 1.7.10.4\r
  45 In-Reply-To:\r
  46  <1348482717-10340-1-git-send-email-4winter@informatik.uni-hamburg.de>\r
  47 References: <20120922161256.GE26662@mit.edu>\r
  48         <1348482717-10340-1-git-send-email-4winter@informatik.uni-hamburg.de>\r
  49 X-BeenThere: notmuch@notmuchmail.org\r
  50 X-Mailman-Version: 2.1.13\r
  51 Precedence: list\r
  52 List-Id: "Use and development of the notmuch mail system."\r
  53         <notmuch.notmuchmail.org>\r
  54 List-Unsubscribe: <http://notmuchmail.org/mailman/options/notmuch>,\r
  55         <mailto:notmuch-request@notmuchmail.org?subject=unsubscribe>\r
  56 List-Archive: <http://notmuchmail.org/pipermail/notmuch>\r
  57 List-Post: <mailto:notmuch@notmuchmail.org>\r
  58 List-Help: <mailto:notmuch-request@notmuchmail.org?subject=help>\r
  59 List-Subscribe: <http://notmuchmail.org/mailman/listinfo/notmuch>,\r
  60         <mailto:notmuch-request@notmuchmail.org?subject=subscribe>\r
  61 X-List-Received-Date: Mon, 24 Sep 2012 10:32:26 -0000\r
  62 \r
  63 Annotating functions that do not return with the noreturn attribute\r
  64 (which is understood by both gcc and clang) prevents static analyzers\r
  65 from generating false positives (internal_error is used to terminate\r
  66 the process and is used extensively in error handling code paths).\r
  67 \r
  68 Remove the return statement that was placed there to appease the\r
  69 compiler. Functions annotated with noreturn are not supposed to return\r
  70 any values.\r
  71 \r
  72 Signed-off-by: Justus Winter <4winter@informatik.uni-hamburg.de>\r
  73 ---\r
  74  util/error_util.c |    4 +---\r
  75  util/error_util.h |    4 ++--\r
  76  2 files changed, 3 insertions(+), 5 deletions(-)\r
  77 \r
  78 diff --git a/util/error_util.c b/util/error_util.c\r
  79 index 630d228..d6e60fc 100644\r
  80 --- a/util/error_util.c\r
  81 +++ b/util/error_util.c\r
  82 @@ -24,7 +24,7 @@\r
  83  \r
  84  #include "error_util.h"\r
  85  \r
  86 -int\r
  87 +void\r
  88  _internal_error (const char *format, ...)\r
  89  {\r
  90      va_list va_args;\r
  91 @@ -35,7 +35,5 @@ _internal_error (const char *format, ...)\r
  92      vfprintf (stderr, format, va_args);\r
  93  \r
  94      exit (1);\r
  95 -\r
  96 -    return 1;\r
  97  }\r
  98  \r
  99 diff --git a/util/error_util.h b/util/error_util.h\r
 100 index 27e119f..d4d4584 100644\r
 101 --- a/util/error_util.h\r
 102 +++ b/util/error_util.h\r
 103 @@ -53,8 +53,8 @@\r
 104   *\r
 105   * Note that PRINTF_ATTRIBUTE comes from talloc.h\r
 106   */\r
 107 -int\r
 108 -_internal_error (const char *format, ...) PRINTF_ATTRIBUTE (1, 2);\r
 109 +void\r
 110 +_internal_error (const char *format, ...) PRINTF_ATTRIBUTE (1, 2) NORETURN_ATTRIBUTE;\r
 111  \r
 112  /* There's no point in continuing when we've detected that we've done\r
 113   * something wrong internally (as opposed to the user passing in a\r
 114 -- \r
 115 1.7.10.4\r
 116 \r