diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-10-02 10:28:38 -0700 |
---|---|---|
committer | Aina Niemetz <aina.niemetz@gmail.com> | 2018-10-02 10:28:38 -0700 |
commit | 8519233cec9501f31aa1789eff60cb802c8df450 (patch) | |
tree | 60c87d9fe4c59ac565b3fdd66710229f58bc6a44 /test/unit/context/context_black.h | |
parent | 64a0e3f1e4a5a8e3070eeadae0f6942b290c2974 (diff) |
Fix "catching polymorphic type by value" warnings (#2556)
When using the `TS_ASSERT_THROWS` marco from CxxTest, we have to make
sure that we use a reference type for the exception, otherwise the unit
test tries to catch the exception by value, resulting in "catching
polymorphic type by value" warnings.
Diffstat (limited to 'test/unit/context/context_black.h')
-rw-r--r-- | test/unit/context/context_black.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/unit/context/context_black.h b/test/unit/context/context_black.h index b4be4197c..4f867525d 100644 --- a/test/unit/context/context_black.h +++ b/test/unit/context/context_black.h @@ -106,8 +106,8 @@ private: d_context->push(); d_context->pop(); #ifdef CVC4_ASSERTIONS - TS_ASSERT_THROWS( d_context->pop(), AssertionException ); - TS_ASSERT_THROWS( d_context->pop(), AssertionException ); + TS_ASSERT_THROWS(d_context->pop(), AssertionException&); + TS_ASSERT_THROWS(d_context->pop(), AssertionException&); #endif /* CVC4_ASSERTIONS */ } |