From: Ben Pfaff <blp@nicira.com>
Date: Thu, 8 Jan 2009 23:18:38 +0000 (-0800)
Subject: Mark out_of_memory() as never returning.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e52ef0810933ec5739c5d094d47535673002ea85;p=openvswitch

Mark out_of_memory() as never returning.

Found with -Wmissing-noreturn.
---

diff --git a/lib/util.h b/lib/util.h
index 10803d1b..9c38450c 100644
--- a/lib/util.h
+++ b/lib/util.h
@@ -1,4 +1,4 @@
-/* Copyright (c) 2008 The Board of Trustees of The Leland Stanford
+/* Copyright (c) 2008, 2009 The Board of Trustees of The Leland Stanford
  * Junior University
  * 
  * We are making the OpenFlow specification and associated documentation
@@ -94,7 +94,7 @@ extern "C" {
 
 void set_program_name(const char *);
 
-void out_of_memory(void);
+void out_of_memory(void) NO_RETURN;
 void *xmalloc(size_t);
 void *xcalloc(size_t, size_t);
 void *xrealloc(void *, size_t);