ftmemsim-valgrind/coregrind/m_libcassert.c
Philippe Waroquiers d280a9f9a5 Ensure the 'too early msg to use vgdb stop at valgrind abnormal exit' is produced
For this, we must directly check the command line option, as
the VG_(gdbserver_stop_at) function returns False if the gdbserver
is not yet initialised



git-svn-id: svn://svn.valgrind.org/valgrind/trunk@16157
2016-11-27 10:25:15 +00:00

577 lines
24 KiB
C

/*--------------------------------------------------------------------*/
/*--- Assertions and panics. m_libcassert.c ---*/
/*--------------------------------------------------------------------*/
/*
This file is part of Valgrind, a dynamic binary instrumentation
framework.
Copyright (C) 2000-2015 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.
*/
#include "pub_core_basics.h"
#include "pub_core_vki.h"
#include "pub_core_vkiscnums.h"
#include "pub_core_threadstate.h"
#include "pub_core_gdbserver.h"
#include "pub_core_aspacemgr.h"
#include "pub_core_libcbase.h"
#include "pub_core_libcassert.h"
#include "pub_core_libcprint.h"
#include "pub_core_libcproc.h" // For VG_(gettid)()
#include "pub_core_machine.h"
#include "pub_core_stacks.h"
#include "pub_core_stacktrace.h"
#include "pub_core_syscall.h"
#include "pub_core_tooliface.h" // For VG_(details).{name,bug_reports_to}
#include "pub_core_options.h" // For VG_(clo_xml)
/* ---------------------------------------------------------------------
Assertery.
------------------------------------------------------------------ */
#if defined(VGP_x86_linux) || defined(VGP_x86_darwin) \
|| defined(VGP_x86_solaris)
# define GET_STARTREGS(srP) \
{ UInt eip, esp, ebp; \
__asm__ __volatile__( \
"call 0f;" \
"0: popl %0;" \
"movl %%esp, %1;" \
"movl %%ebp, %2;" \
: "=r" (eip), "=r" (esp), "=r" (ebp) \
: /* reads none */ \
: "memory" \
); \
(srP)->r_pc = (ULong)eip; \
(srP)->r_sp = (ULong)esp; \
(srP)->misc.X86.r_ebp = ebp; \
}
#elif defined(VGP_amd64_linux) || defined(VGP_amd64_darwin) \
|| defined(VGP_amd64_solaris)
# define GET_STARTREGS(srP) \
{ ULong rip, rsp, rbp; \
__asm__ __volatile__( \
"leaq 0(%%rip), %0;" \
"movq %%rsp, %1;" \
"movq %%rbp, %2;" \
: "=r" (rip), "=r" (rsp), "=r" (rbp) \
: /* reads none */ \
: "memory" \
); \
(srP)->r_pc = rip; \
(srP)->r_sp = rsp; \
(srP)->misc.AMD64.r_rbp = rbp; \
}
#elif defined(VGP_ppc32_linux)
# define GET_STARTREGS(srP) \
{ UInt cia, r1, lr; \
__asm__ __volatile__( \
"mflr 0;" /* r0 = lr */ \
"bl 0f;" /* lr = pc */ \
"0:\n" \
"mflr %0;" /* %0 = pc */ \
"mtlr 0;" /* restore lr */ \
"mr %1,1;" /* %1 = r1 */ \
"mr %2,0;" /* %2 = lr */ \
: "=r" (cia), "=r" (r1), "=r" (lr) \
: /* reads none */ \
: "r0" /* trashed */ \
); \
(srP)->r_pc = (ULong)cia; \
(srP)->r_sp = (ULong)r1; \
(srP)->misc.PPC32.r_lr = lr; \
}
#elif defined(VGP_ppc64be_linux) || defined(VGP_ppc64le_linux)
# define GET_STARTREGS(srP) \
{ ULong cia, r1, lr; \
__asm__ __volatile__( \
"mflr 0;" /* r0 = lr */ \
"bl 0f;" /* lr = pc */ \
"0:\n" \
"mflr %0;" /* %0 = pc */ \
"mtlr 0;" /* restore lr */ \
"mr %1,1;" /* %1 = r1 */ \
"mr %2,0;" /* %2 = lr */ \
: "=r" (cia), "=r" (r1), "=r" (lr) \
: /* reads none */ \
: "r0" /* trashed */ \
); \
(srP)->r_pc = cia; \
(srP)->r_sp = r1; \
(srP)->misc.PPC64.r_lr = lr; \
}
#elif defined(VGP_arm_linux)
# define GET_STARTREGS(srP) \
{ UInt block[6]; \
__asm__ __volatile__( \
"str r15, [%0, #+0];" \
"str r14, [%0, #+4];" \
"str r13, [%0, #+8];" \
"str r12, [%0, #+12];" \
"str r11, [%0, #+16];" \
"str r7, [%0, #+20];" \
: /* out */ \
: /* in */ "r"(&block[0]) \
: /* trash */ "memory" \
); \
(srP)->r_pc = block[0] - 8; \
(srP)->misc.ARM.r14 = block[1]; \
(srP)->r_sp = block[2]; \
(srP)->misc.ARM.r12 = block[3]; \
(srP)->misc.ARM.r11 = block[4]; \
(srP)->misc.ARM.r7 = block[5]; \
}
#elif defined(VGP_arm64_linux)
# define GET_STARTREGS(srP) \
{ ULong block[4]; \
__asm__ __volatile__( \
"adr x19, 0;" \
"str x19, [%0, #+0];" /* pc */ \
"mov x19, sp;" \
"str x19, [%0, #+8];" /* sp */ \
"str x29, [%0, #+16];" /* fp */ \
"str x30, [%0, #+24];" /* lr */ \
: /* out */ \
: /* in */ "r"(&block[0]) \
: /* trash */ "memory","x19" \
); \
(srP)->r_pc = block[0]; \
(srP)->r_sp = block[1]; \
(srP)->misc.ARM64.x29 = block[2]; \
(srP)->misc.ARM64.x30 = block[3]; \
}
#elif defined(VGP_s390x_linux)
# define GET_STARTREGS(srP) \
{ ULong ia, sp, fp, lr; \
__asm__ __volatile__( \
"bras %0,0f;" \
"0: lgr %1,15;" \
"lgr %2,11;" \
"lgr %3,14;" \
: "=r" (ia), "=r" (sp),"=r" (fp),"=r" (lr) \
/* no read & clobber */ \
); \
(srP)->r_pc = ia; \
(srP)->r_sp = sp; \
(srP)->misc.S390X.r_fp = fp; \
(srP)->misc.S390X.r_lr = lr; \
}
#elif defined(VGP_mips32_linux)
# define GET_STARTREGS(srP) \
{ UInt pc, sp, fp, ra, gp; \
asm("move $8, $31;" /* t0 = ra */ \
"bal 0f;" /* ra = pc */ \
"0:\n" \
"move %0, $31;" \
"move $31, $8;" /* restore lr */ \
"move %1, $29;" \
"move %2, $30;" \
"move %3, $31;" \
"move %4, $28;" \
: "=r" (pc), \
"=r" (sp), \
"=r" (fp), \
"=r" (ra), \
"=r" (gp) \
: /* reads none */ \
: "$8" /* trashed */ ); \
(srP)->r_pc = (ULong)pc - 8; \
(srP)->r_sp = (ULong)sp; \
(srP)->misc.MIPS32.r30 = (ULong)fp; \
(srP)->misc.MIPS32.r31 = (ULong)ra; \
(srP)->misc.MIPS32.r28 = (ULong)gp; \
}
#elif defined(VGP_mips64_linux)
# define GET_STARTREGS(srP) \
{ ULong pc, sp, fp, ra, gp; \
asm("move $8, $31;" /* t0 = ra */ \
"bal 0f;" /* ra = pc */ \
"0:\n" \
"move %0, $31;" \
"move $31, $8;" /* restore lr */ \
"move %1, $29;" \
"move %2, $30;" \
"move %3, $31;" \
"move %4, $28;" \
: "=r" (pc), \
"=r" (sp), \
"=r" (fp), \
"=r" (ra), \
"=r" (gp) \
: /* reads none */ \
: "$8" /* trashed */ ); \
(srP)->r_pc = (ULong)pc - 8; \
(srP)->r_sp = (ULong)sp; \
(srP)->misc.MIPS64.r30 = (ULong)fp; \
(srP)->misc.MIPS64.r31 = (ULong)ra; \
(srP)->misc.MIPS64.r28 = (ULong)gp; \
}
#elif defined(VGP_tilegx_linux)
# define GET_STARTREGS(srP) \
{ ULong pc, sp, fp, ra; \
__asm__ __volatile__( \
"move r8, lr \n" \
"jal 0f \n" \
"0:\n" \
"move %0, lr \n" \
"move lr, r8 \n" /* put old lr back*/ \
"move %1, sp \n" \
"move %2, r52 \n" \
"move %3, lr \n" \
: "=r" (pc), \
"=r" (sp), \
"=r" (fp), \
"=r" (ra) \
: /* reads none */ \
: "%r8" /* trashed */ ); \
(srP)->r_pc = (ULong)pc - 8; \
(srP)->r_sp = (ULong)sp; \
(srP)->misc.TILEGX.r52 = (ULong)fp; \
(srP)->misc.TILEGX.r55 = (ULong)ra; \
}
#else
# error Unknown platform
#endif
#define BACKTRACE_DEPTH 100 // nice and deep!
__attribute__ ((__noreturn__))
static void exit_wrk( Int status, Bool gdbserver_call_allowed)
{
static Bool exit_called = False;
// avoid recursive exit during gdbserver call.
if (gdbserver_call_allowed && !exit_called) {
const ThreadId atid = 1; // Arbitrary tid used to call/terminate gdbsrv.
exit_called = True;
if (status != 0
&& VgdbStopAtiS(VgdbStopAt_ValgrindAbExit, VG_(clo_vgdb_stop_at))) {
if (VG_(gdbserver_init_done)()) {
VG_(umsg)("(action at valgrind abnormal exit) vgdb me ... \n");
VG_(gdbserver) (atid);
} else {
VG_(umsg)("(action at valgrind abnormal exit)\n"
"valgrind exit is too early => vgdb not yet usable\n");
}
}
if (VG_(gdbserver_init_done)()) {
// Always terminate the gdbserver when Valgrind exits, so as
// to e.g. cleanup the FIFOs.
VG_(gdbserver_exit) (atid,
status == 0 ? VgSrc_ExitProcess : VgSrc_FatalSig);
}
}
exit_called = True;
VG_(exit_now) (status);
}
/* Call the appropriate system call and nothing else. This function should
be called in places where the dependencies of VG_(exit) need to be
avoided. */
__attribute__ ((__noreturn__))
void VG_(exit_now)( Int status )
{
#if defined(VGO_linux)
(void)VG_(do_syscall1)(__NR_exit_group, status );
#elif defined(VGO_darwin) || defined(VGO_solaris)
(void)VG_(do_syscall1)(__NR_exit, status );
#else
# error Unknown OS
#endif
/*NOTREACHED*/
// We really shouldn't reach here. Just in case we do, use some very crude
// methods to force abort
__builtin_trap();
*(volatile Int*)0 = 'x';
}
/* Pull down the entire world */
void VG_(exit)( Int status )
{
exit_wrk (status, True);
}
/* Pull down the entire world */
void VG_(client_exit)( Int status )
{
exit_wrk (status, False);
}
static void print_thread_state (Bool stack_usage,
const HChar* prefix, ThreadId i)
{
VgStack *stack
= (VgStack*)VG_(threads)[i].os_state.valgrind_stack_base;
VG_(printf)("\n%sThread %d: status = %s (lwpid %d)\n", prefix, i,
VG_(name_of_ThreadStatus)(VG_(threads)[i].status),
VG_(threads)[i].os_state.lwpid);
if (VG_(threads)[i].status != VgTs_Empty)
VG_(get_and_pp_StackTrace)( i, BACKTRACE_DEPTH );
if (stack_usage && VG_(threads)[i].client_stack_highest_byte != 0 ) {
Addr start, end;
start = end = 0;
VG_(stack_limits)(VG_(get_SP)(i), &start, &end);
if (start != end)
VG_(printf)("%sclient stack range: [%p %p] client SP: %p\n",
prefix,
(void*)start, (void*)end, (void*)VG_(get_SP)(i));
else
VG_(printf)("%sclient stack range: ??????? client SP: %p\n",
prefix,
(void*)VG_(get_SP)(i));
}
if (stack_usage && stack != 0)
VG_(printf)
("%svalgrind stack top usage: %lu of %lu\n",
prefix,
VG_(clo_valgrind_stacksize)
- VG_(am_get_VgStack_unused_szB) (stack,
VG_(clo_valgrind_stacksize)),
(SizeT) VG_(clo_valgrind_stacksize));
}
// Print the scheduler status.
static void show_sched_status_wrk ( Bool host_stacktrace,
Bool stack_usage,
Bool exited_threads,
const UnwindStartRegs* startRegsIN)
{
Int i;
if (host_stacktrace) {
const Bool save_clo_xml = VG_(clo_xml);
Addr stacktop;
Addr ips[BACKTRACE_DEPTH];
Int n_ips;
ThreadState *tst
= VG_(get_ThreadState)( VG_(lwpid_to_vgtid)( VG_(gettid)() ) );
// If necessary, fake up an ExeContext which is of our actual real CPU
// state. Could cause problems if we got the panic/exception within the
// execontext/stack dump/symtab code. But it's better than nothing.
UnwindStartRegs startRegs;
VG_(memset)(&startRegs, 0, sizeof(startRegs));
if (startRegsIN == NULL) {
GET_STARTREGS(&startRegs);
} else {
startRegs = *startRegsIN;
}
stacktop = tst->os_state.valgrind_stack_init_SP;
n_ips =
VG_(get_StackTrace_wrk)(
0/*tid is unknown*/,
ips, BACKTRACE_DEPTH,
NULL/*array to dump SP values in*/,
NULL/*array to dump FP values in*/,
&startRegs, stacktop
);
VG_(printf)("\nhost stacktrace:\n");
VG_(clo_xml) = False;
VG_(pp_StackTrace) (ips, n_ips);
VG_(clo_xml) = save_clo_xml;
}
VG_(printf)("\nsched status:\n");
if (VG_(threads) == NULL) {
VG_(printf)(" scheduler not yet initialised\n");
} else {
VG_(printf)(" running_tid=%u\n", VG_(get_running_tid)());
for (i = 1; i < VG_N_THREADS; i++) {
VgStack *stack
= (VgStack*)VG_(threads)[i].os_state.valgrind_stack_base;
/* If a thread slot was never used (yet), valgrind_stack_base is 0.
If a thread slot is used by a thread or was used by a thread which
has exited, then valgrind_stack_base points to the stack base. */
if (VG_(threads)[i].status == VgTs_Empty
&& (!exited_threads || stack == 0)) continue;
print_thread_state(stack_usage, "", i);
if (VG_(inner_threads) != NULL) {
/* An inner V has informed us (the outer) of its thread array.
Report the inner guest stack trace. */
UInt inner_tid;
for (inner_tid = 1; inner_tid < VG_N_THREADS; inner_tid++) {
if (VG_(threads)[i].os_state.lwpid
== VG_(inner_threads)[inner_tid].os_state.lwpid) {
ThreadState* save_outer_vg_threads = VG_(threads);
VG_(threads) = VG_(inner_threads);
print_thread_state(stack_usage, "INNER ", inner_tid);
VG_(threads) = save_outer_vg_threads;
break;
}
}
}
}
}
VG_(printf)("\n");
}
void VG_(show_sched_status) ( Bool host_stacktrace,
Bool stack_usage,
Bool exited_threads)
{
show_sched_status_wrk (host_stacktrace,
stack_usage,
exited_threads,
NULL);
}
__attribute__ ((noreturn))
static void report_and_quit ( const HChar* report,
const UnwindStartRegs* startRegsIN )
{
show_sched_status_wrk (True, // host_stacktrace
False, // stack_usage
False, // exited_threads
startRegsIN);
VG_(printf)(
"\n"
"Note: see also the FAQ in the source distribution.\n"
"It contains workarounds to several common problems.\n"
"In particular, if Valgrind aborted or crashed after\n"
"identifying problems in your program, there's a good chance\n"
"that fixing those problems will prevent Valgrind aborting or\n"
"crashing, especially if it happened in m_mallocfree.c.\n"
"\n"
"If that doesn't help, please report this bug to: %s\n\n"
"In the bug report, send all the above text, the valgrind\n"
"version, and what OS and version you are using. Thanks.\n\n",
report);
VG_(exit)(1);
}
void VG_(assert_fail) ( Bool isCore, const HChar* expr, const HChar* file,
Int line, const HChar* fn, const HChar* format, ... )
{
va_list vargs, vargs_copy;
const HChar* component;
const HChar* bugs_to;
UInt written;
static Bool entered = False;
if (entered)
VG_(exit)(2);
entered = True;
if (isCore) {
component = "valgrind";
bugs_to = VG_BUGS_TO;
} else {
component = VG_(details).name;
bugs_to = VG_(details).bug_reports_to;
}
if (VG_(clo_xml))
VG_(printf_xml)("</valgrindoutput>\n");
// Treat vg_assert2(0, "foo") specially, as a panicky abort
if (VG_STREQ(expr, "0")) {
VG_(printf)("\n%s: %s:%d (%s): the 'impossible' happened.\n",
component, file, line, fn );
} else {
VG_(printf)("\n%s: %s:%d (%s): Assertion '%s' failed.\n",
component, file, line, fn, expr );
}
/* Check whether anything will be written */
HChar buf[5];
va_start(vargs, format);
va_copy(vargs_copy, vargs);
written = VG_(vsnprintf) ( buf, sizeof(buf), format, vargs );
va_end(vargs);
if (written > 0) {
VG_(printf)("%s: ", component);
VG_(vprintf)(format, vargs_copy);
VG_(printf)("\n");
}
report_and_quit(bugs_to, NULL);
}
__attribute__ ((noreturn))
static void panic ( const HChar* name, const HChar* report, const HChar* str,
const UnwindStartRegs* startRegs )
{
if (VG_(clo_xml))
VG_(printf_xml)("</valgrindoutput>\n");
VG_(printf)("\n%s: the 'impossible' happened:\n %s\n", name, str);
report_and_quit(report, startRegs);
}
void VG_(core_panic_at) ( const HChar* str, const UnwindStartRegs* startRegs )
{
panic("valgrind", VG_BUGS_TO, str, startRegs);
}
void VG_(core_panic) ( const HChar* str )
{
VG_(core_panic_at)(str, NULL);
}
void VG_(tool_panic) ( const HChar* str )
{
panic(VG_(details).name, VG_(details).bug_reports_to, str, NULL);
}
/* Print some helpful-ish text about unimplemented things, and give up. */
void VG_(unimplemented) ( const HChar* format, ... )
{
va_list vargs;
HChar msg[256];
va_start(vargs, format);
VG_(vsnprintf)(msg, sizeof(msg), format, vargs);
va_end(vargs);
if (VG_(clo_xml))
VG_(printf_xml)("</valgrindoutput>\n");
VG_(umsg)("\n");
VG_(umsg)("Valgrind detected that your program requires\n");
VG_(umsg)("the following unimplemented functionality:\n");
VG_(umsg)(" %s\n", msg);
VG_(umsg)("This may be because the functionality is hard to implement,\n");
VG_(umsg)("or because no reasonable program would behave this way,\n");
VG_(umsg)("or because nobody has yet needed it. "
"In any case, let us know at\n");
VG_(umsg)("%s and/or try to work around the problem, if you can.\n",
VG_BUGS_TO);
VG_(umsg)("\n");
VG_(umsg)("Valgrind has to exit now. Sorry. Bye!\n");
VG_(umsg)("\n");
VG_(show_sched_status)(False, // host_stacktrace
False, // stack_usage
False); // exited_threads
VG_(exit)(1);
}
/*--------------------------------------------------------------------*/
/*--- end ---*/
/*--------------------------------------------------------------------*/