| |
| /*--------------------------------------------------------------------*/ |
| /*--- Assertions and panics. m_libcassert.c ---*/ |
| /*--------------------------------------------------------------------*/ |
| |
| /* |
| This file is part of Valgrind, a dynamic binary instrumentation |
| framework. |
| |
| Copyright (C) 2000-2013 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_libcsetjmp.h" // to keep threadstate.h happy |
| #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) |
| # 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) |
| # 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 m_libcassert_get_ip;" /* lr = pc */ \ |
| "m_libcassert_get_ip:\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 .m_libcassert_get_ip;" /* lr = pc */ \ |
| ".m_libcassert_get_ip:\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)->r_sp = block[1]; \ |
| (srP)->misc.ARM.r14 = 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 m_libcassert_get_ip;" /* ra = pc */ \ |
| "m_libcassert_get_ip:\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 m_libcassert_get_ip;" /* ra = pc */ \ |
| "m_libcassert_get_ip:\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; \ |
| } |
| #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 && VG_(gdbserver_stop_at) (VgdbStopAt_ValgrindAbExit)) { |
| 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) " |
| "Early valgrind exit : 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) |
| (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); |
| } |
| |
| |
| // Print the scheduler status. |
| static void show_sched_status_wrk ( Bool host_stacktrace, |
| Bool stack_usage, |
| Bool exited_threads, |
| 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"); |
| VG_(printf)(" running_tid=%d\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; |
| VG_(printf)("\nThread %d: status = %s\n", i, |
| VG_(name_of_ThreadStatus)(VG_(threads)[i].status) ); |
| 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_(threads)[i].client_stack_highest_byte, |
| &start, &end); |
| if (start != end) |
| VG_(printf)("client stack range: [%p %p] client SP: %p\n", |
| (void*)start, (void*)end, (void*)VG_(get_SP)(i)); |
| else |
| VG_(printf)("client stack range: ???????\n"); |
| } |
| if (stack_usage && stack != 0) |
| VG_(printf)("valgrind stack top usage: %ld of %ld\n", |
| VG_STACK_ACTIVE_SZB |
| - VG_(am_get_VgStack_unused_szB)(stack, |
| VG_STACK_ACTIVE_SZB), |
| (SizeT) VG_STACK_ACTIVE_SZB); |
| } |
| 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, |
| 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; |
| HChar buf[512]; |
| const HChar* component; |
| const HChar* bugs_to; |
| UInt written; |
| |
| static Bool entered = False; |
| if (entered) |
| VG_(exit)(2); |
| entered = True; |
| |
| va_start(vargs, format); |
| written = VG_(vsnprintf) ( buf, sizeof(buf), format, vargs ); |
| va_end(vargs); |
| |
| if (written >= sizeof(buf)) { |
| VG_(printf)("\nvalgrind: %s: buf is too small, sizeof(buf) = %u, " |
| "written = %d\n", __func__, (unsigned)sizeof(buf), written); |
| } |
| |
| 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 ); |
| } |
| if (!VG_STREQ(buf, "")) |
| VG_(printf)("%s: %s\n", component, buf ); |
| |
| report_and_quit(bugs_to, NULL); |
| } |
| |
| __attribute__ ((noreturn)) |
| static void panic ( const HChar* name, const HChar* report, const HChar* str, |
| 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, 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* msg ) |
| { |
| 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 ---*/ |
| /*--------------------------------------------------------------------*/ |
