From: Brian Norris <banorris@uci.edu>
Date: Fri, 27 Apr 2012 06:50:10 +0000 (-0700)
Subject: malloc: add exception info to function header
X-Git-Tag: pldi2013~485
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=122fb8d28e04986e7334f0bc28cca65ebba2810b;p=model-checker.git

malloc: add exception info to function header
---

diff --git a/malloc.c b/malloc.c
index f20c4e7..3ec0d3f 100644
--- a/malloc.c
+++ b/malloc.c
@@ -38,12 +38,12 @@ void myFree(void *ptr)
 	real_free(ptr);
 }
 
-void * operator new(size_t size)
+void * operator new(size_t size) throw(std::bad_alloc)
 {
 	return myMalloc(size);
 }
 
-void operator delete(void *p)
+void operator delete(void *p) throw()
 {
 	myFree(p);
 }