/*--------------------------------------------------------------------*/ /*--- Assertions, etc. pub_tool_libcassert.h ---*/ /*--------------------------------------------------------------------*/ /* This file is part of Valgrind, a dynamic binary instrumentation framework. Copyright (C) 2000-2012 Julian Seward jseward@acm.org This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with this program; if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307, USA. The GNU General Public License is contained in the file COPYING. */ #ifndef __PUB_TOOL_LIBCBASSERT_H #define __PUB_TOOL_LIBCBASSERT_H #define tl_assert(expr) \ ((void) (LIKELY(expr) ? 0 : \ (VG_(assert_fail) (/*isCore?*/False, (const Char*)#expr, \ (const Char*)__FILE__, __LINE__, \ (const Char*)__PRETTY_FUNCTION__, \ (const HChar*)""), \ 0))) #define tl_assert2(expr, format, args...) \ ((void) (LIKELY(expr) ? 0 : \ (VG_(assert_fail) (/*isCore?*/False, (const Char*)#expr, \ (const Char*)__FILE__, __LINE__, \ (const Char*)__PRETTY_FUNCTION__, \ format, ##args), \ 0))) __attribute__ ((__noreturn__)) extern void VG_(exit)( Int status ); /* Prints a panic message, appends newline and bug reporting info, aborts. */ __attribute__ ((__noreturn__)) extern void VG_(tool_panic) ( Char* str ); __attribute__ ((__noreturn__)) extern void VG_(assert_fail) ( Bool isCore, const Char* expr, const Char* file, Int line, const Char* fn, const HChar* format, ... ); #endif // __PUB_TOOL_LIBCBASSERT_H /*--------------------------------------------------------------------*/ /*--- end ---*/ /*--------------------------------------------------------------------*/