1*f5c631daSSadaf Ebrahimi // Copyright 2016, VIXL authors 2*f5c631daSSadaf Ebrahimi // All rights reserved. 3*f5c631daSSadaf Ebrahimi // 4*f5c631daSSadaf Ebrahimi // Redistribution and use in source and binary forms, with or without 5*f5c631daSSadaf Ebrahimi // modification, are permitted provided that the following conditions are met: 6*f5c631daSSadaf Ebrahimi // 7*f5c631daSSadaf Ebrahimi // * Redistributions of source code must retain the above copyright notice, 8*f5c631daSSadaf Ebrahimi // this list of conditions and the following disclaimer. 9*f5c631daSSadaf Ebrahimi // * Redistributions in binary form must reproduce the above copyright notice, 10*f5c631daSSadaf Ebrahimi // this list of conditions and the following disclaimer in the documentation 11*f5c631daSSadaf Ebrahimi // and/or other materials provided with the distribution. 12*f5c631daSSadaf Ebrahimi // * Neither the name of ARM Limited nor the names of its contributors may be 13*f5c631daSSadaf Ebrahimi // used to endorse or promote products derived from this software without 14*f5c631daSSadaf Ebrahimi // specific prior written permission. 15*f5c631daSSadaf Ebrahimi // 16*f5c631daSSadaf Ebrahimi // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS CONTRIBUTORS "AS IS" AND 17*f5c631daSSadaf Ebrahimi // ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED 18*f5c631daSSadaf Ebrahimi // WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE 19*f5c631daSSadaf Ebrahimi // DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE 20*f5c631daSSadaf Ebrahimi // FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL 21*f5c631daSSadaf Ebrahimi // DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR 22*f5c631daSSadaf Ebrahimi // SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER 23*f5c631daSSadaf Ebrahimi // CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, 24*f5c631daSSadaf Ebrahimi // OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 25*f5c631daSSadaf Ebrahimi // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 26*f5c631daSSadaf Ebrahimi 27*f5c631daSSadaf Ebrahimi #include <stdlib.h> 28*f5c631daSSadaf Ebrahimi 29*f5c631daSSadaf Ebrahimi #include "globals-vixl.h" 30*f5c631daSSadaf Ebrahimi #include "test-runner.h" 31*f5c631daSSadaf Ebrahimi 32*f5c631daSSadaf Ebrahimi // These are all negative tests to check that the aborts work and print sensible 33*f5c631daSSadaf Ebrahimi // messages. These tests cannot check the aborts with negative_testing=off. 34*f5c631daSSadaf Ebrahimi 35*f5c631daSSadaf Ebrahimi #ifdef VIXL_NEGATIVE_TESTING 36*f5c631daSSadaf Ebrahimi #include <stdexcept> 37*f5c631daSSadaf Ebrahimi 38*f5c631daSSadaf Ebrahimi namespace vixl { 39*f5c631daSSadaf Ebrahimi 40*f5c631daSSadaf Ebrahimi #define TEST(name, code, expected_prefix) \ 41*f5c631daSSadaf Ebrahimi TEST_(ABORTS_##name) { \ 42*f5c631daSSadaf Ebrahimi try { \ 43*f5c631daSSadaf Ebrahimi code; \ 44*f5c631daSSadaf Ebrahimi printf("\n%s:%d\nNo exception raised.\n", __FILE__, __LINE__); \ 45*f5c631daSSadaf Ebrahimi abort(); \ 46*f5c631daSSadaf Ebrahimi } catch (const std::runtime_error& e) { \ 47*f5c631daSSadaf Ebrahimi size_t prefix_length = strlen(expected_prefix); \ 48*f5c631daSSadaf Ebrahimi if (strncmp(expected_prefix, e.what(), prefix_length) != 0) { \ 49*f5c631daSSadaf Ebrahimi printf("\n%s:%d\nFound:\n%sExpected:\n%s...\n", \ 50*f5c631daSSadaf Ebrahimi __FILE__, \ 51*f5c631daSSadaf Ebrahimi __LINE__, \ 52*f5c631daSSadaf Ebrahimi e.what(), \ 53*f5c631daSSadaf Ebrahimi expected_prefix); \ 54*f5c631daSSadaf Ebrahimi abort(); \ 55*f5c631daSSadaf Ebrahimi } \ 56*f5c631daSSadaf Ebrahimi } \ 57*f5c631daSSadaf Ebrahimi } 58*f5c631daSSadaf Ebrahimi 59*f5c631daSSadaf Ebrahimi TEST(abort, VIXL_ABORT(), "Aborting in ") 60*f5c631daSSadaf Ebrahimi TEST(abort_with_msg, VIXL_ABORT_WITH_MSG("message\n"), "message\nin ") 61*f5c631daSSadaf Ebrahimi TEST(check_simple, VIXL_CHECK(false), "Assertion failed (false)\nin ") 62*f5c631daSSadaf Ebrahimi TEST(check_expression, VIXL_CHECK(1 == 2), "Assertion failed (1 == 2)\nin ") 63*f5c631daSSadaf Ebrahimi #ifdef VIXL_DEBUG 64*f5c631daSSadaf Ebrahimi TEST(unimplemented, VIXL_UNIMPLEMENTED(), "UNIMPLEMENTED in ") 65*f5c631daSSadaf Ebrahimi TEST(unreachable, VIXL_UNREACHABLE(), "UNREACHABLE in ") 66*f5c631daSSadaf Ebrahimi TEST(assert, VIXL_ASSERT(false), "Assertion failed (false)\nin ") 67*f5c631daSSadaf Ebrahimi #endif 68*f5c631daSSadaf Ebrahimi 69*f5c631daSSadaf Ebrahimi } // namespace vixl 70*f5c631daSSadaf Ebrahimi 71*f5c631daSSadaf Ebrahimi #endif // VIXL_NEGATIVE_TESTING 72