diff options
Diffstat (limited to 'src/util/assert.h')
-rw-r--r-- | src/util/assert.h | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/src/util/assert.h b/src/util/assert.h index 4a164716c..8fd970c6c 100644 --- a/src/util/assert.h +++ b/src/util/assert.h @@ -57,17 +57,17 @@ public: inline void AssertImpl(const char* info, bool cond, std::string msg) { if(EXPECT_FALSE( ! cond )) - throw new AssertionException(std::string(info) + "\n" + msg); + throw AssertionException(std::string(info) + "\n" + msg); } inline void AssertImpl(const char* info, bool cond, const char* msg) { if(EXPECT_FALSE( ! cond )) - throw new AssertionException(std::string(info) + "\n" + msg); + throw AssertionException(std::string(info) + "\n" + msg); } inline void AssertImpl(const char* info, bool cond) { if(EXPECT_FALSE( ! cond )) - throw new AssertionException(info); + throw AssertionException(info); } #ifdef __GNUC__ @@ -77,15 +77,15 @@ inline void UnreachableImpl(const char* info) __attribute__ ((noreturn)); #endif /* __GNUC__ */ inline void UnreachableImpl(const char* info, std::string msg) { - throw new UnreachableCodeException(std::string(info) + "\n" + msg); + throw UnreachableCodeException(std::string(info) + "\n" + msg); } inline void UnreachableImpl(const char* info, const char* msg) { - throw new UnreachableCodeException(std::string(info) + "\n" + msg); + throw UnreachableCodeException(std::string(info) + "\n" + msg); } inline void UnreachableImpl(const char* info) { - throw new UnreachableCodeException(info); + throw UnreachableCodeException(info); } #ifdef __GNUC__ @@ -95,15 +95,15 @@ inline void UnhandledImpl(const char* info) __attribute__ ((noreturn)); #endif /* __GNUC__ */ inline void UnhandledImpl(const char* info, std::string msg) { - throw new UnhandledCaseException(std::string(info) + "\n" + msg); + throw UnhandledCaseException(std::string(info) + "\n" + msg); } inline void UnhandledImpl(const char* info, const char* msg) { - throw new UnhandledCaseException(std::string(info) + "\n" + msg); + throw UnhandledCaseException(std::string(info) + "\n" + msg); } inline void UnhandledImpl(const char* info) { - throw new UnhandledCaseException(info); + throw UnhandledCaseException(info); } }/* CVC4 namespace */ |